Информатика и выч. техника \ Теория автоматов

Синтез абстрактного автомата Милли на элементах памяти D или T-триггерах

Страницы работы

24 страницы (Word-файл)
Посмотреть все страницы
Скачать файл

Содержание работы

Содержание

Стр.

1. Задание на курсовое проектирование.

3

2. Граф исходного автомата.                                                              

4

3. Минимизация состояний автомата.

5

4. Анализ автомата.

8

4.1 Граф автомата.

8

4.2 Автоматная матрица.

9

5. Разбиение автомата на подавтоматы.

9

6. Выбор эффективного кода для подавтоматов (D-триггера).

10

7. Синтез автомата для  заданного элемента  памяти (D -триггера).

11

8. Выбор эффективного кода для подавтоматов (T-триггера).

15

9. Синтез автомата для  заданного элемента  памяти (T -триггера).

18

9. Разработка схемы синхронизации.

22

Задание на курсовое проектирование.

Необходимо синтезировать абстрактный автомат Милли, переходы и выходы которого заданы таблично. Синтез автомата следует производить на элементах памяти D или T  - триггерах и логических элементах типа  ИЛИ-НЕ. Перед синтезом автомата необходимо произвести минимизацию по методу Ауффенкампа-Хопа.

Таблица переходов и выходов абстрактного автомата.

( d / l )

Z1

Z2

Z3

Z4

Z5

Z6

Z7

Z8

Z9

Z10

Z11

Z12

Z13

Z14

Z15

Z16

X1

Z16   Y3

Z2   Y2

Z5   Y1

Z15  Y3

Z7   Y2

Z3   Y1

Z5   Y2

Z8   Y1

Z11   Y2

Z12  Y2

Z14   Y1

Z8   Y1

Z11   Y2

Z12   Y2

Z15   Y3

Z1   Y3

X2

Z4   Y1

Z5  Y2

Z6   Y3

Z1  Y1

Z2   Y2

Z4  Y2

Z6   Y2

Z9  Y1

Z10   Y2

Z9   Y2

Z13   Y1

Z9  Y1

Z10   Y2

Z13  Y2

Z116   Y1

Z4  Y1

X3

Z15   Y1

Z3   Y3

Z2   Y1

Z12   Y1

Z6   Y3

Z6   Y1

Z3   Y3

Z11   Y2

Z8  Y1

Z11  Y1

Z10   Y1

Z12   Y2

Z12   Y2

Z11   Y1

Z4   Y1

Z15   Y1

Граф исходного автомата:

Минимизация состояний автомата.

Алгоритм минимизации цифрового автомата основан на эквивалентных преобразованиях. К - эквивалентными состояниями автомата будут такие состояния, находясь в которых цифровой автомат, реагируя на вход слова из k букв, выдает одинаковые выходные слова.

По таблице lпроизводим разбиение П1 :

l

Z1

Z2

Z3

Z4

Z5

Z6

Z7

Z8

Z9

Z10

Z11

Z12

Z13

Z14

Z15

Z16

X1

  Y3

  Y2

Y1

  Y3

   Y2

   Y1

  Y2

  Y1

  Y2

   Y2

   Y1

  Y1

   Y2

   Y2

   Y3

  Y3

X2

   Y1

 Y2

  Y3

  Y1

   Y2

 Y2

  Y2

 Y1

  Y2

  Y2

   Y1

 Y1

   Y2

  Y2

   Y1

Y1

X3

   Y1

   Y3

   Y1

   Y1

   Y3

 Y1

 Y3

  Y2

Y1

Y1

   Y1

Y2

 Y2

   Y1

   Y1

  Y1

1

2

3

1

2

4

2

5

6

6

7

5

8

6

1

1

П1= {A1, A2, A3, A4, A5, A6, A7,А8}.

A1= {Z1, Z4, Z15, Z16}.   A3= {Z3}.          A5= {Z8, Z12,}.           A7= {Z11}.

A2= {Z2, Z5, Z7}.            A4= {Z6}.           A6= {Z9, Z10, Z14}.    А8= {Z13}.

Строим таблицу  П1:

 A1

A2

A3

 A4

A5

 A6

A7  

A8

Z1

Z4

Z15

Z16

Z2

Z5

Z7

Z3

Z6

Z8

Z12

Z9

Z10

Z14

Z11

Z13

X1

A1

A1

 A1

A1

  A2

A2

A2

   A2

 A3

A5 

A5

   A7

   A5

  A5

  A6

   A7

X2

   A1

   A1

A1

 A1

  A2

A2

A4

 A4

A1

A6

A6

   A6

  A6

A8

A8

   A6

X3

A1

A5

A1

A1

   A3

A4

A3

 A2

 A4

A7

A5

   A5

   A7

  A7

A6

   A5

1

2

1

4

3

4

5

6

7

8

9

10

11

12

13

14

Похожие материалы

Информация о работе

ВУЗ:
Тихоокеанский государственный университет (ТОГУ)
Предмет:
Теория автоматов
Тип:
Курсовые работы
Категория:
Информатика и выч. техника (Технические предметы)
Размер файла:
411 Kb
Скачали:
0
Скачать файл