X ->	a X*,Y
Y ->	b