“α puede ser reemplazado por β si α pertenece a los símbolos No Terminales y β es uno de estos 3: