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