c FSM libraries do exist. So, the question
  is:</p>

  <h3>Why not use a dynamically configurable FSM library for all state
  machines?</h3>

  <p>One might argue that a dynamically configurable FSM framework is all one
  ever needs because <b>any</b> state machine can be implemented with it.
  However, due to its nature such a framework has a number of disadvantages
  when used to implement static machines:</p>

  <ul>
    <li>No compile-time optimizations and validations can be made. For
    example, Boo