Контрольная работа: Абстрактные цифровые автоматы
Таблица 1.7
|
A
X
|
a1
|
a2
|
a3
|
|
x1
|
a2/y2
|
a3/y3
|
a1/у3
|
|
x2
|
a1/у3
|
a1/y1
|
a2/y2
|
Таблица 1.8
| Y |
y1
|
y2
|
y3
|
|
A
X
|
a1
|
a2
|
a3
|
|
x1
|
a2
|
a3
|
a1
|
|
x2
|
a1
|
a1
|
a2
|
Таблица 1.9.
|
|
a1
|
|
an
|
|
a1
|
xj (yk)
|
|
|
|
|
|
|
|
|
an
|
|
|
x| (ym)
|
При графическом способе задания абстрактные автоматы представляются
ориентированными графами. Графом автомата называется ориентированный связный граф,
вершины которого соответствуют состояниям автомата, а дуги между ними - переходам
между состояниями. Две вершины ak и as соединяются
дугой в том случае, если в автомате имеется переход из состояния ak в
состояние as. Для автомата Мили входной и выходной
сигналы проставляются на дуге, соответствующей данному переходу (рис 1.3.), для
автомата Мура входной сигнал проставляется на дуге, а выходной - рядом с вершиной,
соответствующей состоянию (рис 1.4.).
Здесь рассматриваются только детерминированные автоматы, у которых
выполнено условие однозначности переходов: автомат, находящийся в некотором состоянии,
под действием любого входного сигнала не может перейти более чем в одно состояние.
Применительно к графическому способу задания автомата это означает, что в графе
автомата из любой вершины не могут выходить две и более дуги, отмеченные одним и
тем же входным сигналом.
Рисунок 1.3-Граф автомата Мили Рисунок 1.4-Граф автомата Мура
При аналитическом способе задания абстрактные автоматы задаются
четверкой объектов:
S={ X,A,Y,F}, где F задает для каждого состояния аj автомата отображение (ХхА) - >
(AxY). Другими словами, при аналитическом способе задания
для каждого состояния автомата аj указывается отображение Fai,
представляющее собой множество всех троек ар, xm,
yk, и таких, что под воздействием входного сигнала
xm автомат переходит
из состояния аj в
состояние ар, выдавая при этом выходной сигнал yk.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 |
