skupina 14M (41M alebo tak nejako) podskupina IY
priklady su len priblizne ako si pamatam, snad su spravne
1.
x:=1;if (x = 5) then if (x <= 5) then (y:=x+y) else skip else skip; s0=[y->4]
1.a denotacna
1.b abstraktny stroj
2. rozsirit semantiku prog jazyka vyrazov o
I:opacnu hodnotu vyrazu
II:negative and {NAND}
3
y:=x+y;while (y-x<15) do y:=y+x;y:=y-x s0=[x->4,y->8]
3.a najst vyznam pomocou naturalnej semantiky
3.b najst vyznam pomocou operacnej semantiky
-----------------------------------------------------------------------------------------
podla mna prvy prikald bol zbytocne obsiahly, ked viec clovek spravit 8-10 riadkov vie spravit aj 40 len mu to dlhsie trva nic sa tym nedokaze, uplna zbytocnost taky dlhy prikald, 2 celkom lahka i ked neviem co som tam vlastne mal vsetko napisat ci stacilo teda ten jeden riadok resp jeden zobacik .... 3 priklad celkom pohoda akurat tam bol chytak s tymi dvoma prikazmu po while co nie su v zatvorkach teda ten posledny uz nepatri do while-u .... denotacnu som vobec ani nestihal kedze som si ju nechal na koniec .. a myslim ze som nebol sam co hovoril ze bolo toho az prilis vela a sa nestihalo ... ked clovek nerobil ako stroj alebo sa niekde pomylil alebo potreboval viac casu na rozmyslenie tazko stihal ... tak asi cielom predmetu je sa to naucit robit rychlo a nevediet co robim
......bodovanie bolo 1a-6B 1b-6B 2-6B 3a-6B 3b-6B
-kedze pisomky uz skoncili mzoem to tu bez starosti dat si myslim.
ak by niekto vedel spravit tu denotacnu pls zaveste to tu niekde ... vdaka