Sémantika programovacích jazykov

[kOsTi]

noo to by bolo fajn

[TradeMark]

Moze byt to -e tak ze:

-e = e - (2 x e)?

Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?

Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) to staci ci sa s tym este cosi robi?
Dik

[johnyo13]

k tym poslednym prikladom treba hodnoty premennych v stave s0, inac sa nedaju vyriesit.
mna ale zaujima ako ma vyzerat ten 4 priklad?
v 2. prednaske je daco take, ze: FV(e1*e2) = FV(e1) U FV(e2). To je cele? A ako to bude v skupine F?
EDIT: bol som predbehnuty

[Casso]

mohol by si prosim ta, tie priklady aj vzorovo vyrat, aby som vedel co vsetko k tomu treba napisat a hlavne ako   vdaka

No pisal som to na forum este na cviceni minutu po zapoctovke takze v tej chvili by si odomna vela chcel:D

EDIT: k tym FV, ja som napisal len FV(e1*e2) = FV(e1) U FV(e2)

[Speedy2003]

ktomu 4. prikladu som sa pytal ci to tak staci, a povedala ze ano

[buhehe]

Moze byt to -e tak ze:

-e = e - (2 x e)?

Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?

Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) to staci ci sa s tym este cosi robi?
Dik

ja som dal tak:

E[[-e]] = 0 ak E[[e]] = 0
         = 0 - E[[e]] inak

[GrindMyAss]

E[|-e|] = 0 - E[|e|]

toto staci..lebo aj ked e bude nula tak to bude fungovat

[provasik]

sry kolegovia to abs(e) tak mozem napisat ako E[[abs(e)]]s = |E[[e]]s| , cize mozem tam pouzit numericku absolutnu hodnotu ? alebo je riesenie ine ?

Aj pleeeease, ak niekto moze v ramci kolegialnosti napisat ako presne vypada to riesenie prikladu z if-om, lebo neviem aka ma byt presne forma toho, povedzme ze zaciatocna podmienka bude so = [X -> 3, y->7]. Vasich 5 min, niekoho cely zivot )

[Casso]

sry kolegovia to abs(e) tak mozem napisat ako E[[abs(e)]]s = |E[[e]]s| , cize mozem tam pouzit numericku absolutnu hodnotu ? alebo je riesenie ine ?

numericku absolutnu hodnotu pouzit nemozes, musis to riesit cez podmienky, ak je vyraz mensi alebo rovny nule tak je to 0-E[[e]]s inak E[[e]]s

btw: pekny zart s prezenckou...

[ppt]

Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie.

[dungeo]

ludze mojo, z coho sa to vlastne ucite? lebo ja sice mam poznamky skoro z kazdeho cvika, ale vsetky su prakticky len kopie tabule 1:1, bez absolutneho pochopu... kde su tie novitzkej slajdy? alebo tie mi budu na nic?

[provasik]

BTW - moje vydenie prikladu z if v naturalnej semantike na http://www.megaupload.com/?d=L87QLICM

Prosim comments, ci je to OK, a ci treba riesenia tych sIEK rozpisovat az tak detailne

[Casso]

ludze mojo, z coho sa to vlastne ucite? lebo ja sice mam poznamky skoro z kazdeho cvika, ale vsetky su prakticky len kopie tabule 1:1, bez absolutneho pochopu... kde su tie novitzkej slajdy? alebo tie mi budu na nic?

no skoro sa zacinas zaoberat pochopenim cviceni... noviztkej prednasky su na hornade (login a heslo je uvedene par stran dozadu, staci prelistovat) Ja som sa to ucil len z poznamok z cviveni a z prednasok, a to uplne stacilo

[ppt]

Pls, dnesni dopisomkovani.. odpiste mi niekto

Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie.

Dik

[Casso]

Pls, dnesni dopisomkovani.. odpiste mi niekto

Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie.

Dik

pravidla naturalnej a štrukturalnej operacnej semantiky, prakticky vsetky pravidla ktore trebalo (sekvencia, skip, while, if..)

[provasik]

Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi ....

[sandusky]

Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi ....

to asi podla podmienky v if-e treba, ta najprv pouzijem asi 4os, neviem ...

[puq]

inac po pisomke ste este nieco robili? alebo sa islo domov?

[Gover]

Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi ....

to asi podla podmienky v if-e treba, ta najprv pouzijem asi 4os, neviem ...

moze to vyzerat takto?

alfa1=<P,s0> =>
alfa2=<x:=x+2; y:=x+1, s0> =>
alfa3=<y:=x+1; s1> =>
alfa4=s2

s1=s0[x->3]              B[[x<=5]]=tt
s2=s1[x->5]
s=s2=[x->5, y->6]

[DeNaTuReMaN]

Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg

[trek]

Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg

takto presne som toriesil aj ja

[Gover]

Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg

tam v druhom priklade by asi mal byt vsade znak B(bool) namiesto E(epsilonu) a zvysok by som rovnako riesil...

[Casso]

inac po pisomke ste este nieco robili? alebo sa islo domov?

Pisomka je na 45 minut, takze potom sme este prekladali program z jednoducheho programovacieho jazyka do abstraktneho stroja (to cudo zo zasobnikom)

[puq]

Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg

pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>

[trek]

Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg

pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>

ako to potom vyzera s tym pravidlom?