[automaton]
states = 0
alphabet = 
controllable = 
observable = 
transitions = 
initial-state = 0
marker-states = 0
