Functional redundancy of astate graph The state graph of Example 8.5 is modified as shown in Figure 8.19. We assume the same hypotheses as in Example 8.5:

• the initial state is state 1,

• the inputs are constrained by the property 'the input c is never applied after the input b'.

Analyze this graph and determine its functional redundancies.

Transcribed Image Text:

init 1 C a 2 C b C b 3 4 b Figure 8.19. Redundant FSM