Aquí, el compilador verifica si cada operador tiene operandos permitidos por la especificación del lenguaje fuente.