PanLinx
русский
rus-000
теория конечных автоматов
English
eng-000
finite automata theory
PanLex