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