Кудрявцев В.Б. Теория структурных автоматов

Конспект лекции по теории структурных автоматов. МГУ. - 10 стр.
Конечный алфавит, слово, длина слова.
Детерминированная функция.
Остаточная, ограниченно-детерминированная функция.
Операции суперпозиции.
Операция переименования переменного.
Операция отождествления переменных.
Операция проектирования,
Операция дублирования,
Операция объединения.
Операция подстановки.
Автоматная функциональная система.
Истинностная функция.
Доказательство теоремы.