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"));