S := A S | 'b'
A := S A | 'a'