a1.addLoop(q0, new CharTransitionLabel('a'));
a1.addLoop(q1, new CharTransitionLabel('b'));
a1.addLoop(q1, new CharTransitionLabel('a'));
a1.markAsInitial(q0);
a1.markAsFinal(q1);
AutomatonSpecification a2 = new NaiveAutomatonSpecification();
State q0c = a2.addState();
State q1c = a2.addState();