FSM with input

This section does not apply to C++ users.