[ri4pp:2007] - Kontrolna tabela kod LR(1) i LALR(1) by "Vladimir Vukovic" <vlajkogm@gmail.com>

Krenuo sam da radim parsiranje od dna ka vrhu, i naisao sam na sledece
nedoumice.Radi se konstrukciji kontrolne tabele za LR(1) i LALR(1) automat.

U pravilima za popunjavanje ovih tabela izmeju ostalog se kaze:

ako se radi o nultoj smeni i <S'>→<S>*--| onda je akcija ACCEPT. Ovo je
ispunjeno u zadatku 4.2.2. koji se nalazi u vezbama i kod Joce i u novim
materijalima kod asistenta Marka Bojovica. Medjutim kod Joce to nije slucaj
u zadacima sa sledecim gramatikama:



1.      <S> → b<A>

2.      <S> → <X>a

3.      <X> →

4.      <A> → <X>



1.      <S> → a<X>a

2.      <S> → b<X>b

3.      <X> → I

Gde je akcija ACCEPT tek u skupu --|0 gde imamo <S'>→<S>--|* i to u koloni
za ulazni simbol --|

Dakle, kako da konsrtuisemo kontrolnu tabelu, prema pravilu i zadatku iz
zbirke koji se nalazi u materijalima oba asistenta, ili kao sto je Joca to
realizovao u drugim zadacima?

Nadam se da ste razumeli sta me interesuje, ako vam nije dovoljno jasno,
recite kako bih vam poslao cele zadatke sa komentarima gde se konstruisanje
ovih kontrolnih tabeli razlikuje.

Pozdrav i hvala unapred

Vlajko




--
--------------------------------------------------------------
Vladimir Vukovic
Faculty of Electrical Engineering
Board of European Students of Technology
FundRaising Responsible
mobile: +381 63 600 759
--------------------------------------------------------------