S
→ Ac
→ Bc
→ aAbc
→ aBbc
→ aaAbbc
→ aaBbbc
→ aaabbbc