Design a finite automaton for an elevator. The elevator can be at one of two floors: Ground or First. There is one button that controls the…

Design a finite automaton for an elevator. The elevator can be at one of two floors: Ground or First. There is one button that controls the elevator, and it has two values: Up or Down. Also, there are two lights in the elevator that indicate the current floor: Red for Ground and Green for First.

From the SGCL Assistant General Engineer 2021 – Written (BUET) exam, question 13 of 14.

More from this paper