PanLinx
русский
rus-000
комбинационный автомат
English
eng-000
combinational automaton
PanLex