* Test automatu od 0 do 13.
*/
public final void testcreateFixedAutomatonFrom0() {
NumericalRangeOperator spec = new NumericalRangeOperator(0, 13);
NondeterministicAutomatonByThompsonApproach automaton =
new NondeterministicAutomatonByThompsonApproach(spec.createFixedAutomaton());
assertTrue(automaton.accepts("0"));
assertTrue(automaton.accepts("1"));
assertTrue(automaton.accepts("13"));
assertTrue(automaton.accepts("12"));
assertTrue(automaton.accepts("10"));
assertTrue(automaton.accepts("5"));
assertTrue(automaton.accepts("7"));
assertFalse(automaton.accepts(""));
assertFalse(automaton.accepts("14"));
assertFalse(automaton.accepts("100"));
assertFalse(automaton.accepts("113"));
assertFalse(automaton.accepts(" 0 "));
}