state machine

  1. REDIRECT Finite-state machine {{R short}}