Синтез конечных автоматов.

1. Получение формализованного описания автомата по словесному вербальному его описанию (абстрактный синтез автомата).

2. Кодирование автомата и построение кодированной таблицы переходов.

3. Структурный синтез автомата.

4. Комбинационный функциональный синтез автомата.

5. Конструктивный синтез.

6. Технологический синтез и т.д.

Задача 7:

Экзаменационный автомат:

+ 1. Верно ли, что { \ } ФПС (функционально полная система)?

- 2. Правильно или нет, что | P_k | ≤ k?

+ 3. Верно ли, что | Σ^k_i | ≤ n – k?

- 4. Правильно или нет, что N^npq = n?

X = { да, нет} = { x₁, x₂ }

Z = { Z₁ – зачет, Z₂ – незачет, Z₃ – продолжить опрос}

S = { ₀ – начало опроса, ₁ – правильный ответ на первый вопрос, ₂ - правильный ответ на первый и второй вопросы, ₃ – на первый три вопроса ответы правильные}

S\X	Z v		S v + 1
	x1	x2	x1	x2
0	Z3	Z2	1	0
1	Z2	Z3	0	2
2	Z3	Z2	3	0
3	Z2	Z1	0	0

Используемая литература.

1. Глушков В.М. «Введение в теорию цифровых автоматов»

2. Гил «Введение в теорию конечных автоматов», 2002 г

3. Таль, Разановер «Логика. Автоматы. Алгоритмы»