PanLinx
русский
rus-000
автомат с ограничением на входе
English
eng-000
input-restricted automaton
PanLex