PanLinx
English
eng-000
partialy specific automaton
русский
rus-000
частично определённый автомат
PanLex