-- Apr 8 In-Class Exercise Thread
Letter Aux Production table Hash
a a {} {}
a aa {} {aa}
a aaa -> Aa {A -> aa} {A}
a Aaa {A -> aa} {A, Aa}
a Aaaa -> AaA {A -> aa marked} {A, Aa}
a AaAa ->BB {A -> aa marked, B -> Aa} {BB}
a BBa. {A -> aa , B -> Aa} {BB, Ba}
a BBaa -> BBA {A -> aa marked, B -> Aa} {BB, BA}
a BBAa -> CB {A -> aa marked, B -> Aa marked, C -> BB} {BB}
a CBa -> {A -> aa , B -> Aa, C -> BB} {CB, Ba}
a CBaa -> CBA {A -> aa, B -> Aa, C -> BB} {CB, BA}
a CBAa -> CC {A -> aa , B -> Aa, C -> BB} {CC}
a CCa {A -> aa , B -> Aa , C -> BB } {CC, Ca}
a CCaa -> CCA {A -> aa , B -> Aa , C -> BB } {CC, CA}
a CCAa -> CCB {A -> aa, B -> Aa , C -> BB } {CC, CB}
a CCBa {A -> aa, B -> Aa , C -> BB } {CC, CB, Ba}
Grammar: {A -> aa marked, B -> AA marked, C -> BB, S -> CC}
(
Edited: 2020-04-13)
Letter Aux Production table Hash
a a {} {}
a aa {} {aa}
a aaa -> Aa {A -> aa} {A}
a Aaa {A -> aa} {A, Aa}
a Aaaa -> AaA {A -> aa marked} {A, Aa}
a AaAa ->BB {A -> aa marked, B -> Aa} {BB}
a BBa. {A -> aa , B -> Aa} {BB, Ba}
a BBaa -> BBA {A -> aa marked, B -> Aa} {BB, BA}
a BBAa -> CB {A -> aa marked, B -> Aa marked, C -> BB} {BB}
a CBa -> {A -> aa , B -> Aa, C -> BB} {CB, Ba}
a CBaa -> CBA {A -> aa, B -> Aa, C -> BB} {CB, BA}
a CBAa -> CC {A -> aa , B -> Aa, C -> BB} {CC}
a CCa {A -> aa , B -> Aa , C -> BB } {CC, Ca}
a CCaa -> CCA {A -> aa , B -> Aa , C -> BB } {CC, CA}
a CCAa -> CCB {A -> aa, B -> Aa , C -> BB } {CC, CB}
a CCBa {A -> aa, B -> Aa , C -> BB } {CC, CB, Ba}
Grammar: {A -> aa marked, B -> AA marked, C -> BB, S -> CC}