example automata