added example automaton definition