automaton.addTransition(q0, q1, new CharTransitionLabel('a'));
automaton.addTransition(q0, q2, new CharTransitionLabel('b'));
automaton.markAsInitial(q0);
automaton.markAsFinal(q1);
automaton.markAsFinal(q2);
FixedNumberOfOccurrencesOperator oper =
new FixedNumberOfOccurrencesOperator(3);
NondeterministicAutomatonByThompsonApproach result =