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

UptoLike

ВУЗ: 

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

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

Рубрика: 

118
Алгоритм 2.1 (А2.1)
конструирования модельного ВСВ представления НДДС на основе
канонического автоматного синтеза
1. Сформулировать постановку задачи кодопреобразования,
решаемой конструируемой ДДС.
2. Формализовать задачу кодопреобразования в виде абстракт-
ного автомата (АА), задаваемого в виде пятиэлементного
макровектора
{
}
δ
λ
,,W,S,Z:AА , (2.1)
где
Z
– алфавит высокого уровня (с возможным использова-
нием вербальных описаний) входов абстрактного автомата
мощности
[]
Z
rZ = ,
S
– алфавит высокого уровня его состоя-
ния мощности
[]
S
nS
=
, W – алфавит высокого уровня выхо-
дов АА мощности
[
]
W
mW
=
,
λ
– правило (функция) перехо-
да АА
(
)
(
)
(
)
[
]
(
)
0s,kz,ks1ks
λ
=
+
; (2.2)
δ
– правило (функция) выхода, задаваемое функциональны-
ми соотношениями соответственно
(
)
(
)
[
]
kskW
δ
=
(2.3)
в логике абстрактного автомата Мура и
(
)
(
)
(
)
[
]
kzkskW ,
δ
=
(2.4)
в логике абстрактного автомата Мили. В (2.2) – (2.4)
()
(
)( )
1ks,ks,0s +
– соответственно начальное состояние, ис-
ходное состояние и состояние перехода АА,
– дискретное
время, выраженное в числе тактов длительностью
t
∆
. При
этом основным математическим средством описания правил
(функций)
λ
,
δ
на первом этапе конструирования являются
графы переходов и выходов, на втором – таблицы переходов
и выходов.
3.
Осуществить переход от абстрактного автомата (2.1) к ко-
нечному автомату (КА)
{
}
δ
λ
,,Y,X,U:КА (2.5)
над простым полем Галуа
(
)
pGF
при p=2, путем кодирова-
ния элементов алфавитов высокого уровня АА (2.1) кодами,
составленными из элементов поля
(
)
pGF . В выражении (2.5)
{}
ZкU = ,
{}
SкX = ,
{
}
WкY
=
, где
(
)
{
}
•
к – код (вектор-
строка) элемента алфавита
(
)
•
размерности
(){}
•кdim . Раз-

Страницы