Exercise 8.9 (Check of the Realizability of a Finite-State Machine –

Simple Traffic Light). Analyze the realizability of the finite-state machine for the simple road work traffic lights defined in Exercises 8.1. Detailed information about this finite-state machine is given in the mentioned exercise.

Practical tasks:

1 Load the final TVL system of Exercise 8.1.

2 What type of finite-state machine possesses the global list of phases of the simple traffic light control specified in Exercises 8.1 and shown in Fig. 8.3 a).

3 Is the finite-state machine of the simple traffic light control given as object number 1 realizable? Are there missing phases, and, if yes, how many such phases exist?