[ri4pp:2007] - Re: Kontrolna tabela kod LR(1) i LALR(1) by "Marko Bojovic" <marko.bojovic@etf.bg.ac.yu>

Kolega,

oba nacina su ispravna. Znaci, u parserskim tabelama mozete imati posebne
redove za stanja <S>0 i --|0, pri cemu se accept nalazi u redu --|0, ili
samo red za <S>0 u kojem se nalazi accept.

Pozdrav,
Bojovic Marko

> 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'>$B"*(B<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"*(B b<A>
>
> 2.      <S> $B"*(B <X>a
>
> 3.      <X> $B"*(B
>
> 4.      <A> $B"*(B <X>
>
>
>
> 1.      <S> $B"*(B a<X>a
>
> 2.      <S> $B"*(B b<X>b
>
> 3.      <X> $B"*(B I
>
> Gde je akcija ACCEPT tek u skupu --|0 gde imamo <S'>$B"*(B<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
> --------------------------------------------------------------
>