Automaton
Type:
TM
Transition Graph:
Definition:
Transitions: