NoDigitOperator operator = new NoDigitOperator();
AutomatonSpecification spec = operator.createFixedAutomaton();
assertFalse(spec.isEmpty());
assertFalse(spec.acceptEmptyWord());
AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
assertFalse(noDigitAutomaton.accepts("0"));
assertFalse(noDigitAutomaton.accepts("1"));
assertFalse(noDigitAutomaton.accepts("2"));
assertFalse(noDigitAutomaton.accepts("3"));
assertFalse(noDigitAutomaton.accepts("4"));
assertFalse(noDigitAutomaton.accepts("5"));
assertFalse(noDigitAutomaton.accepts("6"));
assertFalse(noDigitAutomaton.accepts("7"));
assertFalse(noDigitAutomaton.accepts("8"));
assertFalse(noDigitAutomaton.accepts("9"));
assertFalse(noDigitAutomaton.accepts("12"));
assertFalse(noDigitAutomaton.accepts("123"));
assertFalse(noDigitAutomaton.accepts("abc"));
assertTrue(noDigitAutomaton.accepts("a"));
assertTrue(noDigitAutomaton.accepts("b"));
assertFalse(noDigitAutomaton.accepts(""));
}