Accept state
Redirect to:
Finite-state machine