Modelovanie a Generovanie Softverovych Architektur

[psicho]

Prosim , co sa ma robit v 12 tom cviku ?

jebat nato

[Raleon]

Prosim , co sa ma robit v 12 tom cviku ?

jebat nato

nabuduce ta posluchnem

[pUf]

kvoli 5 bodom si takto nicite zdravie po nociach

[LM]

Otazka ku skuske:
Napíšte syntaktický analyzátor so zotavením, teda doplnte telá procedúr Error, Check
a A pre pravidlo:
A -> [B|c]{d|E}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().

Riesenie:
Error (symbolset K) {
while !(sym = K) getsymbol()
}

Check( symbolset K) {
if !(sym = K) Error ()
}

A (symbolset K){
if(sym = {{c} u HB}) {
    switch (sym)
        'c': getsymbol();
        sym = HB: B ( check({d}uHEuHFuK)
                           while (sym = {{d}uHE}) {
                                    switch(sym)
                                    'd': getsymbol()
                                    sym = HE: E( check( {d} u HE u HF u K )
                           }
                           F(K)
                  )
       }
while (sym = {{d}uHE}) {
         switch(sym)
               'd': getsymbol()
               sym = HE: E( check( {d} u HE u HF u K )
}
F(K)



Otazka: moze to byt takto ?

[LM]

a mam este jednu otazku k prikladu 4a:
T[[ while ... ]] = catch <L2> e[[Expr]] falsejump<L1> s[[Stat_seq]] jump <L2> catch <L1>

malo by to byt takto, ale to co som si opisal z tabule, kde myslim bolo:
e[[Expr]] falsejump<L1> s[[Stat_seq]] catch <L1>
lebo toto sa mi nezda ako loop ?!

[pUf]

a mam este jednu otazku k prikladu 4a:
T[[ while ... ]] = catch <L2> e[[Expr]] falsejump<L1> s[[Stat_seq]] jump <L2> catch <L1>

malo by to byt takto, ale to co som si opisal z tabule, kde myslim bolo:
e[[Expr]] falsejump<L1> s[[Stat_seq]] catch <L1>
lebo toto sa mi nezda ako loop ?!

tam miesto catch je label tusim
a to druhe veruze nie je loop lebo skaces maximalne von z toho wannabe cyklu ... povedal by som skor, ze to je IF bez vetvy else

[LM]

ved hej aj mne to tak pripada, ale na tabulu pisal urcite catch <label>
takze to prve je urcite s loopom, ja len ci som dobre videl... co pisal ..

[mishelka]

nie catch, ale label<Li>

[psicho]

a co tie zapisi znamenaju? naco toje dobre? kde ich pouzijem na skuske? co snimi dosiahnem ?

[LM]

nie catch, ale label<Li>

okey beriem vas za slovo

[LM]

este jedna otazka, k tym uloha m 5, o com to vlastne je

[bliky]

to LM: oks, vidim, ze si siel domov sprtat, takze sa tesim, ze mi to zajtra vecer na izbe secko pekne vysvetlis...

[MKI]

co chces vysvetlovat bdu s a anuc tri stran ynaspamet aleob tahak 5 x 5 cm

[mishelka]

co sa na tom chcete ucit, sak to je take lahucke.. a este vsetko na prednaske podrobne vysvetlil...

[buhehe]

Otazka ku skuske:
A->[B|c]{d|E}F
Otazka: moze to byt takto ?

to nemas asi dobre...ja by som dal...

A (symbolset K){
if(sym in {H(B) u c}) {
    check(H(B) u c u K)
    switch (sym)
        sym in H(B): B(d u H(E) u H(F) u K)
        sym = 'c': getsymbol();
        default error(H(B) u c u K)
}
check(d u H(E) u K)
while (sym in {d u H(E)}) {
    check(d u H(E) u K)   
    switch(sym)
         sym = 'd': getsymbol()
         sym in H(E): E(d u H(E) u K)
         default error(d u H(E) u K)
    check(d u H(E) u H(F) u K)
}
F(K)
}

[MKI]

ocom tocite dorb enedobre sak toto toto co tu ema hodila neje dobre ?

[buhehe]

ano to co hodila eminkaa je spravne ale LM pisal syn. analyzator pre ine pravidlo

[mishelka]

Otazka ku skuske:
A->[B|c]{d|E}F
Otazka: moze to byt takto ?

to nemas asi dobre...ja by som dal...

A (symbolset K){
if(sym in {H(B) u c}) {
    check(H(B) u c u K)
    switch (sym)
        sym in H(B): B(d u H(E) u H(F) u K)
        sym = 'c': getsymbol();
        default error(H(B) u c u K)
}
check(d u H(E) u K)
while (sym in {d u H(E)}) {
    check(d u H(E) u K)   
    switch(sym)
         sym = 'd': getsymbol()
         sym in H(E): E(d u H(E) u K)
         default error(d u H(E) u K)
    check(d u H(E) u H(F) u K)
}
F(K)
}

ten default error ti je tam podla mna na figu, kedze to testujes pred switchom (check)...



inak taka otazka... aky je rozdiel medzi [] a ()

[Mao]

[] 0 alebo 1 krat, teda moze byt alebo nemusi
() prave raz

[mishelka]

[] 0 alebo 1 krat, teda moze byt alebo nemusi
() prave raz

moc pekne dakujem

[psicho]

a tota 3ka v eminych poznamkach je spravna ?

[DeeL]

Otazka ku skuske:
A->[B|c]{d|E}F
Otazka: moze to byt takto ?

no ja by som to skor dal takto:

void A (symbolset K){
check(HB u {'c'} u {'d'} u HE u HF)
if(sym in {HB u {'c'}}) {
    switch (sym)
        in HB: B({'d'} u HE u HF u K)
        'c': getSymbol()
}
check({'d'} u HE u HF u K)
while (sym in {{'d'} u HE}) {
    switch(sym)
         'd': getSymbol()
         in HE: E({'d'} u HE u HF u K)
    check({'d'} u HE u HF u K)
}
check(HF u K)
F(K)
}

pricom rozmyslam, ci ten prvy a posledny check co tam mam su uplne nutne, ale tak pre istotu to nie je zle aj ked tam su


nasledne to co dala Ema z prednasky:
A->B{dE}(c|F)
ja by som to napisal takto:

void A (Symbolset K) {
B({'d'} u HE u {'c'} u HF u K)
check({'d'} u HE u {'c'} u HF u K)
while (sym in {'d'}) {
     getSymbol()
     E({'d'} u HE u {'c'} u HF u K)
     check({'d'} u HE u {'c'} u HF u K)
}
check({'c'} u HF u K)
switch (sym)                     
     'c': getSymbol()
     in HF: F(K)
     default: Error({'c'} u HF u K)      // prv som tu mal Error(K) v podstate to podla mna aj teraz nic nemeni, jediny rozdiel je podla mna ak error zaroven robi aj vypisy pre pouzivatela
}
ale ako vravim je to moj pohlad na danu vec a este sam si niektore veci snazim ujasnit ale zatia by som to dal takto

[ondY.ke]

je nejake pravidlo ako labelovat navestia??? myslim poradie L1 L2 and so on..

[mishelka]

myslim, ze by mali ist po poradi (povedal damien), takze ak mas skok niekam na zaciatok programu (prikazu), tak label na zaciatku by mal byt L1 (pri spracovani sa to najprv zapise). ale je to podla mna jedno, lebo toto kollar tiez len tak preleti

[mishelka]

Otazka ku skuske:
pricom rozmyslam, ci ten prvy a posledny check co tam mam su uplne nutne, ale tak pre istotu to nie je zle aj ked tam su

nasledne to co dala Ema z prednasky:
A->B{dE}(c|F)
ja by som to napisal takto:

void A (Symbolset K) {
B({'d'} u HE u {'c'} u HF u K)
check({'d'} u HE u {'c'} u HF u K)
while (sym in {'d'} u H(E)) {
     if(sym == 'd') getsymbol(); else error({'d'} u HE u {'c'} u HF u K);
     E({'d'} u HE u {'c'} u HF u K)
     check({'d'} u HE u {'c'} u HF u K)
}
check({'c'} u HF u K)
switch (sym)                     
     'c': getSymbol()
     in HF: F(K)
     default: Error({'c'} u HF u K)      // prv som tu mal Error(K) v podstate to podla mna aj teraz nic nemeni, jediny rozdiel je podla mna ak error zaroven robi aj vypisy pre pouzivatela
}
ale ako vravim je to moj pohlad na danu vec a este sam si niektore veci snazim ujasnit ale zatia by som to dal takto

myslim ze toto ma byt takto, lebo inak cele H(E) preskoci, cize tam musi byt ten H(E) v tom while..