теория автоматов

Мат. theor of automata automata theory