Automaton analysis

Automaton analysis