s
q1
f
1) Nedostupné stavy (q2):
q2
a
Neexistuje posloupnost přechodů z počátečního stavu do nedostupného stavu
a
b
s
q1
f
2) Neukončující stavy (q2):
q2
a
a
b
Neexistuje posloupnost přechodů z neukončujícího stavu do koncového stavu
Celkem: Stavy k odstranění
31/44