PanLinx
English
eng-000
two-tape automaton
русский
rus-000
двуленточный автомат
PanLex