Advanced FSM Tidbits

This section does not apply to C++ users.