Содержание

1. Введение 2

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

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

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

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

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

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

2. Выбор типа автомата ..9

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

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

6. Кодирование состояний ..11

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

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

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

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

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

7. Заключение ..17

8. Литература ..18

1.Введение

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

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

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

x_t

y_t+1

y_t

f₁

f₁

z_t+1

z_t+1

x_t

f₂

f₂

y_t = f₁(x_t, z_t) y_t+1 = f_t(z_t+1)

z_t+1 = f₂(x_t, z_t) z_t+1 = f₂(x_t, z_t)

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

Автомат Мура

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

Автомат Мили

В автомате Мили (англ. Mealy machine) функция выходов λ определяет значение выходного символа по классической схеме абстрактного автомата. Математическая модель автомата Мили и схема рекуррентных соотношений не отличаются от математической модели и схемы рекуррентных соотношений абстрактного автомата. Таким образом, можно дать следующее определение:

Конечным детерминированным автоматом типа Мили называется совокупность пяти объектов

,

где S, X и Y — конечные непустые множества, а δ и λ — отображения вида:

 и 

со связью элементов множеств S, X и Y в абстрактном времени T = {0, 1, 2, …} уравнениями:

(Отображения δ и λ получили названия, соответственно функции переходов и функции выходов автомата A).

Особенностью автомата Мили является то, что функция выходов является двухаргументной и символ в выходном канале y(t) обнаруживается только при наличии символа во входном канале x(t). Функциональная схема не отличается от схемы абстрактного автомата.