AutomatonSpecification spec = operator.createFixedAutomaton();
assertFalse(spec.isEmpty());
assertFalse(spec.acceptEmptyWord());
AutomatonByRecursion automaton = new AutomatonByRecursion(spec);
assertFalse(automaton.accepts(" "));
assertFalse(automaton.accepts("\n"));
assertFalse(automaton.accepts("\t"));
assertFalse(automaton.accepts("\f"));
assertFalse(automaton.accepts("\u000B"));
assertFalse(automaton.accepts("\r"));