PanLinx
русский
rus-000
блочный конечный автомат
English
eng-000
finite modular automaton
PanLex