Составители:
127
ной операторной вершиной. Это же состояние присваивается
конечной операторной вершине. Остальные состояния
Sk
nks ,2, = присваиваются входам всех условных вершин,
непосредственно следующих за операторными вершинами
графа.
Обратить внимание на то, что АА, реализующий ГСА в
логике автоматов Мура, характеризуется числом состояний
S
n , совпадающим с числом операторных вершин, в то время
как АА, реализуемый в логики Мили, характеризуется чис-
лом состояний
S
n , в общем случае не совпадающим с числом
операторных вершин, причем возможны такие ГСА, где чис-
ло состояний меньше числа операторных вершин. На этапе
погружения формальной ГСА в автоматную среду на паре ав-
томатных логик Мили/Мура осуществить начальную мини-
мизацию автоматной реализации НДДС. Зафиксировать ре-
зультат погружения формальной версии ГСА
в автоматную
среду в форме АА, задаваемого с помощью макровектора
(2.1) с функциями перехода и выхода в форме (2.2) – (2.4).
5.
Выбрать автоматную логику функционирования АА и по-
строить в выбранной логике граф переходов АА, в среду ко-
торого погружена формальная ГСА.
6.
Выполнить п.п.3–7 алгоритма 2.1 применительно к АА в вы-
бранной логике. ■
Примечание 2.2 (ПМ2.2). При выполнении п. 5 А2.2 в фазе кодиро-
вания следует отметить, что кодирование алфавитов состояния и
выхода осуществляется в полном соответствии с п. 2
А2.1. Кодиро-
вание элементов алфавита
Z
следует осуществлять путем переобо-
значения в форме
Zii
r,1i,zu =≡ , причем
Z
r и
r
связываются условием
тождественного равенства, если указанный способ кодирования не-
осуществим, то следует воспользоваться схемой п.2 алгоритма 2.1.
Данное примечание вызвано тем обстоятельством, что при по-
строении формальной версии ГСА логические переменные
i
z в боль-
шинстве случаев имеют бинарную реализацию, то есть принадлежат
полю Галуа
(
)
2GF
. □
Примечание 2.3 (ПМ2.3). При составлении БФ, предусмотренных
п.5 алгоритма
2.1 применительно к конструированию функций возбу-
ждения триггеров, они строятся в виде дизъюнкций основных конъ-
юнкций, которые формируются на кодах исходных состояний
()
kx
и
управляющих сигналов, считываемых с условных вершин и связываю-
щих исходное состояние с состоянием перехода
(
)
1kx
+
. БФ форми-
рования выходов, в случае использования логики абстрактных авто-
Страницы
- « первая
- ‹ предыдущая
- …
- 116
- 117
- 118
- 119
- 120
- …
- следующая ›
- последняя »
