Draw an ASM chart for the following state diagram of Figure P5.33: Assume that the system stays in initial state T₀ when control input c = 0 and input X = 1. The sequence of operations is started from T₀ when X = 0. When the system reaches state T₃, it stays in T₃ indefinitely as long as c = 1; the system returns to state T₀ when c = 0.

Transcribed Image Text:

X=1 c=0 To c=1 X=0 y=0 T3 T1 Z=1 Y = 1 T2 Z=0