/** 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; }