Sémantika programovacích jazykov

[badi]

presne tak .. pepco sem s nimi, nebud sukromnik :-)

[pepco]

1) Denotacia cyklu a definicie: monotonej a spojitej f-cie, funkcionalu, fixny bod
2) Definicia formalneho jazyka (abstraktna syntax a semantika jazyka)
3) Akcna semantika
4) Semantika aritmetickych vyrazov a booolovskych vyrazov
5) Denotacna semantika pre blok prikazov (medzi begin a end)
6) nejaka otazka z poslednej prednasky - take bludy

popripade ti co ste uz boli na predtermine a mali ste nieco ine mozte napisat dalsie otazky ake boli... viac som toho nenasiel

[puq]

ja som z archivu minuleho roku take nico vytiahol:

Code [Select] Expand



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

[provasik]

Priklad na akcnu urcite nebude - to povedal aj na prednaske ...

[badi]

1. vyborne to som potreboval  "pocut" , ze bude tahak, to hned vela veci zjednodusuje :-)
2. ake ja mam stastie tak denotacnu vytiahnem hned 4 krat z 3 pokusov 

[LONEr]

kde je vysvetlena denotacna semantika pre blok (begin end)? v prednaske 8 som nic take specificke nenasiel.
Neviete mi poradit, co tym presne myslia?

[pepco]

kde je vysvetlena denotacna semantika pre blok (begin end)? v prednaske 8 som nic take specificke nenasiel.
Neviete mi poradit, co tym presne myslia?

tiez som nic k tomu nenasiel, jedine ze by to mal byt prikaz bloku v Nepriamej denotacnej semantike, konkretne pri vzniku vynimocnej situacie... ale tak neviem ci toto bude niekto schopny vediet

[badi]

22 z 25 :-) aktualny stav na zajtra ...

[Corse]

vie mi dakto ludsky vysvetlit to ratanie funkcionalu? zatial sa o to snazili dvaja cviciaci neuspesne

btw pripominam moju otazku

taze tiez to chcem vediet ... odhodlajte sa niekto

[LONEr]

Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický. strukturalnou indukciou na pravidla NS
--> je toto niekde hotove? nenasiel som.

[puq]

to je cely dokaz a potom by si mal vediet co je strukturalna indukcia a ako to funguje

[LONEr]

to je cely dokaz a potom by si mal vediet co je strukturalna indukcia a ako to funguje

opakujem otazku: "je to niekde vypracovane? - prednaska alebo hocikde"

[puq]

to je cely dokaz a potom by si mal vediet co je strukturalna indukcia a ako to funguje

opakujem otazku: "je to niekde vypracovane? - prednaska alebo hocikde"

a ja opakujem odpoved: to je cely dokaz ale sa ta moze spytat co je je dokaz strukturalnou indukciou

[LONEr]

ja viem,ze to je dokaz, ale ci to niekde nie je vypracovane pre lasku boziu.

[JCube]

nie nie je..naco by to bolo?

[dungeo]

laske bozej by to naozaj bolo nanic

[zuzanka]

ja som sa rozhodla, ze z poslednych troch prednasok zajtra (dnes) nic nebude na skuske....

[Tanka]

ja by som este pridala aj 8 prednasku a potom sa s tym plne stotoznujem

[zuzanka]

no, 8ma bude, ale ja ju nebudem mat

[puq]

no povedal by som to ze to bude subjektivne kedze kazdy si taha otazky sam ak mate lucky hand tak to je potom pohodicka

[zuzanka]

citam....a citam....denaturacna semantika

[DeNaTuReMaN]

Ma spominate ? ta idem daco aj ja precitat

[ApokalypS]

no ta zeby som bol tak dlho hore, alebo dokonca, zeby som nesiel spat kvoli jednej skuske? to sa mi nepaci toto

[LONEr]

skuska bola spolu s dalsim predmetom novitzkej.
rozsadzali podla abecedy do radov. Kazdy dostal papier aj zadania do ruky.
ustna cast bola najma u soldicaka, ktory chcel, aby bola kazda uloha spravena aspon na polovicu.
Pokial viem, zatial vyletel 1 kvoli hore spominanemu dovodu.

[ApokalypS]

tj? mal toho malo napisane?
a otazky? vazne sa treba vsetko ucit? :/