двуленточный автомат

Мат. two-tape automaton