*/
public final void testCreateAutomatonFromOneAutomaton() {
AutomatonSpecification automaton = new NaiveAutomatonSpecification();
State q0 = automaton.addState();
State q1 = automaton.addState();
State q2 = automaton.addState();
automaton.addTransition(q0, q1, new CharTransitionLabel('a'));
automaton.addTransition(q1, q2, new CharTransitionLabel('b'));
automaton.addLoop(q1, new CharTransitionLabel('a'));
automaton.addLoop(q2, new CharTransitionLabel('b'));