Tecnolgico de Estudios Superiores de

Jocotitln
Ingeneria en Sistemas Computacionales
Materia: Inteligencia Artificial
Proyecto: Principios para el analisis
semantico
Profesora: Ing. Eria Cortes !a"ar
Alumnos:
Jose Juan Cru" Jasso
Jean Alan Al#are" Antonio
Sergio Ernesto $uadarrama $ranados
%ndice
2
Introduccin
&esde el punto de #ista de un alumno de ingeniera en sistemas' dentro de todas
sus tareas durante el estudio de su carrera profesional' tendr (ue reali"ar el
desarrollo de un compilador.
)n compilador es un programa (ue traduce de un lengua*e a otro' en otras
pala+ras un compilador toma como entrada un programa escrito en lengua*e
fuente , produce un programa e(ui#alente escrito en lengua*e o+*eto. -./
En el presente tra+a*o se mostrara el desarrollo de la primer fase de un
compilador' la fase de anlisis l01ico -2/
El anali"ador l01ico lee la secuencia de caracteres de i"(uierda a derec3a del
programa fuente , agrupa las secuencias de caracteres en componentes l01icos.
-./
3
Antecedentes del pro+lema
4o (ue s se 3a conseguido en la actualidad es (ue los lengua*es de programacin
sean independientes de la m(uina. &e esta forma no 3ace falta crear
completamente diferentes #ersiones de un mismo programa para diferentes
m(uinas. A esta caracterstica se le llama porta+ilidad' la cual a3orra muc3o
tiempo de tra+a*o al codificar un slo programa para diferentes m(uinas' (ue en
definiti#a significa reduccin de costes.
A principios de los a5os 67' Jo3n 8acus dirigi para I.8.M una in#estigacin so+re
el lengua*e alge+raico' la cual dio como resultado el lengua*e
9:;T;A!<9:;mulae T;A!slator=. Este lengua*e puede ser considerado como el
primer lengua*e de alto ni#el. Este lengua*e fue necesario 3acerlo e*ecuta+le en
una m(uina. Surge as por primera #e" el concepto de traductor , ms
concretamente el concepto de compilador' (ue es empleado cuando el lengua*e a
traducir es de alto ni#el , el lengua*e traducido es de +a*o ni#el.
En Europa' mientras tanto' la in#estigacin en algunas uni#ersidades se centra+a
en la definicin de un lengua*e (ue fuese independiente de la m(uina. Esta
in#estigacin 3aca uso de los resultados o+tenidos por C3oms,' dentro de su
estudio de los lengua*es naturales' so+re gramticas li+res de conte1to.
4
Planteamiento del pro+lema
4o ms desea+le para un ingeniero en sistemas es (ue se pudieran crear
programas en un lengua*e lo ms cercano a nuestra forma de tra+a*ar. 4o ideal'
podra ser por e*emplo el lengua*e 3umano un lengua*e colo(uial' pero 3o, en da
esta forma de crear programas no est lo suficientemente desarrollada' aun no
e1isten lengua*es de programacin seme*antes al lengua*e del ser 3umano.
Objetivos
El o+*eti#o principal de este pro,ecto es el de anali"ar por sinta1is un te1to. Al
momento de seleccionar el algoritmo este nos mostrara si la sinta1is (ue se
muestra est escrita correctamente.
Principales:
> $enerar las estructuras de datos <r+oles sintcticos u
otras estructuras= (ue representan el programa , sir#en para el anali"ador
semntico , el generador de cdigo.
> En el caso de compilacin dirigida por sinta1is ?? llamar
al anali"ador semntico , al generador de cdigo.
Otras:
> ;eaccionar frente a los errores e intentar acotar la
propagacin de los errores <intentar e#itar (ue un error produ"ca muc3os
mensa*es de error=.
> @acer los siguientes pasos del compilador ms
independientes de la sinta1is del lengua*e.

5
MARCO TEORICO
ANLISIS L!ICO
Es la primera fase del compilador (ue se encarga de leer el cdigo fuente ,
procesarlo' tam+i0n es conocido como escaneo por su nom+re en ingl0s
<scanner=. &urante este proceso se reali"an operaciones +sicas de mane*o de
cadenas de acuerdo a ciertas reglas del lengua*e' estas reglas las conocemos en
teora computacional como e1presiones regulares.
ANLISIS SINTCTICO
4a siguiente fase de compilacin es el anali"ador sintctico <parser=' en donde se
anali"a la estructura gramatical del lengua*e fuente' estas reglas son
representadas por las gramticas li+res del conte1to , su escaneo con los r+oles
sintcticos.
ANLISIS SEMNTICO
En la tercera etapa aAn se anali"a el cdigo fuente para #erificar las reglas
semnticas' estas reglas estn representadas por la correspondencia de los tipos
de datos (ue se mane*en en el lengua*e.
6