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