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