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