RegToy

Regular expression: ab|cd

Initial NFA

fsm Start Start 1 1 Start->1 4 4 1->4 c 3 3 1->3 a 2 2 4->2 d 3->2 b

Cleaned up NFA

fsm Start Start 1 1 Start->1 3 3 1->3 a 4 4 1->4 c 2 2 3->2 b 4->2 d

DFA

fsm Start Start 1 1 Start->1 3 3 1->3 a 4 4 1->4 c 2 2 3->2 b 4->2 d