butterfly automata