Formálne jazyky a preklada?e

[v_oid]

http://hornad.fei.tuke.sk/~plocica/ppj/priorita.html

Na tejto stranke.

Lava znamena zlava-doprava, alebo zprava-dolava??

[revelc]

lava = zlava = dolava
prava = zprava = doprava

[v_oid]

lava = zlava = dolava
prava = zprava = doprava

to sa kamarat trochu vylucuje. zlava = dolava?

[NDK]

lava = zlava = dolava
prava = zprava = doprava

to sa kamarat trochu vylucuje. zlava = dolava?

Treba sa to spytat Kollara na predtermine lebo kzdy tomu rozumie neako inac 

[Panci]

zlava = dolava  .. vie niekto prepisat if a while pomocou jump a falsejump ??

[revelc]

lava = zlava = dolava
prava = zprava = doprava

to sa kamarat trochu vylucuje. zlava = dolava?

vylucuje, nevylucuje... ja to tak budem robit.... pozri niekolko stran dozadu... tam to vysvetlovala eminkaa

- vzájomná poloha deklarácií volanej a volajúcej procedúry pri zmene zobrazenia

WTF?

- syntax jazyka LL(1) - ľavá faktorizácia, ...

WTF?

- syntax deklarácie premenných, analýza

?

- keď A a B sú typ. premenné typu záznam, k čomu dochádza pri porovnaní typov (substitúcia a unifikácia)

?

- čo reprezentuje strom odvodenia, syntaktický strom, typové výrazy

?

- ako bude vyzerať aktivačný záznam s begin<2, 4>

?

Mohol by to niekto strucne objasnit ? 

UP

[totaluser]

lava = zlava = dolava je to iste
takto nam to vysvetlil aj nas cviciaci (nie eminka) a povedal, ze to mame takto brat

z toho dovodu on nepouziva spojenie zlava alebo dolava, ale jednoducho lava asociacia

[v_oid]

Neviete niekto priklad 3 z testu?

3. Napíšte syntaktický analyzátor so zotavením, teda doplňte telá procedúr Error, Check a A pre pravidlo:
A→B{dE}(c|F) za predpokladu, že množiny H(B), H(E), and H(F) sú známe. V programe použite
HB, HE a HF, aktuálny symbol sym a procedúru getsymbol().

[Panci]

Neviete niekto priklad 3 z testu?

3. Napíšte syntaktický analyzátor so zotavením, teda doplňte telá procedúr Error, Check a A pre pravidlo:
A→B{dE}(c|F) za predpokladu, že množiny H(B), H(E), and H(F) sú známe. V programe použite
HB, HE a HF, aktuálny symbol sym a procedúru getsymbol().

uz to tu bolo pozri stranu dozadu!

[elros]

Ja tote veci chapem tak:

- vzájomná poloha deklarácií volanej a volajúcej procedúry pri zmene zobrazenia

Netuším

- syntax jazyka LL(1) - ľavá faktorizácia, ...

Jazyk LL(1): L - čítame z ľava,  L - najľavejšie odvodenie,  1 - na základe 1 symbolu na vstupe vieme sa rozhodnúť čo ďalej,..
jazyk musí byť faktorizovaný z ľava, nesmie mať rekurziu ľavú
asi to je len teoreticka otazka

- syntax deklarácie premenných, analýza

Var_Decl [[ var Var_List_decl {Var_List_Decl)]] = Var_List_Decl{Var_List_Decl}
Var_List_Decl [[Id_List colon Type semicolon]] = idlist Id_List Type defvars
Id_List[[id<ival>{comma id<ival> ]] = id<ival>{id<ival>}

- keď A a B sú typ. premenné typu záznam, k čomu dochádza pri porovnaní typov (substitúcia a unifikácia)

ak A a B su typove premenne, T₁ = A T₂ = B, potom T₁ = T₂ = C a vsetky vyskyty A a B sa nahradia C - unifikacia
ak A je typova premenna, T₁ = A, T₂ = TE (typovy vyraz) kde TE nie je premenna, kazdy vyskyt A sa nahradi TE - substitucia
a ten record, ak  T₁ = A, T₂ = record, potom T₁ = record, lebo doslo k substitucii A = record

- čo reprezentuje strom odvodenia, syntaktický strom, typové výrazy

Typove vyrazy je vhodne reprezentovat synaktickymi stromami,
strom odvodenia je pri analyze zhora-nadol, postupne jak sa nejaky vyraz odvadza z gramatiky,

- ako bude vyzerať aktivačný záznam s begin<2, 4>

to budu to tie registre (obdlzniky) asi tak nejak:
[parametre]
[adresa navratu]
[oblast premennych]
[oblast premennych]
[oblast premennych]
[oblast premennych] - 4 krat, lebo v = 4
[zakladna adresa urovne 0] <- X  (tu ukazuje X|
[zakladna adresa urovne 1]
[zakladna adresa urovne 2] sipka z tade na adresu navratu, uroven 2, lebo l = 2
[predosla hodnota X] sipka z tade ukazuje do priestoru nad obrazok
[                          ]<- tu ukazuje SP po volani begin

[Jeffa]

- def. gramatiku pre if, while, repeat, ..., translačné schémy?
gramatika postupnosti príkazov?
- syntax príkazu if a jump, ich preklad, jump, falsejump?
- význam atribútov inštrukcie begin?

Viete mi niekto dat odpovede na tieto otazky? Lebo nejako nemam velmi sajnu co tam ma byt
Dakujem 

[cenki]

Keď sa môžem pridať, čo vlastne chcú v tomto a ako to má byť?
Určte pre zdrojový výraz a + b + c ∗ d/e + f jeho postfixný tvar na výstupe.
Postfix [[ a + b + c ∗ d/e + f ]] =
(Pričom platí: p(+) = p(−) > p(∗) > p(/) a zároveň asociatívnosť: "+"|"-" sprava, "*" bez, "/" zľava)

[NDK]

Keď sa môžem pridať, čo vlastne chcú v tomto a ako to má byť?
Určte pre zdrojový výraz a + b + c ∗ d/e + f jeho postfixný tvar na výstupe.
Postfix [[ a + b + c ∗ d/e + f ]] =
(Pričom platí: p(+) = p(−) > p(∗) > p(/) a zároveň asociatívnosť: "+"|"-" sprava, "*" bez, "/" zľava)

Napisat gramatiku teda:

Expr -> Mul {</> Mul}
Mul -> Addsub [<*> Addsub]
addsub -> Term [<+>|<-> Addsub]
Term -> <VALUE> | <(>Expr<)>

a postfix: ((a(bc+)+)d*)(ef+)/

[Panci]

a postfix: ((a(bc+)+)d*)(ef+)/

v postfixe ide presne o to, ze tam tie zatvorky byt nemaju.. abc++d*ef+/

[v_oid]

a postfix: ((a(bc+)+)d*)(ef+)/

Ked ma asociativnost sprava, tj. dolava, nemalo by byt ab+c+ ?

[Panci]

a postfix: ((a(bc+)+)d*)(ef+)/

Ked ma asociativnost sprava, tj. dolava, nemalo by byt ab+c+ ?

sprava = doprava

[v_oid]

FML

[NDK]

a postfix: ((a(bc+)+)d*)(ef+)/

v postfixe ide presne o to, ze tam tie zatvorky byt nemaju.. e f + a b c + + d * /

No ale ty citas retazec od zaciatku nie od konca ...

[Panci]

a postfix: ((a(bc+)+)d*)(ef+)/

v postfixe ide presne o to, ze tam tie zatvorky byt nemaju.. e f + a b c + + d * /

No ale ty citas retazec od zaciatku nie od konca ...

uz som to opravil som sa pomylil.. tak ci tak bez zatvoriek to ma byt, lebo by to nebol postfix potom..

[NDK]

a postfix: ((a(bc+)+)d*)(ef+)/

v postfixe ide presne o to, ze tam tie zatvorky byt nemaju.. e f + a b c + + d * /

No ale ty citas retazec od zaciatku nie od konca ...

uz som to opravil som sa pomylil.. tak ci tak bez zatvoriek to ma byt, lebo by to nebol postfix potom..

Viem ze to ma byt bez zatvoriek ale pre tych co tomu nechapu to pochopia skor so zatvorkami ako bez nich  

[cenki]

Edited: Čekne niekto či srpávne? V prílohe je test i vypracovanie.

[ursus]

a mne zase vaclavik povedal ze dolava = sprava, anyways najdete len ZLAVA alebo LAVA, dolava to len u daktorych cviciacich

[v_oid]

a mne zase vaclavik povedal ze dolava = sprava, anyways najdete len ZLAVA alebo LAVA, dolava to len u daktorych cviciacich

Mne presne toto Kreutzova povedala!

Ze dolava = zprava, zlava = doprava.

Na tej stranke kde je napisana gramatika pise slova ako 'lava' a 'prava' a na zaklade tej gramatike myslim, ze tam to myslia lava=dolava, prava=doprava.

[ursus]

tak tam je to dodrbane, dam svoje lave vajco ze v kolarovych prednaskach uvidis iba ZLAVA alebo LAVA kde ZLAVA = LAVA, ziadne dolava

[ursus]

A -> BCa[f](D|zZ)

A(SetType K){
 B(HC |a |f |HD |z |K);
 C(a |f |HD |z |K);
    if symbol == a
       getsymbol();
    else
        error(f | HD | z |K )
    if symbol == f
       getsymbol();

  check(HD | z | K)
  switch(sym){
     case HD: D( K);
                break;
     case z: getsymbol();
                Z ( K);
                break;
      default:
               error(K);
  }
}

co vy nato r-man ? ma byt nazaciatku tam to f ? ked je to v [] ?