PanLinx
русский
rus-000
двусторонний автомат
English
eng-000
two-way automaton
PanLex
