PanLinx
русский
rus-000
полупростой автомат
English
eng-000
semisimple automaton
PanLex
