3 Calculate F(s, ds) = max2(

x,y) F(x, y, s, ds) as object number 4.

Calculate the stable states of the asynchronous finite-state machine given by the following TVL in ODA-form

Transcribed Image Text:

Y $1 82 83 ds1 ds2 ds3 0 0 - 0 0 0 0 0 1 1 0 0 10 1 1 0 0 1 1 1 - 01 0 0 1 F(x, y, s, ds) = 0 10 10 0 1 1 1 1 0 1 0 1 1 1 10 1 1 1 0 1 0 1 1 000 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0