TERMINALS: ab
VARIABLES: SABR
START: S
S->AR
S->AB
A->a
R->SB
B->b
STRING: aaabbb