ЗМІСТ
Введення
. Технічне завдання
. Загальна послідовність додавання чисел з ПТ
. Структурна схема АЛУ
. Алгоритм додавання чисел в АЛП
. Розробка функціональної схеми блоку управління
.1 Загальна послідовність розробки
.2 Формалізація завдання
.3 Вибір типу автомата
.4 Розмітка схеми алгоритму
.5 Складання таблиць переходів і виходів
.6 Кодування станів
.7 Складання кодованої таблиці переходів і виходів
.8 Вибір типу тригера
.9 Перетворення таблиці переходів в таблицю функцій збудження тригерів
.10 Запис функцій збудження і функцій виходів у СДНФ
.11 Мінімізація функцій збудження і функцій виходів
.17 Граф
Висновок
Література
Введення
Абстрактний синтез включає в себе розробку алгоритму роботи автомата і складання його формального опису у вигляді автоматних таблиць або у вигляді графа переходів. Алгоритм найбільш зручно і наочно представляти у вигляді блок-схем. Розробка алгоритмів і блок-схем є найбільш творчою частиною роботи і погано піддається формалізації.
За розробленою блок-схемі опис роботи автомата найпростіше складати у вигляді графа переходів. Вид графа залежить від того, проектується автомат Мура або автомат Мілі:
Автомат Мілі Автомат Мура
yt=f 1 (xt, zt) y t +1=ft (z t +1)
z t +1=f 2 (xt, zt) z t +1=f 2 (xt, zt)
Автомат Мілі (англ. Mealy machine) - кінцевий автомат, вихідна послідовність якого (на відміну від автомата Мура) залежить від стану автомата і вхідних сигналів. Це означає, що в графі станів кожному ребру відповідає деяке значення (вихідний символ). У вершини графа автомата Милі записуються виходять сигнали, а дуг графа приписують умова переходу з одного стану в інший, а також вхідні сигнали.
Автомат Мілі можна описати п'ятіркою (Q, X, Y, f, g), де Q - безліч станів автомата, - безліч вхідних символів, - безліч вихідних символів,=f (Q, X) -функція станів,=g (Q, Y) - функція вихідних символів.
Автомат Мура
Залежність вихідного сигналу тільки від стану представлена ??в автоматах типу Мура (англ. <# «justify"> Автомат Мілі
В автоматі Мілі (англ. Mealy machine) функція виходів? визначає значення вихідного символу за класичною схемою абстрактного автомата. Математична модель автомата Милі та схема рекурентних співвідношень не відрізняються від математичної моделі і схеми рекурентних співвідношень абстрактного автомата. Таким чином, можна дати таке визначення:
Кінцевим детермінованим автоматом типу Мілі називається сукупність п'яти об'єктів
,
де S, X і Y - кінцеві непорожні множини, а? і?- Відображення виду:
і
