RegToy
Regular expression: ((ac|b)*|bd)a
Initial NFA
fsm
Start
Start
1
1
Start->1
6
6
1->6
b
4
4
1->4
ε
3
3
6->3
d
4->4
b
4->3
ε
5
5
4->5
a
2
2
3->2
a
5->4
c
Cleaned up NFA
fsm
Start
Start
1
1
Start->1
4
4
1->4
ε
6
6
1->6
b
4->4
b
3
3
4->3
ε
5
5
4->5
a
6->3
d
2
2
3->2
a
5->4
c
DFA
fsm
Start
Start
1
1
Start->1
3
3
1->3
a
6
6
1->6
b
5
5
3->5
c
6->3
a
6->5
b
4
4
6->4
d
2
2
5->3
a
5->5
b
4->2
a