PanLinx
русский
rus-000
мультиплексный автомат
English
eng-000
multiplex automaton
PanLex