Finite State Machines

This section does not apply to C++ users.