X ->	x (X|Y)*
Y ->	y