Automaton
Type:TM
Transition Graph:
Definition:
Transitions: