logo
Теор

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

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

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

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

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

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

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

Задача 7:

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

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

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

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

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

X = { да, нет} = { x1, x2 }

Z = { Z1 – зачет, Z2 – незачет, Z3 – продолжить опрос}

S = { 0 – начало опроса, 1 – правильный ответ на первый вопрос, 2 - правильный ответ на первый и второй вопросы, 3 – на первый три вопроса ответы правильные}

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. Таль, Разановер «Логика. Автоматы. Алгоритмы»