Yksi tapa ratkaista valtion kone ei simuloimalla winsim on muuttaa yhtälöt muodostuu, kun wincupl mukainen koodi. Saat tilakone, wincupl täyttää sen booleon logiikka muodossa d-varvastossut. Nämä yhtälöt eivät ole täydellisiä ja jos edellisen koodin voi osoittaa, miten virheet voidaan muodostaa. "OR'ing tai" AND'ing "res" termi jokaiselle yhtälö voi täyttää, että ohjelma toimii ja simuloi oikein. Kun kyseessä on edellisen esimerkin alkutila S0 on 0110000 ja a, b, c, d, e, f, g.
Sovellettavat ehdot, jotka ovat "0" (a, d, e, f, g) Sinä ja (EI (RES)) muun yhtälön, kun taas "b" ja "c" sinä "tai" RES kanssa levätä yhtälö.
mainos = (__________) &! res; bd = (__________) # res, cd = (__________) # res, dd = (__________) &! res, ed = (__________) &! res; FD = (__________) &! res; gd = (__________) &! vara;
Jos käytät yhtälöt näin, kenttään count ", valtion määritelmät ja valtion kone ei tarvitaan koodi. Huomaa, että (__________) osa edellä koodi löytyy kokoelma raportin wincupl.
Muuttaminen kokoelma asetus tuottaa yhtälöt tekee tämän (Nämä ovat hyvin pitkiä ja lisäämällä ylimääräinen termi voi tehdä liian kauan. Tätä toista nastaa tarvitaan joka hajottaa pitkä yhtälöt 2 pienempää yhtälöt). Tai toinen tapa löytää yhtälöt on manuaalisesti ratkaisemiseksi. Esimerkkinä se manuaalisesti on ratkottava, on alhaalla näkyy ja on paljon pienempi silloin yhtälöt tuottama wincupl.
mainoksesta = (! (! C & f #! E &! F & g)) ja! Res; bd =! F # &! C & F # res; cd = g &! (! b & c & e) #res, dd = (! OL & b # E &! f & g #! b & c) &! res, ed = (! g #! b & c) &! res; FD = (g & ! ((! b &! c) # (b &! c))) &! res; gd = (b # c) &! vara;
Takaisin edelliselle sivulle