Двоичные динамические системы дискретной автоматики. Мельников А.А - 117 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

126
В операторные вершины вписать вербальные конструк-
ции в виде инфинитивов или отглагольных существительных,
несущих информацию о необходимости выполнения кон-
кретного действия, с учетом того, что начальная и конечная
вершины имеют соответственно только выход или только
вход, а рабочая операторная вершина имеет один вход и один
выход;
В условные вершины вписать
словесные логические ус-
ловия, с помощью которых осуществляется управление по-
следовательностью действий проектируемой НДДС. Услов-
ные вершины имеют один вход и два выхода, причем если
вершина моделирует процесс (состояние) ожидания выпол-
нения условия, то один из ее выходов соединяется с ее вхо-
дом.
Проконтролировать корректность составленной ГСА пу-
тем проверки
наличия хотя бы одной ветви с выхода произ-
вольной вершины, ведущей к входу конечной вершины, и
проверки отсутствия ветвей с выхода вершины графа к вхо-
дам более чем одной вершины. При контроле дополнительно
учесть, что ГСА допускает размещение одного и того же ус-
ловия в различных условных вершинах графа и разрешает
выполнение одного и того же действия в различных опера-
торных вершинах графа.
3.
Составить формальную версию ГСА путем замены вербаль-
ных конструкций операторных вершин на элементы алфавита
высокого уровня
1m,0j,w
Wj
−=
символьного представле-
ния действий (операций, команд), и вербальных конструкций,
вписанных в условные вершины, на элементы
Zi
r,1i,z = , ал-
фавита символьного представления условий, имеющих би-
нарную реализацию.
4.
«Погрузить» сформированную в п.3 алгоритма формальную
версию ГСА конструируемой ДДС в среду абстрактных ав-
томатов с учетом следующих обстоятельств.
Если АА строится в автоматной логике абстрактного ав-
томата Мура, то всем операторным вершинам
j
w присваива-
ются состояния
1k
s
+
, причем начальная
0
w и конечная
1mk
W
w
−=
вершины объединены в одну, которой присваивается состоя-
ние
1
s .
Если АА строится в автоматной логике абстрактного ав-
томата Мили, то состояние
1
s присваивается входу первой
условной вершины, непосредственно следующей за началь-

Страницы