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