Finite state machines

Summary