Java AutomatonSpecification Examples

Example #1

File: DigitOperator.java Project: rafip141/amu_automata_2011

  /** Główna metoda klasy. */
  @Override
  public AutomatonSpecification createFixedAutomaton() {

    AutomatonSpecification automaton = new NaiveAutomatonSpecification();
    char a = '0';
    char b = '9';
    State q0 = automaton.addState();
    State q1 = automaton.addState();
    automaton.addTransition(q0, q1, new CharRangeTransitionLabel(a, b));
    automaton.markAsInitial(q0);
    automaton.markAsFinal(q1);

    return automaton;
  }