Un analizador sintáctico (parser/parsing) es un proceso que analiza secuencias de tokens para determinar su estructura gramatical respecto a una gramática formal dada.
Un parser es así mismo un programa que reconoce si una o varias cadenas de caracteres forman parte de un determinado lenguaje, es utilizado por ejemplo en compiladores.
Un parser es así mismo un programa que reconoce si una o varias cadenas de caracteres forman parte de un determinado lenguaje, es utilizado por ejemplo en compiladores.
El analizador semántico deberá comprobar lo siguiente:
No se deben declarar en el programa fuente 2 variables con el mismo nombre (incluida la variable que se declara en la cabecera del programa y que se utiliza para que el programa pueda recibir un argumento al ser ejecutado).
Todas las variables utilizadas en un programa deberán haber sido declaradas.
La expresión utilizada en las sentencias if y while debe ser de tipo bool.
En una sentencia de asignación, el tipo de la variable asignada y el de la expresión deben ser iguales.
La sentencia break (permite salir abruptamente de un bucle), no debe aparecer fuera de una sentencia while (esto deberá comprobarse si no se hizo en la fase de análisis sintáctico).
La expresión que se le pasa como argumento a una sentencia print debe ser de tipo string.
No se deben declarar en el programa fuente 2 variables con el mismo nombre (incluida la variable que se declara en la cabecera del programa y que se utiliza para que el programa pueda recibir un argumento al ser ejecutado).
Todas las variables utilizadas en un programa deberán haber sido declaradas.
La expresión utilizada en las sentencias if y while debe ser de tipo bool.
En una sentencia de asignación, el tipo de la variable asignada y el de la expresión deben ser iguales.
La sentencia break (permite salir abruptamente de un bucle), no debe aparecer fuera de una sentencia while (esto deberá comprobarse si no se hizo en la fase de análisis sintáctico).
La expresión que se le pasa como argumento a una sentencia print debe ser de tipo string.
No hay comentarios:
Publicar un comentario