Állapotgráfának módszerei

A sorrendi logikai feladatokhoz gyakran használják az állapot-gráfnak nevezett szemléltető leírást. Ennek lényege, hogy a hálózat minden állapotát egy-egy körrel jelöljük. A körökbe az állapot-, és a kimeneti jellemzők kombinációját (Yi, Zi) írjuk. A körökből nyilak indulnak ki, amelyek vagy egy másik körben, vagy önmagában az induló körben (állapotban) végződnek. Ezek a nyilak az egyes bemeneti kombinációkhoz tartozó állapotváltozások irányát jelzik. Minden körből annyi nyíl indul, amennyi a lehetséges bemeneti kombinációk száma. Az ábra egyszerűsíthető azzal, hogy ha több kombináció eredményez azonos állapotátmenetet, akkor azokat egyazon nyílra írjuk. A nyíl irányítása adja meg az állapotváltozás irányát, és erre írjuk rá az állapotváltozást kiváltó bemeneti-, (Xi) és a hozzá tartozó kimeneti kombinációt (Zi). Amennyiben a kimeneti kombináció egyúttal állapotjellemző is, akkor ezt a körbe írjuk. Azok a nyilak, amelyek a kiinduló körhöz térnek viasza olyan bemeneti kombinációhoz tartoznak, amelyek nem eredményeznek állapotváltozást.