code: public int add(Object label) {
          ensureCapacity(used);
          states[used] = new State(label);
          return used++;
      }
docs: Inserts a new states to the automaton. New states are
  allocated at the end.
  @param label label for the state created.