예제 #1
0
 public static void testSimpleEpsilon(Automate aut) {
   Utilities.pass("EMPTY", Runner.accept(aut, ""), false);
   Utilities.pass("011", Runner.accept(aut, "011"), true);
   Utilities.pass("100", Runner.accept(aut, "100"), true);
   Utilities.pass("0111", Runner.accept(aut, "0111"), false);
   Utilities.pass("0", Runner.accept(aut, "0"), false);
 }
예제 #2
0
 public static void testSimple1(Automate aut) {
   Utilities.pass("abc", Runner.accept(aut, "abc"), true);
   Utilities.pass("a", Runner.accept(aut, "a"), false);
   Utilities.pass("dba", Runner.accept(aut, "dba"), false);
   Utilities.pass("adc", Runner.accept(aut, "adc"), false);
   Utilities.pass("ab", Runner.accept(aut, "ab"), false);
 }
예제 #3
0
 public static void testZerosThenOnes(Automate aut) {
   Utilities.pass("EMPTY", Runner.accept(aut, ""), true);
   Utilities.pass("1", Runner.accept(aut, "1"), true);
   Utilities.pass("0", Runner.accept(aut, "0"), true);
   Utilities.pass("000", Runner.accept(aut, "000"), true);
   Utilities.pass("0011", Runner.accept(aut, "0011"), true);
   Utilities.pass("00101", Runner.accept(aut, "00101"), false);
   Utilities.pass("10", Runner.accept(aut, "10"), false);
 }
예제 #4
0
 public static void testDigicode(Automate aut) {
   Utilities.pass("EMPTY", Runner.accept(aut, ""), false);
   Utilities.pass("aabc", Runner.accept(aut, "aabc"), true);
   Utilities.pass("abcaabc", Runner.accept(aut, "abcaabc"), true);
   Utilities.pass("aabcabc", Runner.accept(aut, "aabcabc"), false);
 }