Q. Design a virtual/digital ATM machine using the Mealy model with the following features: (1) Flashes a green light when cash is available and the machine is ready. (ii) Flashes a red light when cash is not available or there is a machine defect (iii) When a card is inserted, it asks for a pin if the card is legal or undamaged, else returns a message asking for resubmission. (correction: read legal or undamaged as legal AND damaged) (iv) If the wrong pin is entered, asks for re-entry of the pin at the first instant, when the second entry is also wrong, takes the card in, raises an alarm, and goes back to the rest state. (v) If the pin is right, prompts for an amount to be dispensed. (vi) If the amount is more than in store, gives a sign of not enough cash and goes to rest state. (vii) If the amount is less than in store, dispense the amount and get back to the rest state. Note: Provide the FSM state diagram in paperwork. Furthermore, clearly form a table and evaluate the output and the transition states. You are allowed to take as many input and output variable as possible. Rest state is the idle state of the machine. Q. Design a virtual/digital ATM machine using the Mealy model with the following features: (1) Flashes a green light when cash is available and the machine is ready. (ii) Flashes a red light when cash is not available or there is a machine defect (iii) When a card is inserted, it asks for a pin if the card is legal or undamaged, else returns a message asking for resubmission. (correction: read legal or undamaged as legal AND damaged) (iv) If the wrong pin is entered, asks for re-entry of the pin at the first instant, when the second entry is also wrong, takes the card in, raises an alarm, and goes back to the rest state. (v) If the pin is right, prompts for an amount to be dispensed. (vi) If the amount is more than in store, gives a sign of not enough cash and goes to rest state. (vii) If the amount is less than in store, dispense the amount and get back to the rest state. Note: Provide the FSM state diagram in paperwork. Furthermore, clearly form a table and evaluate the output and the transition states. You are allowed to take as many input and output variable as possible. Rest state is the idle state of the machine