RegToy

Regular expression: (a|bb)*

Initial NFA

fsm Start Start 1 1 Start->1 3 3 1->3 ε 3->3 a 2 2 3->2 ε 4 4 3->4 b 4->3 b

Cleaned up NFA

fsm Start Start 3 3 Start->3 3->3 a 2 2 3->2 ε 4 4 3->4 b 4->3 b

DFA

fsm Start Start 1 1 Start->1 1->1 a 2 2 1->2 b 2->1 b