State q1 = subautomaton.addState();
State q2 = subautomaton.addState();
subautomaton.addTransition(q0, q1, new CharTransitionLabel('a'));
subautomaton.addLoop(q1, new CharTransitionLabel('b'));
subautomaton.addTransition(q1, q2, new CharTransitionLabel('a'));
subautomaton.markAsInitial(q0);
subautomaton.markAsFinal(q2);
DoNothingOperator operator = new DoNothingOperator();
NondeterministicAutomatonByThompsonApproach automaton =
new NondeterministicAutomatonByThompsonApproach(