Gramaticas Formales Aplicacion

TABLA DE CONTENIDO







OBJETIVO GENERAL

Redactar una investigación de al menos dos cuartillas para cada caso sobre las aplicaciones de las gramáticas formales en:

a) Diseño de las etapas de análisis de un compilador para un lenguaje de programación como C, Java o Pascal.
b) Procesamiento de lenguajes naturales en el área de la inteligencia artificial.
c) Expresiones regularesen algoritmos de búsqueda de cadenas en lenguajes de programación, como Perl.

DISEÑO DE LAS ETAPAS DE ANÁLISIS DE UN COMPILADOR

Conceptualmente un compilador opera en fases. Cada una de las cuales transforma el programa fuente de una representación en otra. En la figura se muestra una descomposición típica de un compilador. En la práctica se pueden agrupar fases y las representacionesintermedias entres las fases agrupadas no necesitan ser construidas explícitamente.


Las tres primeras fases, que forman la mayor parte de la porción de análisis de un compilador, las otras dos actividades, la administración de la tabla se símbolos y el manejo de errores, se muestran en interacción con las seis fases de análisis léxico, análisis sintáctico, análisis semántico, generación de códigointermedio, optimación de código y generación de código.

De modo informal, también se llamarán "fases" al administrador de la tabla de símbolos y al manejador de errores.
Administrador de la tabla de símbolos.
Una función esencial de un compilador es registrar los identificadores utilizados en el programa fuente y reunir información sobre los distintos atributos de cada identificador. Estosatributos pueden proporcionar información sobre la memoria asignada a un identificador, su tipo, su ámbito (la parte del programa donde tiene validez) y, en el caso de nombres de procedimientos, cosas como el número y tipos de sus argumentos, el método de pasar cada argumento (por ejemplo, por referencia) y el tipo que devuelve, si los hay.

Una tabla de símbolos es una estructura de datos quecontiene un registro por cada identificador, con los campos para los atributos del identificador. La estructura de datos permite encontrar rápidamente el registro de cada identificador y almacenar o consultar rápidamente datos en un registro

Cuando el analizador léxico detecta un identificador en el programa fuente, el identificador se introduce en la tabla de símbolos. Sin embargo, normalmentelos atributos de un identificador no se pueden determinar durante el análisis léxico.

El generador de código, por lo general, introduce y utiliza información detallada sobre la memoria asignada a los identificadores.

Detección e información de errores.
Cada frase puede encontrar errores. Sin embargo, después de detectar un error. Cada fase debe tratar de alguna forma ese error, para podercontinuar la compilación, permitiendo la detección de más errores en el programa fuente. Un compilador que se detiene cuando encuentra el primer error, no resulta tan útil como debería.

Las fases de análisis sintáctico y semántico por lo general manejan una gran proporción de los errores detectables por el compilador. La fase léxica puede detectar errores donde los caracteres restantes de laentrada no forman ningún componente léxico del lenguaje. Los errores donde la cadena de componentes léxicos viola las reglas de estructura (sintaxis) del lenguaje son determinados por la fase del análisis sintáctico.

Durante el análisis semántico el compilador intenta detectar construcciones que tengan la estructura sintáctica correcta, pero que no tengan significado para la operación implicada,por ejemplo, si se intenta sumar dos identificadores. Uno de los cuales es el nombre de una matriz, y el otro, el nombre de un procedimiento.

Las fases de análisis.
Conforme avanza la traducción, la representación interna del programa fuente que tiene el compilador se modifica.

Se deberían construir componentes para el operador de varios caracteres (por ejemplo, :=) y el número 60, para...