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