Messages

[4)Rezimy semantickej analyzy vymenovat a popisat. Tabulka pre semanticku analyzu - vymenovat polozky a popisat.]

4)Rezimy semantickej analyzy vymenovat a popisat. Tabulka pre semanticku analyzu - vymenovat polozky a popisat.

?

takze ak napriklad mam   A->aBCdeF|aBCd, vieme ze to nie je gramatika LL(1) lebo v jednom riadku nemoze byt viac krat ten isty terminalny symbol

do LL(1) vyberiem pred zatvorku aBCd a vyjde mi co ...

A-> aBCd ( eF| ? )

A-> aBCd [eF]   dla mna

[4. Napíšte prefixnú a postfixnú formu výrazu a+b+c*d+e/f pre gramatiku z príkladu 3]

4. Napíšte prefixnú a postfixnú formu výrazu a+b+c*d+e/f pre gramatiku z príkladu 3

+ a – asociujú do prava, * neasociuje  a / dolava a priorita je takáto:
  p(+)= p(-) > p(*) > p(/)


postfix by mal byt :  ab+c+de+*f/

a prefix??

to end je len slovko,.. teda ze koniec napr v jazyku pascal,.. v cecku je to ta vlnita zatvorka,.. ked chces ten label l2 je vlastne ten koniec.

a ta gramatika prepisana bude:  a(bC |{B}) ,... to mas akokeby si a vybral pred zatvorky, lebo v LL1 gramatike v jednom riadku nema byt dvakrat ten isty terminalny symbol.

no jasne, to B navyse som si nevsimol..  a nevies aky je to teda jazyk?? myslim A-> abC | a{B}   ...typujem ze je kontextovy, alebo to je nieco ine?

[do]

Definujte gramatiku prikazu do ...while v tvare EBNF a jeho translacnu schemu do jazyka virtualnych instrukcii. Pre navestie pouzite symbol label s prislusnym atributom. Urcte typy pouzitych virtualnych instrukcii jump (pre bezpodmienecny skok) a falsejump (pre podmieneny skok).

kde to najdem v skriptach ?

toto v skriptach nie je,.. ale na skuske byt moze,.. bolo to na prednaske.

Do While [[do Stat_seq while Expr end]] = label<L1> Stat_Seq Expr falsejump<L2>jump<L1>label<L2>

okej a pre while by to bolo  
While [[ while Expr Stat_Seq end ]] = label <L1> Expr falsejump<L2> Stat_Seq jump<L1> label<L2>

ano

oks, a k comu sa viaze to end ??

3) Upravte bezkontext gramatiku
   A-> abC | a{B} na LL(1). Pre upravenu gramatiku spravit syntakticky analyzator pomocou procedur Check a Error.


??

tak to by aj mna zaujimalo,ako to ma vyzerat 

no tam sa naraza nato ze to ma byt v EBNF , cize prefixy maju byt vyclenene zlava (aby sa mohlo jednoznacne hned v uvode rozhodnut )
nieco v zmysle a(bC |B{B});
NOT SURE!

a v akom jazyku je A-> abC | a{B} ?? to nie je LL(1) ? resp EBNF?  mam v tom trosku zmatok

podla mna A-> abC | a{B} je v BNF jazyk LR(k) . LL(1) jazyk je pri rozsirenej BNF== EBNF.
EBNF je vlastne rozsirena BNF , preto pre obidva typy malujeme prechodovy diagram.
LL(1) je vsak jazyk ktory parsuje (nacitava symboly) zlava , preto musi byt v najlavejsom vyraze hned definovany prefix .
LL(1) je zalozeny na konstrukcii najlavejsieho odvodenia , preto nesmie mat rovnake vyrazy v dvoch vetvach
laicky by som povedal ze v EBNF len upravujes na krajsiu formu , nieco ako ked mas v matike vyberanie pred zatvorky...

aha aha takze ide o to ze ked zadam prve 'a' tak este stale neviem ci idem vetvou abC alebo a{B}  spravne??? 

ale s tou BNF Ta musim opravit... toto urcite nie je v BNF.. ta totiz nepodporuje  {}  ..preto sa pytam aky jazyk to je

3) Upravte bezkontext gramatiku
   A-> abC | a{B} na LL(1). Pre upravenu gramatiku spravit syntakticky analyzator pomocou procedur Check a Error.


??

tak to by aj mna zaujimalo,ako to ma vyzerat 

no tam sa naraza nato ze to ma byt v EBNF , cize prefixy maju byt vyclenene zlava (aby sa mohlo jednoznacne hned v uvode rozhodnut )
nieco v zmysle a(bC |B{B});
NOT SURE!

a v akom jazyku je A-> abC | a{B} ?? to nie je LL(1) ? resp EBNF?  mam v tom trosku zmatok

[do]

Definujte gramatiku prikazu do ...while v tvare EBNF a jeho translacnu schemu do jazyka virtualnych instrukcii. Pre navestie pouzite symbol label s prislusnym atributom. Urcte typy pouzitych virtualnych instrukcii jump (pre bezpodmienecny skok) a falsejump (pre podmieneny skok).

kde to najdem v skriptach ?

toto v skriptach nie je,.. ale na skuske byt moze,.. bolo to na prednaske.

Do While [[do Stat_seq while Expr end]] = label<L1> Stat_Seq Expr falsejump<L2>jump<L1>label<L2>

okej a pre while by to bolo  
While [[ while Expr Stat_Seq end ]] = label <L1> Expr falsejump<L2> Stat_Seq jump<L1> label<L2>

ok idem si kupit boty a mozme pokracovat 

Napíšte, do akej konfigurácie sa dostane automat pri konfigurácii  a { . b | a }, ak na vstup pride znak b

riesenie: a . { b | c } .   

no neviem.. je to zadanie vobec spravne?? ved predsa ked je  '.'   pred 'b' mala by byt aj pred  'a' nie??  a tusim aj na konci

mozno sa mylim ale prvy stav je  . a { b | a }
a potom po zadani 'a' nasleduje  a { .b | .a }.   ci nie?
a nasledne po zadani 'b' by to ostalo tak isto...  opravte ma ak sa mylim

check(d | HE);     // tu by malo byt check(d | HE | c | HF | K);

isto?? isiel som podla prezentacii a podla nich by v tom checku malo byt to iste co sa kontroluje ako podmienka vo while...  ved nakoniec ked opustime cyklus while mame tam dalsi check ktory poriesi zvysok

link na prednasky najdete v threade fjap  prezentacie  

nejake dalsie http://www.sendspace.com/file/x25qf4

A-> X [ a Y ] {Z}

malo by to byt spravne

super:) tak este by som skusil jednu, nech si vyjasnim vsetky moznosti...

A-> B {d E} (c | F)

void A(symbolset K){

B(d | HE | c | HF | K );
check (d | HE | c | HF | K );

while (sym & (d | HE)){
 if(sym == d)
    getsymbol();
 else
    error(d | HE | c | HF | K);
 
 E(d | HE | c | HF | K);
 check(d | HE);

}

check(c | HF | K);

  switch(sym){
    case c : getsymbol();
             break;
    case HF: F(K);
             break;
    default: error(c | HF | K);
 }

}

Mike ?

okej, takze otazky... mna by zaujmala tato:
5. napiste syntakticky analyzator so zotavenim pre A -> X [aY] {Z}, pouzite procedury check a error

myslim ze chceck a error vieme vsetci takze void A(symbolset K);

nejake navrhy?


A-> X [ a Y ] {Z}

predpokladam ze HX HY a HZ pozname.. takze

A(symbolset K){

X(a | HY | HZ | K);

check(a| HY | HZ | K);

if(sym == a ) {
   getsymbol();
   Y(HZ | K);
   check(HY | HZ | K);
}

check(HZ | K);
while (sym & (HZ)){
   Z(K);
   check(HZ | K);
}


}


hm??

uploadne niekto prednasky prednasky 3,4 a 9 ? diky

napis maila v pm, Ti poslem

suhlas s eminkou.. ludko, daj sem otazky, ved prediskutujeme..  a mas to zadara

kde sa v utorok kona skuska?

v AF

ludia, nenajde sa u niekoho 1. 2. a 9. prednaska?? 

ja mam

mal som na mysli skor tie ciernobiele kolarove ale aj tak diki    nieco z toho co som hladal tam je...

nz inak nevedel by si mi vysvetlit sntaktycky analizator nejako polopatiosticky???

hm no co konkretne myslis??  vies co napis mi cez chat na gmaily

ludia, nenajde sa u niekoho 1. 2. a 9. prednaska?? 

ja mam

mal som na mysli skor tie ciernobiele kolarove ale aj tak diki    nieco z toho co som hladal tam je...

ludia, nenajde sa u niekoho 1. 2. a 9. prednaska?? 

Ak chce niekto nejake materialy    ku skuske tak mail me

nice 

a ked sme nemali v pondelok cviko? Tak kedy test? dalsi pondelok?

ja odpoviem dnes nas zopar z nasej skupiny bolo o 9 10 v pc9 na jeho cviku.. tam sme napisali test a odovzdali zvysne zadania...bez ohlasenia samozrejme, proste si cekni vaclavikov rozvrh na maise a chod na niektore jeho cviko... tusim v piatok rano ma nieco, alebo potom ten pondelok teda 

caute !! mam zadanie

Urobte syntézu synchronneho obvodu ako automatu Mealy , ktorého výstup nadobúda hodnotu 1 práve vtedy , ak na jeho vstupe bolo prijaté vstupné slovo zakončené koncovkou  1011 . Pri návrhu použite EA typu T a LČ typu NAND .

neviete mi poradit ako sa robia tie kodovane mapy (prechodov a vystupov) tie zvysne veci ako kodovanie stavov, prechodov a vystupov mam ale tym mapam fakt nerozumiem ,  diki

otazka: v tych pseudokodoch sa berie za zaciatok pola index 1 alebo 0 ?

ee, iba pocita cenu ze akym sposobom to nasobit aby to bolo najvyhodnejsie

polopatisticky by to neslo (( lebo to cena som nasiel aj na nete ale nic moc som stoho nepochopil...

k tomuto sa pripajam, tiez som z tej ulohy nesvoj...


a mimochodom v 8mom cviceni je mala chyba v pseudokode pre bubblesort.. pre utriedenie bubblesortom staci n-1 iteracii a nie n