Compiladores. Exemplo First/Follow. proc Follow(B N) Gramática LL(1) proc First(α: string of symbols) Observações First/Follow

Transcrição

1 Repet { pro First(α: string of symols) Compildores nálise sintáti (3) nálise LL(1) om tel preditiv. // sejα X 1 X 2 X 3 X n if X 1 T then // so simples onde X 1 é um terminl First(α) := {X 1 else { // X 1 é um não-terminl First(α) = First{X 1 \ {ε; for (i=1 ; i<=n ; i++) { if ε is in First(X 1 ) nd in First(X 2 ) nd in First(X i-1 ) First(α) := First(α) First(X i ) \ {ε if (α =>* ε) then First(α) := First(α) {ε until no hnge in ny First(α) pro Follow( N) Follow() := {; Repet foreh p P do { // Vrre s produções se p == αβ { Follow() := Follow() First(β)\{ε; if ε First(β) then Follow() := Follow() Follow(); end se p == α Follow() := Follow() Follow(); until no hnge in ny Follow(N) Exemplo First/Follow XYZ X X ε Y YZX d Z ezye f First(X) = {, ε Follow(X) = {, d,, e, f First(Y) = {, d Follow(Y) = {e, f First(Z) = {e, f Follow(Z) = {,, d First() = {,, d Follow() = { Oservções First/Follow ó terminis entrm em First e Follow. O lgoritmo de álulo de First(α): É trivil qundoαéum terminl t. vrre s produções X tω qundo α é um não-terminl X; é hto qundo o iníio de ume derivção de X deriv emε. Inluiεpens qundo X pode derivr emε. O lgoritmo de álulo de Follow(X) É reservdo os não-terminis X Inlui o em lguns sos triviis (X == o strt ) Vrre s produções onde X pree à direit ( ωx ω ) É hto qundo X pree no fim (ou logo ntes de lgo que deriv emε) NUNC inlui ε Grmáti LL(1) Condições neessáris: sem migüidde sem reursão esquerd Um grmáti G é LL(1) sse α β * t 1. First(α) First(β) = 2. α * ε implies!(β * ε) 3. α * ε implies First(β) Follow() = LL(1) = leitur Left -> right + derivção mis esquerd (Left) + uso de 1 token lookhed. 1

2 nálise top-down om tel preditiv Os dois métodos presentdos té gor pr fzer nálise desendente usm reursividde. Cd não-terminl tem um proedimento ssoido; Chmds om ou sem retroesso. Pr grmátis LL1 não tem retroesso. Chmds reursivs usm um pilh implíit pilh ds hmds! oreusto! Idéi: de-reursifir o proedimento: Us-se um pilh pr rmzenr os não-terminis enontrdos; Us-se um tel pr orientr s derivções. Reonheedor preditivo om Pilh Tem um uffer em entrd; mr seu fim. Tem um fluxo de síd; Um pilh ujo fundo é mrdo por Iniilizd om (trt) Um tel sintáti preditiv M Pilh 0 * 1 0 Prser preditivo top-down Tel uffer de entrd íd Funionmento do prser ej X o símolo no topo d pilh ej o símolo de entrd (terminl!) nlisr 1. e X = e = : pr e reonheeu um senteni. 2. e X =!= : desempilh X e vnç de um símolo n entrd. 3. e X é não-terminl: Consult tel M(X, ) e for vzi: e ontém X -> UVW, então sustitui n pilh X por UVW (U no topo). lgoritmo pr onstruir tel Re-esrever grmáti pr stisfzer ondições de LL(1) Clulr os onjuntos First e Follow Pr d produção α 1. Pr d First(α) inluir produção αem M[,] 2. e ε First(α) inluir produção αem M[,] pr d em Follow() 3. e ε First(α) e Follow() inluir αto M[,] Tods entrds não definids são erros tel preditiv M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε First() = { Follow() = { Exemplo de tel M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε First() = { Follow() = { 2

3 Exemplo de tel M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε First() = { Follow() = { Exemplo de tel M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε First() = { Follow() = { Exemplo de tel M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε ε First() = { Follow() = { Exemplo de tel M(X, t) Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε ε First() = { Follow() = { Exemplo de tel M(X, t) Usndo tel Tel i-dimensionl: Dimensão 2: Crtere d entrd (terminl) t entrd (X,t) ontém regr de produção plir ε ε First() = { Follow() = { tring: Pilh Entrd ção -> sr -> -> sr sr -> ε sr sr, suesso 3

4 E TE E +TE ε T FT T *FT ε F (E) Id Mis um exemplo... ímolo E E T T F First {(, id {+, ε {(, id {*, ε {(, id Follow {, ) {, ) {+,, ) {+,, ) {*, +,, ) XYZ X X ε Y YZX d Z ezye f Exemplo LL(1) Construir Tel nlisr dff First(X) = {, ε Follow(X) = {, d,, e, f First(Y) = {, d Follow(Y) = {e, f First(Z) = {e, f Follow(Z) = {,, d First() = {,, d Follow() = { Oservção sore Tel tel indi se há migüidde! Mis de um regr num entrd! oluções? Tornr grmáti LL(1) Eliminr miguidde, reursividde... Ver os slides seguintes. Usr um heurísti pr desemptr s regrs Qul? Usr outros lgoritmos do que os top-down! Exemplo totl: if... Then... Else: i E t i E t e E Trnsformções de GLCs Eliminção de produções vzis Eliminção de reursividde à esquerd: reursão diret reursão indiret Ftorção de um grmáti Eliminção de produções vzis (1) Ojetivo: eliminr produções d form ε. lgoritmo: sej G = (N,T,P,) um GLC Etp 1: onstruir N ε, o onjunto de não-terminis que germ plvr vzi: N ε = { ε ; Repit N ε = N ε {X X X 1...X n P tq X 1,...,X n N ε té que o rdinl de N ε não umente. Eliminção de produções vzis (2) Etp 2: onstruir o onjunto de produções sem produções vzis: ger G 1 = (N,T,P 1,), onde P 1 é onstruído omo segue: P 1 = { α α ε; Repit Pr tod α P 1 e X N ε tl que α = α 1 Xα 2 e α 1 α 2 ε Fç P 1 = P 1 { α 1 α 2 té que o rdinl de P 1 não umente 4

5 Eliminção de produções vzis (3) Eliminção de reursividde à esquerd Etp 3: inluir gerção d plvr vzi, se neessário. e plvr vzi pertene à lingugem, então grmáti resultnte é G 2 = (N,T,P 2,), onde P 2 = P 1 { ε Exemplo Com plvr vzi X X X ε em plvr vzi X X X Os: pode ind hver reursão indiret! E -> E+T T T -> T*F F F -> (E) Id Exemplo regr E -> E+T T se torn: E -> TE E -> +TE ε regr T- > T*F F se torn: T -> FT T -> *FT ε Convertendo reursão esquerd pr reursão direit Introduzir Y X X X C X Y CY Y Y Y ε Ftorção de um grmáti Elimin indeisão de qul produção plir qundo dus ou mis produções iniim om mesm form sentenil αβ 1 αβ 2 e torn: αx X β 1 β 2 Exemplo de Ftorção Esquerd Cmd if Expr then Cmd else Cmd Cmd if Expr then Cmd Cmd Outro Ftorndo esquerd: Cmd if Expr then Cmd ElseOp Cmd Outro ElseOp else Cmd ε 5

6 Gerenimento de Erros Reltr erros & reuperr Reltr erros ssim que possível Mensgens de erro dequds Continu pós o erro Evitr st de erros Nível-Frse (lol) x Modo-Pânio Nível frse: tent-se lterr UM símolo pr reuperr. Modo pânio: pul x tokens de entrd té poder voltr fzer nálise. = té enontrr um token de sinronizção. Reuperção em Modo Pânio Pul tokens té que um onjunto de sinronizção é enontrdo Follow() ( sendo no topo d pilh) ímolos de lt hierrqui n grmáti {, for, while, if First() Epsilon produção Pop/Insert um terminl no topo d pilh. diione ções de sinroni pr tel umário nálise top-down possiilit o reonheimento efiiente e simples de grmátis LL(1): Implementção preditiv om tel. sed nos álulos dos onjuntos First/Follow Os: têm sos que não form trtdos (e.g. o + ) Limitção: Qundo grmáti não é LL(1)! Por isso: us-se tmém nálise sendente (ottom-up). 6