"finite state machine" . . . "finite state machine" .