Модуль 11 [Теория автоматов]
Определение
конечных автоматов:
-
теоретическая информация математического
содержания с элементами классической
логики воплощает на практике идею
перехода от математики фундаментальной
к математике функциональной;
-
связь релейно – контактных схем с
формулами алгебры логики и их использование
для описания функционирования автоматов
способствовали развитию и применению
математической логики и теории автоматов;
-
абстрактная модель устройства,
функционирующего в дискретном времени,
которая перерабатывает последовательность
входных сигналов (стимулов) и превращает
их в последовательность выходных
сигналов (реакций).
Виды
автоматов:
-
теория сигналов и кодирования;
-
функционирование
систем естественного и искусственного
происхождения;
-
информационные, управляющие, вычислительные.
Способы
задания конечных автоматов:
-
логическая, комбинационная, функциональная;
-
аналитический (с помощью формул),
табличный (матрицы переходов и выходов).
графический (с помощью графов);
-
конструктивный, тождественный,
равносильный, тождественно-истинный
или тавтологичный.
Задачи
теории автоматов:
-
синтеза, анализа, композиции (декомпозиции);
-
шифрования,
кодирования,
контроля;
-
выбор модуля, цифровой метод, коррекция.
