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