initial
state id final?
q0
q1
q2
q3
alphabet
a
b
source label target
q0aq1
q0bq2
q1aq3
q2aq2
q2bq3
q3bq3

word OK?
aX
bX
aaO
abX
baX
bbO
aaaX
aabO
abaX
abbX
baaX
babO
bbaX
bbbO
aaaaX
aaabX
aabaX
aabbO
abaaX
ababX
abbaX
abbbX
baaaX
baabO
babaX
babbO
bbaaX
bbabX
bbbaX
bbbbO
aaaaaX
aaaabX
aaabaX
aaabbX
aabaaX
aababX
aabbaX
aabbbO
abaaaX
abaabX
ababaX
ababbX
abbaaX
abbabX
abbbaX
abbbbX
baaaaX
baaabO
baabaX
baabbO
name type
exmple1NFA
exmple2NFA
worst NFAtoDFA efficiencyNFA
multiple of 3DFA
a*bNFA
algorithm
NFAtoDFA
NFAtoRegExp
b