PanLinx
English
eng-000
dual automaton
русский
rus-000
двойственный автомат
PanLex