bilateral automaton