Zobraziť príspevky
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
este .. akoby mal vyzerat junit test na save() a load() ? co tam testovat no, nvnmNapríklad v teste zavolaš save begginer,.. hneď ho loadneš a dáš assert equals loadnutý výsledok a begginer.
A->{Db l Ca}
void A(symset K){
check (HD | b |HC | a | K);
while((sym) & (HD | HC )){
switch (sym){
case HD: D(HD | b |HC | a | K);
if(sym == b)
getsymbol();
else
error(HD | b |HC | a | K);
break;
case HC: C(HD | b |HC | a | K);
if(sym == a)
getsymbol();
else
error(HD | b |HC | a | K);
break;
}
check(HD | b |HC | a | K);
}
}
break;
default: //tu ma zmiatlo to ze v tej alternative moze nastat aj prazdna vetva, cize case HD nastane len ak tam bude
if(!(sym & K)) //aspon jedno volanie B ale ak by to bol koniec retazca, tak by ten klasicky default vypisal error,
error(K); //co by nebolo korektne... jedine co ma napadlo ako osetrenie je takato podmienka.. nazory??
}
}
ok, este mi zopar veci zo zotavenia nie je jasne, takze otazka do plena:QuoteA -> X [a Y] {Z}
A(symbolset K){
X(a | HY | HZ | K);
check(a| HZ | K);
if(sym == a ) {
getsymbol();
Y(HZ | K);
}
check(HZ | K);
while (sym & (HZ)){
Z(HZ |K);
check(HZ | K);
}
}
hned hore v check(a | HZ | K); nema byt HY pretoze sa Y v [a Y] vyskytuje az za a, cise je tam if a tak dalej... s tym suhlasim, aj z prednasok mi to takto vyplynulo..
ale ako je to s volanim X(a | HZ | HY | K); ?? ma alebo nema tam byt HY ? ma zmysel ze sa bude zotavovat na Y, ked nenajde v retazci 'a' ?
co si o tom myslite?
1)
A -> c["*"|"-"A] kde c je cele cislo prepiste toto pravidlo aby vyhovovalo EBNF aby bolo mozne vygenerovat: 5*4-1 a 5*4-1*3
potom napisat hodnoty ake vyjdu po uskutocneni tych prikladov
a napisat postfixne formy 5*4-1 a 5*4-1*3
to by malo byt A -> c[("*" | "-") A] vsak??
a aka je asociativita?? zprava?
TRUE / FALSE ?
3.) Navrhnite jednym pravidlom deklaraciu premennych Vars ak definicia zacina klucovym slovom var, potom nasleduje nenulovy pocet nazvov premennych, za nimi dvojbodka a nasledovny typ T.
malo byt nejak tak:
Vars -> "var" id { "," id } " : " T //id - tak oznacoval Kolar premenne
zostrojit syntakticky analyzator aj so zotavenim pre procedure Vars(k:symset)
ako by ste riesili ?
postfix by mal byt : ab+c+de+*f/
a prefix??
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 ?
A -> X [a Y] {Z}
A(symbolset K){
X(a | HZ | K); //edit, tu nema byt tiez HY
check(a| HZ | K); //- tu nema byt HY, lebo je to v hranatych zatvorkach druhe, cize ak nebude na vstupe a, tak sa to co tam je v zatvorkach nevykona cele, cize Y bude hladat zbytocne
if(sym == a ) {
getsymbol();
Y(HZ | K);
//tu check nema dovod byt, toto nieje while cyklus
}
check(HZ | K);
while (sym & (HZ)){
Z(HZ |K); // v celom cykle while mas mat rovnake parametre, lebo tam moze byt napr viac Zcok za sebou, a bez (HZ) podmienky by ti to kazde Z preskocilo
check(HZ | K);
}
}
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 | c | HF | K);
}
check(c | HF | K);
switch(sym){
case c : getsymbol();
break;
case HF: F(K);
break;
default: error(K); //tu by som len toto dal, error K, predsa to nie je cyklus, a dalej uz v gramatikenic nieje
}
}
ako by ste toto robili?Bude pršat.
Použite vetu o dedukcii pre nasledujúci príklad:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.
este raz pre moj pokojny spanok sa chcem spytat , mi co sme prihlaseny v maise na 7:00 matika v ZP1 tak mame predtermin o 9:55 realne ?
ale tam nie je hocico co mi napadne, tam su dane formuly..."system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"
neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne?
Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat
btw:
system formul je sporny ked je kazda formula dokazatelna.
mnozina klauzul je splnitelna ked kazda klauzla je pravdiva.
pride mi to ako keby to bolo raz tak a potom inak...
"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"
neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne?
- vzájomná poloha deklarácií volanej a volajúcej procedúry pri zmene zobrazeniaNetuší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,..
- syntax deklarácie premenných, analýzaVar_Decl [[ var Var_List_decl {Var_List_Decl)]] = Var_List_Decl{Var_List_Decl}
- 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, T1 = A T2 = B, potom T1 = T2 = C a vsetky vyskyty A a B sa nahradia C - unifikacia
- čo reprezentuje strom odvodenia, syntaktický strom, typové výrazyTypove vyrazy je vhodne reprezentovat synaktickymi stromami,
- ako bude vyzerať aktivačný záznam s begin<2, 4>
Caute neviete co mozme aky priklad ocakavat na teste c.3 ?
resp priorita || je vyssia ako &&
nikde nie je napisane, ze to automaticky prejde aj v parlamente. Jednoducho zbytocnost...
