Universidad Nacional del Este

Facultad Politcnica
Tema
Algoritmo de Early
Profesora
Ing. Mirta Arra.
Carrera
Ingeniera de !istemas
A"o
#$%&
Integrantes'
Acosta Pereira (olando Fa)i*n
Centuri+n Talavera ,iego Fa)i*n
-+.e/ Colm*n 0orge (am+n
12eda Prieto Evert
6
ndice
Introducci+n..............................................................................................P*g.' &
Marco te+rico.....................................................................................3...P*g. 456
7ram*tica li)re de Conte8to
E2em.los
Algoritmo de Early
Caractersticas
E2em.los de algoritmo de Early
Convenciones de notaci+n en el Algoritmo de Early
Conclusi+n33333333333333333333333333.P*g'9
:i)liografa3333333333333333333333333......Pag';
6
Introduccin.
El Algoritmo de Earley constituye un mtodo universal .ara la reali/aci+n del An*lisis
!int*ctico .roceso consistente en determinar si una cadena constituida .or una serie de
com.onentes l8icos .uede ser generada .or una determinada gram*tica. El .roceso se
reali/a de acuerdo a una estrategia ascendente con filtrado descendente< en )ase a la cual
se efecta el contraste entre las reglas de .roducci+n definidas .ara la gram*tica y la frase
de entrada considerada< comen/ando .or la regla de .roducci+n de nivel su.erior< es decir<
a=uella =ue descri)e al sm)olo ra/ de la gram*tica< y a.licando de manera recursiva
a=uellas reglas m*s es.ecficas. El an*lisis sint*ctico finali/a con 8ito en caso de =ue
resulte .osi)le construir una re.resentaci+n de la frase de entrada considerada.
6
Gramtica libre de Contexto.
Una gramtica libre de contexto es un con2unto de varia)les >tam)in
conocidas como categoras no terminales< categoras sint*cticas< sm)olos no
terminales o sim.lemente no terminales? cada una de las cuales re.resenta un
lengua2e. -os lengua2es son re.resentados .or las varia)les de manera
recursiva en trminos de las mismas varia)les y de sm)olos .rimitivos
llamados terminales >tam)in conocidos como com.onentes l8icos o sm)olos
terminales?. -as reglas =ue relacionan a las varia)les se conocen como
.roducciones.
Ejemplo:
@oraci+nA B @frase sustantivaA @frase ver)alA
@frase sustantivaA B @ad2etivoA @frase sustantivaA
@frase sustantivaA B @sustantivoA
@sustantivoA B ni"o
@ad2etivoA B .e=ue"o
En donde las categoras sint*cticas >varia)les? est*n escritas entre .arntesis
en *ngulo y las terminales est*n denotadas con .ala)ras sin .arntesis.
Una gramtica libre de contexto >CFG o sim.lemente gramtica? se denota
formalmente .or G = (VN, VT, P, S)< donde VN< y VT son con2untos finitos de
varia)les y terminales res.ectivamente< P es un con2unto finito de .roducciones
y S es una varia)le es.ecial conocida como sm)olo inicial.
Ejemplo: -a gram*tica =ue utili/amos .ara definir las e8.resiones aritmticas
=ue contienen los o.eradores C y D< .uede ser denotada de manera formal
como >EEF< EC< D< >< ?<
idF< P< E?< en donde P consiste en'
E B E C E
E B E D E
E B >E?
E B id
6
Algoritmo de Early.
El algoritmo de Earley es un algoritmo no determinstico de an*lisis sint*ctico
.ara las gram*ticas li)res de conte8to descrito originalmente .or 0ay Earley.
!e ordena< a los lados de los algoritmos CGH y 7-(< entre los algoritmos =ue
usan la noci+n de re.arto >de c*lculos y de estructuras? y =ue construyen
todos los an*lisis .osi)les de una frase >y no s+lo uno de estos an*lisis?. Es
uno de los algoritmos no determinsticos =ue usan ideas de la .rogramaci+n
din*mica.
Caractersticas.
Es un algoritmo descendiente
Funciona .ara cual=uier gram*tica inde.endiente de conte8to.
Com.le2idad' 1>n&? .ara el caso general< 1>n#? .ara
gram*ticas no am)iguas< 1>n? .ara casi todas las gram*ticas
-(>I?.
Funciona muy )ien con la recursividad i/=uierda.
El algoritmo original de Earley incluye un JlooI5aKeadL.
May =ue mane2ar con cuidado reglas ti.o A
6
Convenciones de notacin en el Algoritmo de Early.
A continuaci+n se esta)lecen algunas convenciones de notaci+n =ue ser*n
usadas durante el desarrollo del Algoritmo de Earley.
N Smbolos Terminales (VT)'
-as .rimeras letras minsculas del alfa)eto< como a< b< c.
-os sm)olos de o.erador< como C< 5< etctera.
-os sm)olos de .untuaci+n< como .arntesis< coma< etctera.
-os dgitos $< %< 3< ;.
N Smbolos No Terminales (VN)'
-as .rimeras letras maysculas del alfa)eto< como A< B< C.
-a letra !< =ue cuando a.arece suele ser el sm)olo inicial.
N Smbolos Gramaticales (VN VT).
-as ltimas letras maysculas del alfa)eto< como X< Y< Z.
N Cadenas de Terminales.
-as ltimas letras minsculas del alfa)eto< como u< v< w< x< y< z.
6
N Cadenas de Smbolos Gramaticales (VN VT)*.
-as letras griegas minsculas< como O< P< Q.
Anlisis Sintctico.
E8isten dos grandes gru.os de mtodos de an*lisis sint*ctico< de.endiendo de
la direcci+n en la =ue se recorre el *r)ol sint*ctico' ,escendente y Ascendente.
Descendente' En este ti.o de an*lisis se va recorriendo el *r)ol sint*ctico
desde la ra/ Kasta las Ko2as< llegando a generar la sentencia =ue se est*
anali/ando. -a ra/
re.resenta al sm)olo inicial de la gram*tica.
scendente' !e .arte de las Ko2as y se intenta construir el *r)ol Kacia arri)a<
Kasta llegar al sm)olo inicial de la gram*tica. Este ti.o de an*lisis tam)in es
conocido como )otton5u. e intenta Kacer corres.onder las cadenas de entrada
con las inversas de las corres.ondientes derivaciones derecKas.
nlisis Sintctico !!' Una clase de an*lisis sint*ctico descendente. -a
.rimera J-R es .or el e8amen de la entrada de i/=uierda a derecKa >en ingls<
left to rigKt?< la segunda J-R es .or construir una derivaci+n .or la i/=uierda >en
ingls< leftmost derivation?.
Nota' Tam)in se Ka)la de gram*ticas --.
nlisis Sintctico !"' Una clase de an*lisis sint*ctico ascendente. -a J-R
es .or el e8amen de la entrada de i/=uierda a derecKa >en ingls< left to rigKt?<
la J(R es .or construir una derivaci+n .or la derecKa >en ingls< rigKtmost
derivation?.
Nota' Tam)in se Ka)la de gram*ticas -(. -as gram*ticas -( .ueden descri)ir
m*s lengua2es =ue las gram*ticas --.
6
Conclusin
Con el tra)a2o reali/ado se .udo ver =ue el algoritmo de Early es un algoritmo
no determinstico de an*lisis sint*ctico .ara las gram*ticas li)res de conte8to la
cual tiene una serie de instrucciones y an*lisis sint*cticos .ara reali/ar las
tareas dadas.
Adem*s utili/a una gram*tica de li)re conte8to .ara .oder re.resentar los
datos en su algoritmo.
Bibliografa
Ktt.'SSTTT.angelfire.comSart#SaurenySEarly..df
Ktt.'SS.ersonales.unican.esStirnaucacS!lidesS%&$U$9V#$ElV#$algoritmo
V#$deV#$Earley..df
6
Ktt.'SS.t.TiIi.edia.orgSTiIiSAlgoritmoWEarley
Ktt.'SSes.cyclo.aedia.netSTiIiSAlgoritmo5de5Earley