Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

MANEJO DE ERRORES SEMÁNTICOS

No description
by

marisela meza molina

on 30 September 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of MANEJO DE ERRORES SEMÁNTICOS

MANEJO DE ERRORES SEMÁNTICOS


ANALISIS SEMANTICO
TIPOS DE ERRORES
MANEJO DE ERRORES SEMANTICOS
Utiliza el árbol sintáctico
y la formación en la tabla de símbolos para comprobar la consistencia semántica del programa fuente con la definición del lenguaje
se encarga de comprobar restricciones de tipo y otras limitaciones semánticas y preparar la generación de código.
La salida “teórica” de la fase de análisis semántico sería un árbol semántico. Consiste en un árbol sintáctico en el que cada una de sus ramas ha adquirido el significado que debe tener.
 Léxicos
 Sintácticos
 Semánticos
 Lógicos
Error Semántico
*Se declaró X antes de usarlo?
*Se declaró x pero no se usa?
*La referencia a una posición en un array está dentro de sus límites?
Errores Semánticos:
*Serrano Acosta
*Santos Aguilar
*Cardenás López
*Meza Molina

ÁRBOL SINTÁCTICO
 Léxicos
como escribir mal un identificador, palabra
clave u operador.
Sintácticos
como una expresión aritmética con paréntesis no equilibrados
Semánticos
como un operador aplicado a un operando incompatible.
Lógicos
como una llamada infinitamente
recursiva
1. Identificadores no definidos;
2. Operadores y operandos incompatibles.

para corregir un error semántico es intentar encontrar una correspondencia entre el código del programa y el comportamiento que se observa.
Primer Paso
Operaciones en Comprobacion de Tipos
*conversión de tipos
*coerción
*sobrecarga de operadores
*funciones polimórficas
DETECCIÓN E INFORMACION
COMO:
Comprobación
de Tipos
Comprobación
de Unicidad
Comprobación
de Flujo de
Control
Modo Pánico
El AS desecha componentes léxicos hasta encontrar un carácter de sincronización.
Nivel de Frase
utiliza una corrección de caracteres adyacentes, ya sea por inserción, eliminación o intercambio
Producciones
de Error
Se pueden generar gramáticas para generar producciones de error y así de esta forma seguir con el proceso.
Corrección
Global
sería recomendable que un traductor hiciera el mínimo de cambios para procesar una entrada inválida.
**CONCUSIONES**
-un comprobador de tipos debe informar de la naturaleza y posición del error y recuperarse.
-Es más difícil introducir métodos para la recuperación de errores semánticos.
-El tipo de error más obvio es el sintáctico, en cambio los errores semánticos son más sutiles.
GRACIAS
POR SU
ATENCION
Estrategias
Recuperación
Errores
Full transcript