Введение В Теорию Конечных Автоматов 1966