Equations Over Finite State Machines - The Unknown Component Problem: Theory and Applications - page 58

a

v 1

e 1

v 1 ,v 2 u 1

c 1

a 1 ,c 2 b 1

u 2

v 2

d 1

u 1

u 2

e 4

u 1

v 1

b 4

b 2

v 2

v 2

u 1

d 4 ,aF,c 4

aF, d 2 ,c 4

v 1 u 2

v 1 , v 2

u 2

v 1 ,v 2

u 1

eF

e 2

cF

bF

v 1

v 2

dF

b

u 1 ,v 1 ,v 2

v 1

e 1

v 1 ,v 2

u 1

dc

a 1 ,c 2 c 1 b 1 u 2

v 1

u 2 ,v 1 ,v 2

d 1

u 2

v 1 ,u 2

u 1

u 1 ,v 1 ,v 2

dc

u 2

u 1 ,u 2

v 1 ,v 2

e 4

dc

−

v 1

b 4

b 2 v 2 u 2 u 1

v 2

u 2

aF, d 2 ,c 4 d 4 ,aF,c 4

u 1

u 1 ,v 1 ,v 2

v 1 u 2

v 1 ,v 2

u 2

u 2

v 1 ,v 2

u 1 ,u 2 u 1

cF eF

bF

e 2 v 1

u 2 ,v 1 ,v 2 u 1 ,u 2

dc v 2

u 1 ,v 1 ,v 2

dF

dc

dc

\ .IO/ ? / * U [ V / + U [ V ;( b )FAof

Fig. 3. 12 Illustration of Exampl e 3.29 .( a )FAof.A \ .C

.A \ .C \ .IO/ ? / * U [ V / + U [ V