1.7 Manejo de errores semanticos

Un error semántico se produce cuando la sintaxis del código es correcta, pero la semántica o significado no es el que se pretendía. La construcción obedece las reglas del lenguaje, y por ello el compilador o intérprete no detectan los errores semánticos. Los compiladores e intérpretes sólo se ocupan de la estructura del código que se escribe, y no de su significado. Un error semántico puede hacer que el programa termine de forma anormal, con o sin un mensaje de error. Hablando en   términos   coloquiales, puede   hacer   que   el   equipo   se   quede   "colgado".

Los mensajes de error de la forma

*** Error 111 ***

*** Ocurrió un error ***

*** Falta declaración ***

*** Falta delimitador ***

no son útiles para el programador y no deben presentarse en un ambiente de compilación amigable y bien diseñado. Por ejemplo, el mensaje de error ‘Falta declaración’ podría reemplazarse por

*** No se ha declarado la variable Nombre ***


Los   errores   semánticos   corresponden   a   la   semántica   del   lenguaje   de programación, la cual normalmente no está descrita por la gramática. Los errores semánticos más comunes son la omisión de declaraciones. Además de estas tres clases de errores, hay otros que serán detectados por el sistema de ejecución porque el compilador ha proporcionado el código generado con ciertas acciones para estos casos.

Los errores que ocurren pueden clasificarse en cuatro categorías:

1. Errores de puntuación

2. Errores de operadores y operandos

3. Errores de palabras clave

4. Otros tipos de errores


Los errores que puede detectar el analizador sintáctico son aquellos que violan las reglas de una gramática independiente del contexto. Ya hemos mencionado que algunas   de   las   características   de   un   lenguaje   de   programación   no   pueden enunciarse con reglas independientes del contexto, ya que dependen de él; por ejemplo, la restricción de que los identificadores deben declararse previamente. Por lo tanto, los principales errores semánticos son:1. Identificadores no definidos;2. Operadores y operandos incompatibles. Es mucho más difícil introducir métodos formales para la recuperación de errores semánticos que para la recuperación de errores sintácticos, ya que a menudo la recuperación de errores   semánticos es ad   hoc.   No   obstante, puede   requerirse que, por lo menos, el error semántico sea informado al programador, que se le ignore y que, por tanto, se suprimirá la generación de código

Ejemplos de errores semánticos:
























Realizado por: Martinez Valentin Carlos 

Num. de control: 16690116



FUENTES:

·    1.- Alonso, L. (S.f). Manejo de errores semanticos. marzo 5, 2021, de studocu Sitio web: https://www.studocu.com/es-mx/document/instituto-tecnologico-de-oaxaca/lenguajes-y-automatas-ii/apuntes/1-7-manejo-de-errores-semanticos/8456915/view

·         

Comentarios

Publicar un comentario

Entradas populares de este blog

1.1 Árboles de expresiones

Imagen
Árbol de expresiones o árbol semántico.  Es una estructura jerárquica en la cual se registran las operaciones que realiza el programa fuente. En cada una de las ramas del el árbol se registra el valor o significado que este debe tener y el análisis se encarga de terminar cuál de los valores registrado en la ramas es aplicable. Los árboles de expresiones representan el código de nivel del lenguaje en forma de datos. Los datos se almacenan en una estructura con forma de árbol. Cada nodo del árbol de expresión representa una expresión.        ·           Cualquier hoja esta etiquetada solo  con un operando.             ·               Cualquier nodo interior n esta etiquetado por un operador.      ·          Nodo raíz es un operador.   Construcción de un árbol de expresión   Algoritmo   M...
Leer más

1.4 Pila semántica en un analizador sintáctico

  Las pilas y colas son estructuras de datos que se utilizan generalmente para simplificar ciertas operaciones de programación. Estas estructuras pueden implementarse mediante  arrays  o listas enlazadas. Pila: colección de datos a los cuales se les puede acceder mediante un extremo, que se conoce generalmente como tope. Las pilas tienen dos operaciones básicas:  ·   Push  (para introducir un elemento)  ·  Pop (para extraer un elemento)  Sus características fundamentales es que al extraer se obtiene siempre el último elemento que acabe de insertarse. Por esta razón también se conoce como estructuras de datos LIFO, una posible implementación mediante listas enlazadas seria insertando y extrayendo siempre por el principio de la lista.  Las pilas se utilizan en muchas aplicaciones que utilizamos con frecuencia. Las pilas y colas son estructuras de datos que se utilizan generalmente para simplificar ciertas operaciones de programación. Estas...
Leer más

1.2 Acciones semánticas de un analizador sintáctico

  E s la fase del analizador que se encarga de chequear el texto de entrada en base a una gramática dada. Y en caso de que el programa de entrada sea válido, suministra el árbol sintáctico que lo reconoce. En teoría, se supone que la salida del analizador sintáctico es alguna representación del árbol sintáctico que reconoce la secuencia de Token   suministrada por el analizador léxico. En la práctica, el analizador sintáctico también hace: •  Acceder a la tabla de símbolos (para hacer parte del trabajo del analizador semántico). •  Chequeo de tipos (del analizador semántico). •  Generar código intermedio. •  Generar errores cuando se producen. •  En definitiva, realiza casi todas las operaciones de la compilación. Este método de trabajo da lugar a los métodos de compilación dirigidos por sintaxis. 1.3 Comprobaciones de tipos en expresiones   La labor de comprobación de tipos consiste en conferir a las construcciones sintácticas del lenguaje la s...
Leer más