AutomatonSpecification automaton6 = operator6.createFixedAutomaton();
NondeterministicAutomatonByThompsonApproach result6 =
new NondeterministicAutomatonByThompsonApproach(automaton6);
assertFalse(automaton6.isEmpty());
assertTrue(result6.accepts("\13"));
assertFalse(result6.accepts("\\1313"));
assertFalse(result6.accepts("13"));
}
/**