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