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

Содержание

Введение……………………………………………………………………….

2

Техническое задание………………………………………………………….

3

Общая последовательность сложения чисел с ПТ…………………………..

3

Структурная схема АЛУ………………………………………………………

4

Алгоритм сложения чисел в АЛУ……………………………………………

6

Общая последовательность разработки………………………………………

8

Формализация задания………………………………………………………..

8

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

9

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

9

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

11

Кодирование состояний………………………………………………………

11

Составление кодированной таблицы переходов и выходов………………..

12

Выбор типа триггера………………………………………………………….

12

Преобразование таблицы переходов в таблицу функций возбуждения триггеров……………………………………………………….

13

Запись функций возбуждения и функций выходов в СДНФ……………….

13

Минимизация функций возбуждения и функций выходов…………………

15

Заключение……………………………………………………………………..

17

Литература……………………………………………………………………..

18

Введение

Абстрактный синтез включает в себя разработку алгоритма работы автомата и составление его формального описания в виде автоматных таблиц или в виде графа переходов. Алгоритм наиболее удобно и наглядно представлять в виде блок-схем. Разработка алгоритмов и блок-схем является наиболее творческой частью работы и плохо поддаётся формализации.

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

Автомат Мили Автомат Мура

xt

yt+1

yt

f1

f1

zt+1

zt+1

xt

f2

f2

yt = f1(xt, zt) yt+1 = ft(zt+1)

zt+1 = f2(xt, zt) zt+1 = f2(xt, zt)

Автомат Мили (англ. Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Автомат Мили можно описать пятеркой (Q,X,Y,f,g), где Q - множество состояний автомата, X - множество входных символов, Y - множество выходных символов, q=f(Q,X) - функция состояний, y=g(Q,Y) - функция выходных символов.

Автомат Мура

Зависимость выходного сигнала только от состояния представлена в автоматах типа Мура (англ.Moore machine). В автомате Мура функция выходов определяет значение выходного символа только по одному аргументу — состоянию автомата. Эту функцию называют также функцией меток, так как она каждому состоянию автомата ставит метку на выходе.

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