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