[離散]第十三章 精選範例6 p13-46

我導出的式子跟解答不一樣
麻煩幫我看一下 看有什麼錯誤
S為起始符號 N{A,B} T{a,b}
s -> AaB
A -> aA
A -> a
B -> aB
B -> a
麻煩了?