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