[nastava:2003] - prevodioci 144, 197, 233 by "Nikola Novakovic" <houraboom@ptt.yu>

Bre nizašta nije ovaj Partizan :))
 
 
Pitanje 144: Napisati projekcionu funkciju P(S,a) za SLR(1).
  Ova funkcija preslikava skup S u podskup od Q. Ovaj podskup daje skup mogucih konfiguracija za dato stanje S.
      P (S,a){Ri  | B ® r·Îs , a Î FOLLOW(B) i smena i je B® r} È {(if A®a·abÎs za aÎVt then {S} else Æ)
      Projekciona funkcija za LR(0), P(S), je ista kao P(S,a)samo nema aÎFOLLOW(B).  

 
Ne konfiguracija, već akcija.

Pitanje 197: Po kojem se algoritmu odvija nalaženje detektora ručki DR(0)za konfiguracioni model parsiranja?
 
      procedure DR0
           // S0-startno stanje
           S={ S0}
           while S nije prazno
                    ukloniti skup konfiguracija s koji odgovaraju S
                    for ( X u Symbol)
                          if (GoTo0(s,X) ne markira vec postojeci skup u DR0) then
                                formirati novo stanje u DR0 i oznaciti ga sa GoTo0(s,X)
                               staviti Goto0(s,X) u S;
                          end if
                          formirati prelaz iz stanja s u stanje GoTo0(s,X) pod dejstvom X
                     end for
             end while
      end procedure    


Opet je plavo sporno: prelaz treba da se formira samo ako je uslov u gornjem if-endif-u ispunjen. Da li treba ovaj red unutar if-endif?
Isto za 198.
Inače, u algoritmu u pitanju 198. je ubačen još jedan if-endif, koji ispituje da li je GoTo1(s,X) različito od 0. Pošto pretpostavljam su algoritmi 197 i 198 simetrični,
da li je ovo greška?

Pitanje 233: Šta je to srodstvo i kako glasi projekciona funkcija P(s,a) za gramatiku LALR(1)?
  Za stanja detektora LALR(1) gramatike se kaze da su u srodstvu ako imaju isto jezgro:
      srodstvo(S’)={ c, c Î s , core(s)=S’}    // core- jezgro
      Jezgro: konfiguracija bez predikcionih simbola
      Svakom jezgru odgovara jedinstven skup srodnih LR(1) konfiguracija (konfiguracije koje imaju isto jezgro su srodne).
      Funkcija projekcije preslikava konfiguracioni skup u podskup od Q koji predstavlja moguce akcije pomeranja i svodjenja za stanje s:
      P(s,a)={ Ri | B ® r·, t Îsrodstvo(s), smena i je B®r} È  { if (A® α·bβ, t Îs za bÎVt) then {S} else Æ}  
        


Da li treba da se ubaci uslov da neterminal b pripada predikcionom skupu t?