Automaton example