Hardware Reference
In-Depth Information
a
v
1
z
1
/o
1
v
1
z
2
/o
2
v
1
z
1
/o
1
v
1
z
2
/o
2
v
1
z
1
/o
1
v
1
z
2
/o
2
v
1
z
1
/o
1
v
2
z
1
/o
1
v
1
z
2
/o
2
v
2
z
2
/o
2
s
0
s
0
s
1
s
0
s
2
s
0
s
1
s
2
v
2
z
1
/o
1
v
2
z
2
/o
2
v
2
z
1
/−
v
2
z
2
/−
v
1
z
1
/o
2
v
1
z
2
/o
1
v
2
z
1
/o
1
v
2
z
2
/o
2
v
1
z
1
/o
2
v
1
z
2
/o
1
s
2
−−/−
b
z
1
/o
1
z
2
/o
2
z
1
/o
1
z
2
/o
2
z
1
/o
1
z
2
/o
2
z
1
/o
1
z
2
/o
2
z
1
/o
1
z
2
/o
2
s
0
s
0
s
1
s
0
s
2
s
0
s
1
s
2
z
1
/o
1
z
2
/o
2
z
1
/o
1
z
1
/o
2
z
2
/o
1
z
2
/o
2
z
1
/o
1
z
2
/o
2
z
1
/o
2
z
2
/o
1
s
2
−−/−
c
z
1
/o
1
z
1
/o
1
z
1
/o
1
z
2
/o
2
z
2
/o
2
z
2
/o
2
s
0
s
1
s
3
z
1
/o
2
z
2
/o
1
z
1
/o
2
z
2
/o
1
d
s
0
s
2
z
1
/o
1
z
2
/o
2
−−/−
M
S
Fig. 14.6
(
a
)
Permissible
transitions
w.r.t.
input
alphabet V of
largest
solution
D
.M
S
/
d
M
S
/
#
Z
O
, i..e,
M
S
D
.M
S
/
d
#
V
Z
O
from Example
14.6
;(
b
) .
#
V
Z
O
restricted to input
M
S
/
d
M
S
/
#
Z
O
;(
d
)DFSM
alphabet Z and output alphabet O;(
c
) .
#
Z
O
, determinization of .
M
S
/
d
#
Z
O
contained in .
from
f
s
0
;s
1
g
to
f
s
2
g
, and the transitions
v
2
z
1
=o
2
and
v
2
z
2
=o
1
from
f
s
0
;s
1
;s
2
g
to
f
s
2
g
(see Fig.
14.6
a), and we project over the input alphabet Z (see Fig.
14.6
b).
The determinization of the previous projection has 4 states and it is shown in
Search WWH ::
Custom Search