X ->	x Y*
Y ->	y