И.В. Рудаков
8
Установим зависимость между множеством пар функций
Φ
, при-
писанным макромодели блока регистровой структуры, и последова-
тельностными функциями
g
1
,
g
2
, …,
g
i
, приписанными моделям эле-
ментов регистровой структуры, входящих в блок.
Модель элемента сложной дискретной структуры
F
1
содержит
функцию
g
1
, отображающую последовательность входных информа-
ционных слов в последовательность выходных. Для множества со-
стояний функции
g
1
вводится множество
θ
1
— множество чисел, ко-
торыми занумерованы состояния функции
g
1
(множество
θ
1
вводится
аналогично множеству
K
, определенному выше):
{
}
1 1 1
1
1
1
1 2 3
θ = θ , θ , θ , , θ
i
g
↔
K
.
Для элемента сложной дискретной структуры
F
2
:
{
}
2 2 2
2
2
2
1 2 3
θ = θ , θ , θ , ,θ
k
g
↔
K
где
θ
2
— множество чисел, которыми занумерованы состояния по-
следовательностной детерминированной функции
g
2
, которую со-
держит модель элемента
F
2
.
Для элемента сложной дискретной структуры
F
i
:
{
}
2 2 2
θ = θ , θ , θ , , θ
i
i
i
i
i
i
p
g
↔
K
где
θ
i
— множество чисел, которыми занумерованы состояния после-
довательностной детерминированной функции
g
i
, (ее содержит мо-
дель элемента
F
i
).
Таким образом,
θ
n
m
— число, которым занумеровано состояние
элемента
n
на шаге
m
вычисления функции
g
n
.
Объединим номера состояний
θ
n
m
элементов сложной дискретной
структуры
F
1
,
F
2
, …,
F
i
для первого шага вычисления последователь-
ностных функций
g
1
,
g
2
, …,
g
i
во множество {
f
1
}:
{ }
{
}
1 2 3
1
1 1 1
1
θ , θ , θ , , θ
i
f
↔
K
;
для второго шага вычисления функций — {
f
2
}:
{ }
{
}
1 2 3
2
2 2 2
2
θ , θ ,θ , ,θ
i
f
↔
K
;
для
w
-го шага вычисления функций — {
f
w
}:
{ }
{
}
1 2 3
θ , θ ,θ , , θ
i
w
w w w
w
f
↔
K
;
для
p
-го шага вычисления функций — {
f
p
}:
