G -> S
S -> aSb
S -> ab
