560 //val r = SEQ(ALTS(List(CHAR('a'), CHAR('b'))),ALTS(List(ALTS(List(CHAR('a'), CHAR('a'))), STAR(CHAR('a'))))) |
560 //val r = SEQ(ALTS(List(CHAR('a'), CHAR('b'))),ALTS(List(ALTS(List(CHAR('a'), CHAR('a'))), STAR(CHAR('a'))))) |
561 //val r = SEQ(ALTS(List(CHAR('a'), CHAR('b'))),ALTS(List(CHAR('a'), STAR(CHAR('a')) ) )) |
561 //val r = SEQ(ALTS(List(CHAR('a'), CHAR('b'))),ALTS(List(CHAR('a'), STAR(CHAR('a')) ) )) |
562 val r = ("ab" | ( (("a")%) | "aa") ) |
562 val r = ("ab" | ( (("a")%) | "aa") ) |
563 //val r = ("a"|"b")~("a") |
563 //val r = ("a"|"b")~("a") |
564 val s = "aa" |
564 val s = "aa" |
565 for(i <- 0 to s.length-1){ |
565 for(i <- 1 to s.length-1){ |
566 val ss = s.slice(0, i+1) |
566 val ss = s.slice(0, i+1) |
567 val nangao = bders_simp_rf(ss.toList, internalise(r)) |
567 val nangao = bders_simp_rf(ss.toList, internalise(r)) |
568 val easy = (bders(ss.toList, internalise(r))) |
568 val easy = (bders(ss.toList, internalise(r))) |
569 println(bits_print(nangao)) |
569 println(bits_print(nangao)) |
570 println() |
570 println() |