Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Архив2 / курсовая docx100 / Kursovaya_po_teori_avtomatov_Litvinov_S_M.docx
Скачиваний:
51
Добавлен:
07.08.2013
Размер:
386.86 Кб
Скачать

5.3 Выбор типа автомата

Заданием предусмотрена реализация блока управления в виде автомата Мура

    1. Разметка схемы алгоритма

Для разметки используется формальная схема алгоритма, в которой названия микроопераций заменяются на соответствующие управляющие сигналы из таблицы 1. При разметке используются следующие правила:

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

  2. Безусловные операторы помечаются символами последовательно пронумерованных состояний ,,

Размеченная схема алгоритма представлена на рисунке 5. Как видно по результатам разметки, автомат имеет 14 состояний (,, … ,Q13).

5.5 Составление таблицы переходов и выходов

Таблица переходов и выходов составляется по размеченной схеме алгоритма. Число строк таблицы (без заглавной) равно числу комбинаций входных сигналов, а число столбцов (без заглавного) равно числу состояний автомата.

В каждой клетке таблицы указывается новое состояние. Для сокращения размеров таблицы следует учесть, что при входном сигнале K = 0 автомат может находиться только в состоянии . Таблица переходов и выходов автомата приведена в виде таблицы 2.

Таблица 2

Входы

Состояния и выходы

K P A B S

Y0

Y1

Y2

Y3

Y4

Y5, Y7

Y5, Y8

Y6, Y7

Y6, Y8

Y9

Y10

Y11

Y12

Y13

Q0

Q1

Q2

Q3

Q4

Q5

Q6

Q7

Q8

Q9

Q10

Q11

Q12

Q13

0 - - - -

Q0

-

-

-

-

-

-

-

-

-

-

-

-

-

1 0 0 0 0

Q1

Q2

Q3

Q7

Q7

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 0 0 0 1

Q1

Q2

Q3

Q7

Q7

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 0 0 1 0

Q1

Q2

Q3

Q8

Q8

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 0 0 1 1

Q1

Q2

Q3

Q8

Q8

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 0 1 0 0

Q1

Q2

Q3

Q5

Q5

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 0 1 0 1

Q1

Q2

Q3

Q5

Q5

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 0 1 1 0

Q1

Q2

Q3

Q6

Q6

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 0 1 1 1

Q1

Q2

Q3

Q6

Q6

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 1 0 0 0

Q1

Q2

Q3

Q4

Q7

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 1 0 0 1

Q1

Q2

Q3

Q4

Q7

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 1 0 1 0

Q1

Q2

Q3

Q4

Q8

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 1 0 1 1

Q1

Q2

Q3

Q4

Q8

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 1 1 0 0

Q1

Q2

Q3

Q4

Q5

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

1 1 1 0 1

Q1

Q2

Q3

Q4

Q5

Q9

Q9

Q9

Q9

Q10

Q11

Q12

Q13

Q0

1 1 1 1 0

Q1

Q2

Q3

Q4

Q6

Q9

Q9

Q9

Q9

Q10

Q11

Q13

Q13

Q0

Соседние файлы в папке курсовая docx100