s
q1
f
1) Inaccessible state (q2):
q2
a
There exists no computation from the start state to this inaccessible state.
a
b
s
q1
f
2) Nonterminating state (q2):
q2
a
a
b
There exists no computation from this nonterminating state to a final state.
Summary: States to Remove
31/44