Diagrama de stări (teoria automatelor)
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită la 12 martie 2013; verificările necesită
2 modificări .
O diagramă de stare este un grafic direcționat pentru un automat finit , în care
- vârfurile denotă stări
- arcurile arată tranziții între două stări
În practică, vârfurile sunt de obicei desenate ca cercuri și, dacă este necesar, cercuri duble. În notația UML , stările sunt reprezentate prin dreptunghiuri rotunjite [1] .
Exemple
S1 și S2 sunt stări . Arcurile sunt etichetate cu date de intrare.
S0 , S1 şi S2 sunt stări . _ Arcele sunt etichetate ca j / k , unde j este intrarea și k este ieșirea.
Note
- ↑ Diagrama de stări în UML . Preluat la 25 martie 2011. Arhivat din original la 11 august 2011. (nedefinit)
Literatură
- John Hopcroft , Rajiv Motwani, Jeffrey Ullman. Introducere în teoria automatelor, limbaje și calcul. - M. : Williams , 2002. - 528 p. - ISBN 0-201-44124-1 .
Vezi și