Методи задавання ЦА

Абстрактні ЦА задаються наступними способами:

1. Аналітичний – у вигляді формул, виразів для функцій вихідних сигналів і функцій збуджених елементів пам’яті.

2. Табличний – у вигляді таблиць переходів, виходів або суміщеної таблиці переходів і виходів.

3. Графічний – у вигляді направленого графу (в вершинах стани, а на дугах переходи)

X	Z/Y
		–		–
	–

3. Канонічний метод структурного синтезу ЦА.

Метод розробив академік В.М. Глушков, згідно з яким закон функціонування абстрактного автомата реалізується комбінаційною схемою і набором тригерів. Процес побудови такої схеми називають структурним синтезом.

При структурному синтезі автоматів використовують RS-, JK-, D-, і Т-тригери, які є елементарними автоматами Мура з повними системами переходів і виходів. Вони мають 2 внутрішніх стани, яким відповідають 2 різних сигнали. Це дає можливість позначати стани, вхідні і вихідні сигнали тригерів символами 0 і 1.

Таблиця 1

Таблиці істинності тригерів

RS-тригер

JK-тригер

D-тригер

T-тригер

R

S

Q

J

K

Q

D

Q

T

Q

-

-

Скінченні автомати Мілі та Мура є основою для побудови керуючих автоматів із схемною логікою.

Початковим при синтезі ЦА є алгоритм є алгоритм який найчастіше зображають у вигляді граф-схеми (ГСА).

Порядок синтезу автомата канонічним методом:

1. Розмітка ГСА станами автомату.

2. Побудова графа автомату.

3. Кодування станів автомату.

4. Побудова суміщеної таблиці переходів і виходів.

5. Визначення та сумісна мінімізація логічних функцій збудження елементів пам’яті і вихідних сигналів.

6. Приведення визначених функцій до заданого базису.

7. Побудова функціональної схеми автомата.

Правила розмітки ГСА станами автомата типу Мура.

1) Початкова і кінцеві вершини відмічаються символом початкового стану а ₀.

2) Кожна операційна вершина відмічається символом чергового стану (на блок-схемі прямокутник) a _i.

Правила розмітки ГСА станами автомата типу Мілі.

1) Вихід з початкової і вхід в кінцеву вершини відмічаються міткою і символом початкового стану а ₀.

2) Входи вершин, які слідують за операційними вершинами (прямокутниками) відмічаються міткою і символом чергового стану (на блок-схемі прямокутник) a_i.

3) Мітки слід розташовувати таким чином, щоб уникнути непродуктивних переходів (коли між станами немає Y-ків).

Дата добавления: 2014-01-11