Below is the feedback and provisional marks for your submission

for the core part of assignment 9.  Please note all marks are provisional until

ratified by the assessment board -- this is not an official

results transcript.

re.scala does not contain vars, returns, Arrays, ListBuffers etc?

  --> success

re.scala runs?

  --> success

 nullable(ZERO) == false

 nullable(ONE) == true

 nullable(CHAR('a')) == false

 nullable(ZERO | ONE) == true

 nullable(ZERO | CHAR('a')) == false

 nullable(ONE ~  ONE) == true

 nullable(ONE ~ CHAR('a')) == false

 nullable(STAR(ZERO)) == true

  --> success

 der('a', ZERO | ONE) == (ZERO | ZERO)

 der('a', (CHAR('a') | ONE) ~ CHAR('a')) == ALT((ONE | ZERO) ~ CHAR('a'), ONE)

 der('a', (CHAR('a') | CHAR('a')) ~ CHAR('a')) == (ONE | ONE) ~ CHAR('a')

 der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))

 der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))

 val r0 = "a" ~ "b" ~ "c"

 assert(der('a', r0) == (ONE ~ "b") ~ "c")

 assert(der('b', r0) == (ZERO ~ "b") ~ "c")

 assert(der('c', r0) == (ZERO ~ "b") ~ "c")

 val r1 = (ONE ~ "b") ~ "c"

 assert(der('a', r1) == ((ZERO ~ "b") | ZERO) ~ "c")

 assert(der('b', r1) == ((ZERO ~ "b") | ONE) ~ "c")

 assert(der('c', r1) == ((ZERO ~ "b") | ZERO) ~ "c")

 val r2 = ((ZERO ~ "b") | ONE) ~ "c"

 assert(der('a', r2) == ((((ZERO ~ "b") | ZERO) ~ "c") | ZERO))

 assert(der('b', r2) == ((((ZERO ~ "b") | ZERO) ~ "c") | ZERO))

 assert(der('c', r2) == ((((ZERO ~ "b") | ZERO) ~ "c") | ONE))

  --> success

 simp(ZERO | ONE) == ONE

 simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)

 simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')

 simp(((ONE ~ ONE) ~ ONE) ~ CHAR('a')) == CHAR('a')

 simp(((ONE | ONE) ~ ONE) ~ CHAR('a')) == CHAR('a')

 simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO

 simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')

 simp(CHAR('a') | CHAR('a')) == CHAR('a')

 simp(CHAR('a') ~ CHAR('a')) == CHAR('a') ~ CHAR('a')

 simp(ONE | CHAR('a')) == (ONE | CHAR('a'))

 simp(ALT((CHAR('a') | ZERO) ~ ONE,

          ((ONE | CHAR('b')) | CHAR('c')) ~ (CHAR('d') ~ ZERO))) == CHAR('a')

 simp((ZERO | ((ZERO | ZERO) | (ZERO | ZERO))) ~ ((ONE | ZERO) | ONE ) ~ (CHAR('a'))) == ZERO

 simp(ALT(ONE | ONE, ONE | ONE)) == ONE

 simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a')

  --> success

 val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))

 ders(("a" * 5).toList,EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))

 ders(List('b'),EVIL) == ONE

 ders(List('b','b'),EVIL) == ZERO

 matcher(EVIL, "a" * 5 ++ "b") == true

 matcher(EVIL, "a" * 50 ++ "b") == true

 matcher(EVIL, "a" * 50) == false

 matcher(EVIL, "b") == true

 matcher(EVIL, "bb") == false

 matcher("abc", "abc") == true

 matcher("abc", "ab") == true

 matcher(("ab" | "a") ~ (ONE | "bc"), "abc") == true

 matcher(ONE, "") == true

 matcher(ZERO, "") == false

 matcher(ONE | CHAR('a'), "") == true

 matcher(ONE | CHAR('a'), "a") == true

  --> success

 val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))

 size(der('a', der('a', EVIL))) == 28

 size(der('a', der('a', der('a', EVIL)))) == 58

 size(ders("aaaaaa".toList, EVIL)) == 8

 size(ders(("a" * 50).toList, EVIL)) == 8

  --> success

 simp(Iterator.iterate(ONE:Rexp)(r => SEQ(r, ONE | ONE)).drop(50).next) == ONE

    ...the Iterator produces the rexp

      SEQ(SEQ(SEQ(..., ONE | ONE) , ONE | ONE), ONE | ONE)

    where SEQ is nested 50 times.

 simp(Iterator.iterate(ONE:Rexp)(r => ALT(r, r)).drop(20).next) == ONE

    ... the Iterator produces a rexp of size 2097151

 val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))

 matcher(EVIL, "a" * 1000000 ++ "b") == true

 matcher(EVIL, "a" * 1000000) == false

  --> success

Overall mark for CW 9, Core Part

6