AutomatonByRecursion automaton = new AutomatonByRecursion(spec);
assertTrue(automaton.accepts("0"));
assertTrue(automaton.accepts("9"));
assertTrue(automaton.accepts("1"));
assertTrue(automaton.accepts("7"));
assertTrue(automaton.accepts("5"));
assertFalse(automaton.accepts(""));
assertFalse(automaton.accepts("a"));
assertFalse(automaton.accepts("b"));
assertFalse(automaton.accepts("93"));
assertFalse(automaton.accepts("100"));