[ri4pp:2006] - Re: Za Asistenta!!! by "Bojic Petar" <rapecafa@verat.net>

Evo da ja odgovorim na ovo pitanje.
1) Kontrolna tabela kod LALR(1) parsera se konstruise po istom algoritmu kao 
i za LR(1) parser. Tj. stanje u detektoru rucki za LALR(1) parser bi mogao 
da posmatras kao da se radi o stanju iz detektora rucki za LR(1) parser i 
onda primenis isti algoritam kao i za LR(1) parser. Ovo je posledica sto je 
stanje u detektoru rucki za LALR(1) parser dobijeno spajanjem srodnih stanja 
tj. stanja sa istim jezgrom LR(1) parsera.
2) Ovo jeste objasnjeno u skriptama sa predavanja. Samo se treba malo 
udubiti u sintaksu skupovnih definicija. Ukratko: Za nultu smenu predikiconi 
simbol je epsilon. Pri operaciji GOTO predikcioni simboli iz konfiguracije 
se prepisuju u odgovarajucu konfiguraciju stanja u koje se prelazi. Pri 
dodavanju konfiguracija zatvaranja za konfiguracije u kojima se tacka nalazi 
ispred neterminala tj. pri operaciji CLOSURE predikcioni simboli u dodatoj 
konfiguraciji zatvaranja (konfiguracija zatvaranja-tacka se nalazi na 
pocetku) se dobijaju kao rezultat operacije FIRST od sentencijalne forme 
koja se nalazi iza neterminala za koji dodajemo konfiguracije zatvaranja 
ukoliko ta sentencijalna forma nije ponistiva, odnosno FIRST od te 
sentencijelne forme unija predikiconi simboli konfiguracije za koju radimo 
zatvaranje, ukoliko je sentencijalna forma ponistiva.
primer za CLOSURE
<S> -> b * <A><B><C>c, { a, b }
dodajemo sve smene koje imaju <A> na levoj strani i u te konfiguracije 
dodajemo predikcione simbole kao FIRST (<B><C>ca) Unija FIRST (<B><C>cb). 
Ovo a i b na kraju sent. formi u zagradama poticu od onih {a, b}odozgo.

Pozdrav
Pera

----- Original Message ----- 
From: "Dragoslav Plazinic" <plazo@ptt.yu>
To: <ri4pp@rti.etf.bg.ac.yu>
Sent: Thursday, September 14, 2006 8:48 PM
Subject: [ri4pp] Za Asistenta!!!


> 1) Kako se konstruise kontrolna tabela kod LALR(1) parsera?
>  Ni na predavanjima ni na vezbama nije dat algoritam za ovaj slucaj.
>
> 2)Kako se odredjuju predikcioni simboli kod LR(1) parsera?
>  Ako moze dodatno objasnjenje, jer je na vezbama receno:
> "Predikciona komponenta x konfiguracije <A> ® a · b, x označava jedan od 
> mogućih tekućih ulaznih simbola u trenutku rada parsera kada se na vrhu 
> steka kompletira ručka smene <A> ® ab." Ako moze kroz primer.
>
>
> Unapred hvala.
>
>
>
>
>
> -----------------------------------------------------------------
> unsubscribe:
>   minimalist@rti.etf.bg.ac.yu?subject=unsubscribe%20ri4pp
> -----------------------------------------------------------------