finite state machines section 4 7565241