Формализация процесса функционирования сложных дискретных устройств …
3
Множество индексов переменных из
Y
, входящих в
j
-ю информа-
ционную группу, обозначим:
{
}
1 2
, , , , ,
v
m j
l l
l
l
K K
,
где
m
— количество переменных, объединенных в
j
-ю информацион-
ную группу,
u
= 1, 2, 3, …,
m
.
Множество информационных слов
j
-й выходной информацион-
ной групп:
1 2
=1
= =
m
q
j
lv
l
l
lv
lm
v
E E E E E E
⋅
⋅ ⋅
⋅ ⋅
∏
K K
,
где
E
lm
=
E
— алфавит переменной
y
lv
из
j
-й выходной информацион-
ной группы,
v
= 1, 2, …,
m
.
Множество выходных букв, получаемых на схеме
S
, имеет вид:
вых
1 2
вых
=1
=
=
n
Q
Q
Q Q Q
Q
j
j
n
j
E
E E E E E
⋅
⋅ ⋅
⋅ ⋅
∏
K K
.
Макромодель функционального блока сложной дискретной
структуры устанавливает соответствие между элементами множеств
E
P
и
E
Q
согласно алгоритму функционирования блока.
Обозначим элемент множества
E
P
как
e
P
, т. е.
e
P
∈
E
P
, конечную
последовательность элементов из множества
E
P
длиной
r
, подавае-
мых на вход схемы
S
, обозначим
1 2
ε = ε ε ε ε
P P P P P
r
v
r
K K
, где
= 0 1, = 1,
P
v
e
v r
∨
.
Конечные последовательности из элементов множества
E
P
объ-
единим во множество
ε
P
r
, т. е.
ε ε
P P
r
∈
.
Аналогичным образом можно получить конечную последова-
тельность
ε
Q
r
из элементов множества
E
Q
длиной
r
. Конечные после-
довательности (слова) из элементов множества
E
Q
объединим во
множество
ε
Q
, т.е.
ε ε
Q Q
r
∈
.
Введем функцию
H
, являющуюся последовательностной функци-
ей, которая задается отображением:
: ε ε
P Q
H
→
.
Функция
H
удовлетворяет следующим условиям.
1. Для любой последовательности
ε ε
P P
r
∈
,
ε ε
Q Q
v
∈
и
( )
ε = ε
Q
P
v
r
H
,
где
1 2
ε =
Q Q Q Q
v
v
e e e
K
, справедливо
r
=
v
.
