-- Apr 8 In-Class Exercise Thread
- a, a, {}, {}
- a, aa, {}, {aa}
- a, aaa becomes Aa, {A -> aa}, {Aa}
- a, Aaa becomes AA, {A -> aa marked}, {AA}
- a, AAa, {A -> aa marked}, {AA, Aa}
- a, AAA becomes BA, {A -> aa marked, B -> AA}, {BA}
- a, BAa, {A -> aa marked, B -> AA}, {BA, Aa}
- a, BAaa becomes BAA becomes BB, {A -> aa marked, B -> AA marked}, {BB}
- a, BBa, {A -> aa marked, B -> AA marked}, {BB, Ba}
- a, BBaa becomes BBA, {A -> aa marked, B -> AA marked}, {BB, BA}
- a, BBAa, {A -> aa marked, B -> AA marked}, {BB, BA, Aa}
- a, BBAaa becomes BBAA becomes BBB, {A -> aa marked, B -> AA marked}, {BB}
- a, BBBa, {A -> aa marked, B -> AA marked}, {BB, Ba}
- a, BBBaa becomes BBBA, {A -> aa marked, B -> AA marked}, {BB, BA}
- a, BBBAa, {A -> aa marked, B -> AA marked}, {BB, BA, Aa}
- a, BBBAaa becomes BBBAA becomes BBBB becomes CC, {A -> aa marked, B -> AA marked, C -> BB}, {BB, BA, Aa}
Grammar: {A -> aa marked, B -> AA marked, C -> BB, S -> CC}
(
Edited: 2020-04-08)
# a, a, {}, {}
# a, aa, {}, {aa}
# a, aaa becomes Aa, {A -> aa}, {Aa}
# a, Aaa becomes AA, {A -> aa marked}, {AA}
# a, AAa, {A -> aa marked}, {AA, Aa}
# a, AAA becomes BA, {A -> aa marked, B -> AA}, {BA}
# a, BAa, {A -> aa marked, B -> AA}, {BA, Aa}
# a, BAaa becomes BAA becomes BB, {A -> aa marked, B -> AA marked}, {BB}
# a, BBa, {A -> aa marked, B -> AA marked}, {BB, Ba}
# a, BBaa becomes BBA, {A -> aa marked, B -> AA marked}, {BB, BA}
# a, BBAa, {A -> aa marked, B -> AA marked}, {BB, BA, Aa}
# a, BBAaa becomes BBAA becomes BBB, {A -> aa marked, B -> AA marked}, {BB}
# a, BBBa, {A -> aa marked, B -> AA marked}, {BB, Ba}
# a, BBBaa becomes BBBA, {A -> aa marked, B -> AA marked}, {BB, BA}
# a, BBBAa, {A -> aa marked, B -> AA marked}, {BB, BA, Aa}
# a, BBBAaa becomes BBBAA becomes BBBB becomes CC, {A -> aa marked, B -> AA marked, C -> BB}, {BB, BA, Aa}
Grammar: {A -> aa marked, B -> AA marked, C -> BB, S -> CC}