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