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