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