Q$4$: The following is the Control and Datapath of an embedded system in a train subway controlling the turnstile, which releases $($opens$)$ when two tokens are deposited. The token i is an external input connected to token which is an internal input indicating if a token is deposited or not. The output tokens, Id is initially set to $1$ awaiting the deposit of tokens. The tokens register is not loaded once the number of tokens received is two. The release $\_$o output is set once the number of tokens received is equal to $2.$

$($a$)$ Draw the FSM state diagram for this system.

$($b$)$ Draw an ASMD flow chart.

$($c$)$ Write the FSM truth tables and write the logical experssions for all state variables and outputs.