Exercise 8.10 (Check of the Realizability of a Finite-state Machine –

Extended Traffic Light). Analyze the realizability of the finite-state machine for the extended road work traffic lights defined in Exercises 8.2. Detailed information about this finite-state machine is given in the mentioned Exercise. Practical tasks 1 Load the final TVL system of Exercise 8.2.
2 What type of finite-state machines possesses the global list of phases of the extended traffic light control specified in Exercises 8.2 and shown in Fig. 8.3 b).
3 Is the finite-state machine of the extended traffic light control given an object number 1 realizable? Are there missing phases, and, if yes, how many such phases exist?