Author Topic: Sémantika programovacích jazykov (Read 33231 times)

Ing. nemtom · « **Reply #100 on:** 27.05.2009, 07:19:18 »

Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;

nechce sa toto dakomu zverejnit jak to na vypadat?

LM · « **Reply #101 on:** 27.05.2009, 13:52:37 »

nemton:
naturalna:
pre 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[] = ff pises ze sa nevykona nic z cyklu

pre strutruralnu pises:
<for c1 to c2 do S, s> => <if 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[], S ° c1:=c1+1 ° g, id)

myslim ze takto by to malo byt.

LM · « **Reply #102 on:** 27.05.2009, 13:52:59 »

sakra, znacky pre bolt to cuca

psicho · « **Reply #103 on:** 27.05.2009, 22:42:37 »

to na skuske moze byt aj taky priklad ze denotacna semantika pre program kdesu procedury ?

carin · « **Reply #104 on:** 28.05.2009, 03:41:25 »

Ja akurat tolko viem, ze nebudu priklady na staticku semantiku...
A ja niiiiic neviem

nic

Ing. nemtom · « **Reply #105 on:** 28.05.2009, 06:10:40 »

ja viem spravit syntax a semantiku pre osmickove|hocijake cisla

cool

carin · « **Reply #106 on:** 28.05.2009, 06:12:00 »

to je supeeer

a dalsich 99 percent tiez ovladas?

Ing. nemtom · « **Reply #107 on:** 28.05.2009, 06:12:23 »

daco hej daco ne, snad dajak vykecam

bliky · « **Reply #108 on:** 28.05.2009, 16:43:48 »

no jak dneska? jaka percentualna uspesnost?

carin · « **Reply #109 on:** 28.05.2009, 17:16:31 »

dobre dobre... i ked pri novitzej je priemer A a pri slodicakovi C

ale inak fajn...

BTW: kto by chcel ist na skusku 4.juna, nech sa ozve.... uvolnim miesto

psicho · « **Reply #110 on:** 28.05.2009, 18:15:31 »

ale brutalne zalezi od toho slodicak aku ma stastnu ruku

Ing. nemtom · « **Reply #111 on:** 28.05.2009, 19:46:06 »

novitzka rulez, neni ocom, neni ocom, respekt...

Ing. nemtom · « **Reply #112 on:** 28.05.2009, 19:58:12 »

dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna

Ing. nemtom · « **Reply #113 on:** 28.05.2009, 20:01:34 »

psicho · « **Reply #114 on:** 28.05.2009, 22:35:33 »

Quote from: Bc. nemtom on 28.05.2009, 19:58:12

dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna

nj, takze kedy ides nabuduce opravit na A ?

MKI · « **Reply #115 on:** 28.05.2009, 22:41:54 »

akoze akoze ako tie deifnicie (fixne body) slodicakove v denotacnej smentike a tie dokazy porovnanie denotacnej a opracnej smentikyy

treba vediet ?

MKI · « **Reply #116 on:** 28.05.2009, 22:49:58 »

a tiez ci treba staticku a abastraktny stroj vediet

Ing. nemtom · « **Reply #117 on:** 28.05.2009, 22:52:33 »

cim vac viiiiiiiis, tym lepsie, viiiiiiiiiis?

LM · « **Reply #118 on:** 28.05.2009, 23:20:26 »

joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

Mar0sh · « **Reply #119 on:** 30.05.2009, 04:21:58 »

to si urobil naschval, aby si mal A-cko, vsak?

Ing. nemtom · « **Reply #120 on:** 30.05.2009, 08:10:23 »

Quote from: LM on 28.05.2009, 23:20:26

joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol

LM · « **Reply #121 on:** 30.05.2009, 17:09:08 »

Quote from: Mar0sh on 30.05.2009, 04:21:58

to si urobil naschval, aby si mal A-cko, vsak?

citim sa pred tebou ako vyzleceny zo siat

LM · « **Reply #122 on:** 30.05.2009, 17:10:06 »

Quote from: Bc. nemtom on 30.05.2009, 08:10:23

Quote from: LM on 28.05.2009, 23:20:26
joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol

vedeli sme o tebe ze si divny a teraz uz aj vieme rpeco

MKI · « **Reply #123 on:** 30.05.2009, 18:38:22 »

este by ste mohli popisat ake boli priklady

robil niekto ja neoficialny tahak ?

Ing. nemtom · « **Reply #124 on:** 30.05.2009, 18:39:55 »

na kkt ti tahak, ajtak ta preskusaju ustne, inak malo par ludi vytlacene prezentacie

News:

Author Topic: Sémantika programovacích jazykov (Read 33231 times)

bliky