ja som z archivu minuleho roku take nico vytiahol:
tak tahala som tri veci, jeden dokaz (NS - OS, while + postupnost prikazov), co som rozpisala na dve strany, dalej priklad (definovat semantiku + syntax osmickovych cisel) a jednu teoreticku (posledna prednaska nejake bludy)
#########################################################################################################################################
Ale nie všetky otázky sú také v pohode. Aspoň pre mne sa to zdalo dosť hard. Moja písomka:
1)Príklad: Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;
naturalna:
pre B[[b]] = tt
<S;s>->s` <c1:=c1+1, s`> -> s`` <for c1 to c2 do S, s``> -> s```
______________________
<for c1 to c2 do S,s> -> s```
b:= c1<=c2
pre B[[b]] = ff pises ze sa nevykona nic z cyklu
pre strutruralnu pises:
<for c1 to c2 do S, s> => <if B[[b]] then S;c1:=c1+1;for... else skip, s>
pre denotacnu pises:
<for c1 to C2 do S> = fix F
F g = cond(B[[b]], S ° c1:=c1+1 ° g, id)
2)Teória: Denotačná sémantika pre blok prikazov(to je toto medzi begin a end,neviem ci sa to vola blok prikazov).
3)Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický.
strukturalnou indukciou na pravidla NS
#########################################################################################################################################
Priklad: Cyklus s 3 iteraciami a z toho konstruovat odvodzovaci strom.
Dokaz: Dokazat semanticku ekvivalentnost S1 a S2.
S1 = while b do S
S2 = if b then (S; while b do S) else skip
Teoria: Semantika aritmetickych vyrazov a boolovskych vyrazov.
#########################################################################################################################################
Ako je vyjadrena denotacia cyklu? Co je to monotonna fcia? Spojita fcia? Funkcional? A co je to fixny bod?
mam taketo technicke otazky ...
1. to akoze treba vediet vsetky vzorce pri kazdej semantike ? ( na zapoctovke boli na tahaku a to iba z dvoch )
2. to sa taha jeden papier s ( teoretickou, dokaz, priklad ), alebo kazdy samostatne ? ( aku mam sancu vytiahnut 3 krat denotacnu )
3. z poslednych prednasok, - akcna semantika - tam treba presne slovosled vediet v anglicstine definovat postupnost vykonavania programu ? alebo ked napisem po svojom bude stacit ?
4. ti co sa ucite, nemate pocit ze vsetko je skoro stejne, az na par detailov ? ci to len mne pripada ?
PS : ked budem vediet iba uplne ze zbezne, co asi mozno pravdepodobne by tam malo byt, a na ustnej skuske jej to nejak tak vysvetlim, dostanem aspon "D" ?
1/ake vzorce? ved mas oficialny tahak na ktorom mas vsetky odvodzovacie pravidla...kazde jedno pravidlo kde je NS,OS alebo DS v zatvorkac a pri tom cislo plus este pravidla pre abstract machine a aj prekladove funkcie
2/tahaju sa po jednom papieri z kazdej kopky...cize zvlast teoria,priklad,dokaz...ak by si 3x vytiahol denotacnu tak si riadny "lucker"
btw ku kazdej otazke je potrebne mat aspon nieco, resp. nico vediet, lebo to co si napisete je len priprava vasa k ustnej odpovedi
3/akcna nebola na oficialnom tahaku tak predpokladam ze nebude na to priklad jedine teoria