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