Aquí hay una gramática libre de contexto para expresiones enteras algebraicas sintácticamente correctas sobre las variables "x", "y" y "z":