И.В. Рудаков
6
( )
λ δ
P
r
% %
в качестве состояний имеет множество
K̃
и для момента вре-
мени
t
задается соотношениями:
%
(
)
(
)
(1) =
(1) = φ ( ), ( )
( ) = ψ ( ), ( )
v
P
Q
P
k
k
k
k t a t
a t
k t a t
⎧
⎪⎪
⎨
⎪
⎪⎩
%
%
%
% %
% %
%
%
,
(3)
где
s
≥
t
+
τ
,
s
<
t
';
t
' — время поступления следующей за
ã
P
(
t
) буквы
из
Ã
P
;
ã
Q
(
t
) — значение функции
( )
λ δ
P
r
% %
в момент времени
t
;
k̃
(
t
) —
номер состояния функции
( )
λ δ
P
r
% %
в момент времени
t
.
Установим взаимно-однозначное соответствие между соответ-
ствующими входами
S̃
и входами
S
. Занумеруем эти входы в соответ-
ствии с нумерацией входов схемы
S
:
i
1
,
i
2
, …,
i
n
, где
i
p
— номер
p
-го
входа
S
,
p
= 1, 2, …,
n
.
Припишем схеме
S̃
последовательностную функцию с задержкой
λ
̃
(
ũ
1
,
ũ
2
, …,
ũ
n
), иначе входам
S̃
припишем переменные из множества
Ũ
, а состояние выхода
S̃
определяется следующим образом: если на
вход
S̃
поступает слово
δ
P
r
%
, то на выходе
S̃
имеем слово
( )
δ = λ δ
Q
P
r
r
%
% %
.
Смысл элементов множества
Ã
, которые являются алфавитом пере-
менных множества
Ũ
= {
ũ
1
, ũ
2
, …}, уточним в соответствии с правилом:
1) если
ũ
p
=
I
,
p
= 1, 2, …,
n
, то на вход с номером
p
схемы
S
по-
ступает входная буква
p
w
e
, соответствующая операнду, который под-
лежит обработке в данном такте. В этом случае на вход с номером
p
схемы
S̃
поступает сообщение;
2) если
ũ
p
= ¬
I
,
p
= 1, 2, …,
n
, то на вход с номером
p
схемы
S
по-
ступает входная буква
p
w
e
, не соответствующая операнду, который
подлежит обработке в данном такте. В этом случае на вход с номе-
ром
p
схемы
S̃
не поступает сообщение.
При поступлении на вход схемы
S̃
входной буквы
p
w
a
%
, а на вход
схемы
S
— входной буквы
p
w
e
соответственно переменная, припи-
санная выходу схемы
S̃
, определяется по правилу:
1) если состояние выхода
S̃
равно
I
, то на выход
S
поступает выход-
ная буква
(
)
= ψ ( ),
Q
P
w
w
e
k w e
, т.е. на выходе
S̃
появляется сообщение;
2) если состояние выхода
S̃
равно ¬
I
, то на выход
S
поступает вы-
ходная буква
(
)
ψ ( ),
Q
P
w
w
e
k w e
≠
, т. е. на выходе
S̃
не появляется сооб-
щение.
