Given a unidirectional controller for a sanitizer booth. It has 2 doors, a button for entrance and a pressure sensor to spray the sanitizer. Assume each operation takes one clock cycle. i. The booth should do nothing until it receives its inputs. ii. If a person presses the button, the entrance door 1, D1 should open to admit the person and then close again. iii. If a person is detected in the booth, the spray will go on. Otherwise, the booth should do nothing. iv. Once the sanitizing is finished, the second door, D2 should be opened. v. Once the person has left, the door D2 should close again. Construct a finite state machine that models this sanitizer booth