Модуль 11 [Теория автоматов]

1. Определение конечных автоматов:

 - теоретическая информация математического содержания с элементами классической логики воплощает на практике идею перехода от математики фундаментальной к математике функциональной;

 - связь релейно – контактных схем с формулами алгебры логики и их использование для описания функционирования автоматов способствовали развитию и применению математической логики и теории автоматов;

 - абстрактная модель устройства, функционирующего в дискретном времени, которая перерабатывает последовательность входных сигналов (стимулов) и превращает их в последовательность выходных сигналов (реакций).

2. Виды автоматов:

 - теория сигналов и кодирования;

 - функционирование систем естественного и искусственного происхождения;

 - информационные, управляющие, вычислительные.

3. Способы задания конечных автоматов:

 - логическая, комбинационная, функциональная;

 - аналитический (с помощью формул), табличный (матрицы переходов и выходов). графический (с помощью графов);

 - конструктивный, тождественный, равносильный, тождественно-истинный или тавтологичный.

4. Задачи теории автоматов:

 - синтеза, анализа, композиции (декомпозиции);

 - шифрования, кодирования, контроля;

 - выбор модуля, цифровой метод, коррекция.