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