Магистерская диссертация на тему: Абстрактные автоматы. Задание на первую часть курсового проекта

Введение

Автомат Мили задан таблицами переходов (табл.1.1) и выходов (табл.1.2).

Таблица. 1.1.

х1

х2

х3

Таблица. 1.2.

х1

х2

х3

В1

В2

В1

В2

В1

В2

В1

В1

Разбиение на 1-классы эквивалентности осуществляется путём выявления одинаковых столбцов таблицы 1.2 , при этом получаем:

Строим таблицу 1-разбиения (табл. 1.3.) и из неё находим разбиение на 2-классы.

Таблица. 1.3.

В1

В2

х1

В1

В2

В1

В1

В1

В2

В1

В2

х2

В2

В2

В2

В1

В1

В1

В1

В1

х3

В2

В1

В2

В2

В2

В1

В1

В1

С1

С2

С1

С3

С3

С4

С5

С4

Строим таблицу 2-разбиения (табл. 1.4.) и из неё находим разбиение на 3-классы.

абстрактный автомат микрокоманда цифровой

Таблица. 1.4.

С1

С2

С3

С4

С5

С2

С2

С4

С1

С1

С5

С5

С3

С4

С4

С5

С2

С2

С3

С3

С1

С5

С5

С3

С4

С4

С1

С1

С2

Дальнейшее разбиение невозможно. Таким образом, найдены ∞ - классы, которым соответствует автомат Мили, описываемый таблицами переходов (табл. 1.5.) и выходов (табл. 1.6.).

Таблица 1.5.

х1

х2

х3

Таблица 1.6.

х1

х2

х3

Построим реакции исходного и оптимизированного автоматов на входное воздействие x2x1x3x1x3x3x1x2, при начальном состоянии автомата s[0]=s1(табл. 1.7.).

Таблица 1.7.

Входное воздействие

Реакция исходного автомата

Оглавление

- Абстрактные автоматы

- Задание на первую часть курсового проекта

- Минимизация абстрактного автомата Мили

- Синтез схемы конечного автомата

- Проверка по первой части курсового проекта

- Моделирование работы абстрактного автомата

- Микропрограммные автоматы на базе логических матриц

- Задание на вторую часть курсового проекта

- Синтез микропрограммного автомата

- Синтез счётчика числа микрокоманд

- Разработка цифровой линии задержки таймера

- Список литературы

Список литературы

1. Теория автоматов: учебно-методический комплекс / сост. Г.И. Анкудинов, И.В. Иванова. - СПб.: Изд-во СЗТУ, 2008. - 227 с.

. Анкудинов Г.И., Анкудинов И.Г., Хамидуллин Р.Р. Теория автоматов: Учеб. пособие,- СПб.: СЗТУ. 2002. - 112 с.

3. ГОСТ 2.001-93 ЕСКД. Общие положения;

. ГОСТ 2.051-2006 ЕСКД. Электронные документы. Общие положения;