Курсовая с практикой на тему Курсовая работа по Теории конечных автоматов

Содержание:

Задание. 2

1. Методический синтез абстрактного  цифровогоавтомата   6

1.1 Получение кодов из веса входных и выходных сигналов. 6

1.2 Построение графа цифрового автомата. 7

1.3 Составление таблиц переходов и выходов для
абстрактного цифрового автомата. 11

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

1.5 Составление классов совместимости. 12

1.6 Составление таблиц переходов и выходов для
минимизированного автомата. 18

2. Структурный синтез цифрового автомата.. 20

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

2.2 Составление таблиц кодирования выходов и входов
триггера. 20

2.3 Составление таблиц кодирования состояний триггера. 21

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

2.5 Составление закодированной таблицы выходов. 22

2.6 Составление таблицы возбуждения триггера. 23

2.7 Составление абсолютной таблицы разрабатываемого
автомата. 24

2.8 Составление функции возбуждения для триггеров и
функции выходов  25

2.9 Минимизация ФАЛ по методу Карно. 26

2.10 Составление функциональной схемы полученного
цифрового автомата  30

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

литература.. 32

Введение:

Заключение:

В ходе выполнения курсовой работы было произведено
построение кодопреобразователя по заданным входным и выходным функциям.

Для получения оптимального варианта кодирования необходимо
сопоставлять результаты минимизации комбинационных схем при использовании возможных
вариантов кодирования.

Минимальный вариант построения принципиальной схемы может
быть получен только после перебора и сравнения всех возможных вариантов построения
цифрового устройства.

В ходе работы были укреплены знания в области теории
конечных автоматов.

Фрагмент текста работы:

1. Методический синтез абстрактного
цифровогоавтомата

1.1
Получение кодов из веса входных и выходных сигналов

Для
абстрактного математического описания цифрового автомата как кодопреобразователя
используется представление 6-элементного множества S = {A, X, Y, δ, λ, a1},где

А = {a1,…,an}
– множество состояний автомата;

X = {x1,…,xn}
– множество входных сигналов;

Y = {y1,…,yn}
– множество выходных сигналов;

δ –
функция переходов абстрактного цифрового автомата;

λ –
функция выходов абстрактного цифрового автомата;

а1
– начальное состояние автомата (а1  принадлежит
А).

Для
однозначного управления цифровым автоматом необходимо, чтобы он начинал работу
с определённого начального состояния. Автомат является конечным, если А, Х и Y
не являются бесконечными множествами.

Используя
понятия и определения алгебры логики, составим таблицу (соответствия) значений
входных и выходных сигналов. Таблица
1 – Таблица соответствия значений входных и выходных сигналов 7421 5321 0 0000 0000 1 0001 0001 2 0010 0010 3 0011 0100 4 0100 0101 5 0101 1000 6 0110 1001 7 1000 1010 8 1001 1100 9 1010 1101 Для соблюдения условия
автоматности кодопреобразователя, к входному и выходному словам добавляем
пустые символы (0).

При этом таблица
соответствия примет следующий вид. Таблица 2 – Соответствие
значений входных и выходных сигналов 7421 5321 0 0000(000) (000)0000 1 0001(000) (000)0001 2 0010(000) (000)0010 3 0011(000) (000)0100 4 0100(000) (000)0101 5 0101(000) (000)1000 6 0110(000) (000)1001 7 1000(000) (000)1010 8 1001(000) (000)1100 9 1010(000) (000)1101 1.2 Построение графа цифрового автомата

Граф автомата —
ориентированный   связный   граф, вершины   которого соответствуют состояниям, а дуги —
переходам между ними.

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