Added automaton example