Смешанное моделирование дискретных устройств …
5
Основываясь на сделанном предположении, можно записать, что:
1) если количество входов
KA
i
°
равно количеству входов
F
i
и од-
новременно подаются одинаковые входные буквы, то входная после-
довательность автомата
KA
i
°
будет эквивалентна входной последова-
тельности
F
i
, т.е.
(
) (
)
( )
(
)
(
)
(
)
(
)
( )
(
)
(
) (
)
(
)
(
)
(
)
( )
(
)
( )
(
)
(
)
(
)
= 1, =
= 1,
&
, =
,
= 1,
,
= =
= 1,
,
= & = ;
i
i
i
i
i
i
Z i
i
i
P
Z
P
i
i
i
i
i
i
i
v v r
p p r
sttm Z KA t
sttm P t
v v r sttm Z KA t
e
p p r sttm P t
e
e e
∀
∀
→
⎛
⎞
→ ∀⎜
⎟
⎝
⎠
= ∀
o
o
o
o
o
o
o
o
o
o
(13)
2) если автомат
KA
i
°
реализует одни и те же функции, что и эле-
мент
F
i
, то последовательностные детерминированные функции
KA
i
°
и
F
i
эквивалентны, т.е.
(
)
(
)
(
)
(
)
( )
(
)
( )
( )
(
)
(
)
( )
(
)
( )
( )
(
)
=
=
,
.
i
i
i
i
i
i
i
i
i
i
i
i
i
h
h ОП Z h h
ОП Z h ОП W
ОП X
ОП X
ОП Y
∀ ∀θ → ∀
× → ×
×
× →
= ∀θ
×θ → θ
×θ →
o
o
o
o
o
o
o
o
(14)
Обозначим:
(
) (
)
(
)
(
)
(
)
( ) (
)
{
}
(
)
1 2
25 :
= 1,
,
0 = , ,
= ;
i
i
Z i
A v v r sttm Z KA t
t t
t
t t
e
∀
×
× ∀ ≥
o o
o
o
o
K
(15)
(
)
( )
(
)
( )
( )
(
)
(
) (
)
26 :
&
;
i
i
i
i
i
i
i
i
i
A h ОП Z h h
ОП Z h ОП W z v w u
∀
× → ×
×
× →
↔ ↔
o
o
o
o
o
o
o
o
o
o
o
(16)
(
)
(
)
(
)
(
)
( ) (
)
{
}
(
)
1 2
27 :
= 1,
,
0 = , ,
= ;
Pi
i
i
i
i
A p p r sttm P t
t t
t
t t
e
∀
∀ ≥
K
(17)
(
)
( )
(
)
( )
( )
(
)
(
) (
)
28 :
;
i
i
i
i
i
i
A
ОП X
ОП X
ОП Y x p y q
∀θ
× θ → θ ×
×
× θ → ↔ ↔
(18)
(
) (
)
(
)
(
)
(
)
29 :
= 1,
,
= ;
Wi
i
i
A u u n sttm W KA t
e
∀
o
o
o
o
o
(19)
(
)
(
)
(
)
(
)
30 :
=1,
,
=
Q i
i
i
i
i
A q q n sttm Q t
e
∀
.
(20)
