Изучение методов структурного синтеза конечных автоматов

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

4 страницы (Word-файл)

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

Министерство общего и профессионального образования

Российской Федерации

Государственный Университет Аэрокосмического Приборостроения

Отчет защищен:

 


Преподаватель:

ОТЧЕТ

о лабораторной работе №22

по курсу «Теория автоматов»

Структурный синтез конечных

автоматов

Работу выполнил

студент группы 4741                                                  /Миронов С.В./

 


Санкт-Петербург, 1998

Лабораторная работа №22

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

Цель работы: изучение методов структурного синтеза конечных автоматов.

     Текст задания:

     Синтезировать автомат Мили. Последовательность изменения состояния в зависимости от Zf:

     Z1 := 3, 6, 1, 4, 2, 5, 0, 3

     Z2 := 4, 0, 1, 6, 5, 3, 2, 4

Выходные сигналы: переход из четного W1 состояния при нечетном Zf; переход из нечетного W2 состояния при четном Zf; W3 - остальные случаи. Метод структурного синтеза - табличный. Тип элементов памяти: S-R, T, S-T-R.

     Граф абстрактного автомата:

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

Табл. 1

Таблица переходов

a0

a1

a2

a3

a4

a5

a6

a7

Z1

a3

a6

a1

a4

a2

a5

a0

a3

Z2

a4

a0

a1

a6

a5

a3

a2

a4

Табл. 2

Таблица выходов

a0

a1

a2

a3

a4

a5

a6

a7

Z1

W1

W3

W1

W3

W1

W3

W1

W3

Z2

W3

W2

W3

W2

W3

W2

W3

W2

     Таблицы кодирования состояний, входов и выходов абстрактного автомата:

Табл. 3

Таблица кодирования состояний

Q1

Q2

Q3

a1

0

0

1

a2

0

1

0

a3

0

1

1

a4

1

0

0

a5

1

0

1

a6

1

1

0

a7

1

1

1

a0

0

0

0

Табл. 4

Таблица кодирования входов

x

Z1

0

Z2

1

Табл. 5

Таблица кодирования выходов

y1

y2

W1

0

1

W2

1

0

W3

1

1

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

Табл. 6

Таблица переходов

000

001

010

011

100

101

110

111

0

011

110

001

100

010

101

000

011

1

100

000

001

110

101

011

010

100

Табл. 7

Таблица выходов

000

001

010

011

100

101

110

111

0

01

11

01

11

01

11

01

11

1

11

10

11

10

11

10

11

10

     Получение минимальных выражений для выходных сигналов:

Рис. 1. Диаграммы Вейча для функций выходных сигналов

     Таблица функций возбуждения для RS -триггера:

Табл. 8

Таблица функций возбуждения

x

000

001

010

011

SARA

SBRB

SCRC

SARA

SBRB

SCRC

SARA

SBRB

SCRC

SARA

SBRB

SCRC

0

0-

10

10

10

10

01

0-

01

10

10

01

01

1

10

0-

0-

0-

0-

01

0-

01

10

10

-0

01

x

100

101

110

111

SARA

SBRB

SCRC

SARA

SBRB

SCRC

SARA

SBRB

SCRC

SARA

SBRB

SCRC

0

01

10

0-

-0

0-

-0

01

01

0-

01

-0

-0

1

-0

0-

10

01

10

-0

01

-0

0-

-0

01

01

     Получение минимальных выражений для функций возбуждения:

Рис. 2. Диаграммы Вейча для триггера A

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

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