“α puede ser reemplazado por β si la longitud de α es menor o igual a la longitud de β, siendo α un símbolo Terminal o una cadena vacía "z", seguido de un símbolo No Terminal X, seguido de otro símbolo Terminal o una cadena vacía "z".