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