automata
Transition
Start State
Final State
Delete State