State q0 = automaton.addState();
State q1 = automaton.addState();
automaton.addTransition(q0, q1, new CharTransitionLabel('a'));
automaton.markAsInitial(q0);
automaton.markAsFinal(q1);
MinimumNumberOfOccurencesOperator oper =
new MinimumNumberOfOccurencesOperator(3);
NondeterministicAutomatonByThompsonApproach result =