finite state machines 12556