reverse planar automaton