Q$4)$

Create a finite state machine $($FSM$)$ modeling an entry control system for a

parking lot. The parking lot has a limited capacity, and when vehicles want to

enter, the empty parking spaces in the parking lot need to be checked. The FSM

consists of three states: "Empty", "Full", and "Almost Full". The initial state is

"Empty". In each state, the system is triggered by a specific event $($e$.$g$.,$ vehicle

entry or vehicle exit$),$ resulting in state changes. Draw the FSM diagram and

explain the necessary operations for each state.