#finite state machine #automata theory #computer science #state diagram #FSM