558 //println(decode(erase(as), bs1)) |
558 //println(decode(erase(as), bs1)) |
559 println(s"bs1=${bs1}, bs3=${bs3}") |
559 println(s"bs1=${bs1}, bs3=${bs3}") |
560 //println(decode(erase(a_v._1), bs3)) |
560 //println(decode(erase(a_v._1), bs3)) |
561 } |
561 } |
562 def christian_def2(){ |
562 def christian_def2(){ |
563 val a = AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b')) ) ) |
563 val a = AALTS(List(S), List(AZERO, ASEQ(List(S), AALTS(List(S), List(AONE(List(S)), ACHAR(List(S), 'c'))), ACHAR(List(S),'c') )) ) |
564 val unsimp = bsimp(bder('b',a)) |
564 //AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b')) ) ) |
565 val simped = bsimp(bder('b', bsimp(a)) ) |
565 val unsimp = bsimp(bder('c',a)) |
|
566 val simped = bsimp(bder('c', bsimp(a)) ) |
566 println(bsimp(a)) |
567 println(bsimp(a)) |
567 if(unsimp == simped){ |
568 if(unsimp != simped){ |
568 println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}") |
569 println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}") |
569 } |
570 } |
570 } |
571 } |
571 def essence_posix(){ |
572 def essence_posix(){ |
572 //val s = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"//rd_string_gen(alphabet_size, 3)//"abaa"//rd_string_gen(alphabet_size, 3) |
573 //val s = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"//rd_string_gen(alphabet_size, 3)//"abaa"//rd_string_gen(alphabet_size, 3) |