Design a finite state machine for an elevator. The elevator can be at one of two floors: first or second. There is two buttons that controls the elevator SW1 and SW2. Also, there are two lights in the elevator that indicate the current floor: Red for first floor, and blue for second floor. At each time step, the controller checks the current floor and current input, changes floors and lights in the obvious way.