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

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Sémantika programovacích jazykov
« Reply #50 on: 14.04.2010, 18:31:13 »
noo to by bolo fajn ;)
:trestac:

TradeMark

  • Hero Member
  • *****
  • Posts: 630
  • He ho forgets, will be destined to remember...
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #51 on: 14.04.2010, 18:54:06 »
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

« Last Edit: 14.04.2010, 19:15:43 by TradeMark »
Pičoch jest veľo, ale nalivačoch malo!

johnyo13

  • Hero Member
  • *****
  • Posts: 629
  • I can stand my own ground...
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #52 on: 14.04.2010, 19:19:58 »
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

  • Full Member
  • ***
  • Posts: 216
  • XSS locator
    • View Profile
    • casso <at> ic <at> cz
Re: Sémantika programovacích jazykov
« Reply #53 on: 14.04.2010, 19:43:16 »
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

  • Jr. Member
  • **
  • Posts: 94
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #54 on: 14.04.2010, 20:23:27 »
ktomu 4. prikladu som sa pytal ci to tak staci, a povedala ze ano

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #55 on: 14.04.2010, 21:31:31 »
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

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #56 on: 14.04.2010, 22:23:27 »
E[|-e|] = 0 - E[|e|]

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

provasik

  • Full Member
  • ***
  • Posts: 136
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #57 on: 14.04.2010, 23:10:31 »
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 :))
« Last Edit: 14.04.2010, 23:43:22 by provasik »

Casso

  • Full Member
  • ***
  • Posts: 216
  • XSS locator
    • View Profile
    • casso <at> ic <at> cz
Re: Sémantika programovacích jazykov
« Reply #58 on: 14.04.2010, 23:46:00 »
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

  • Hero Member
  • *****
  • Posts: 935
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #59 on: 15.04.2010, 00:11:16 »
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

  • Full Member
  • ***
  • Posts: 220
  • ked avatar, tak avatar :P
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #60 on: 15.04.2010, 00:21:41 »
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?
Základom automatizácie tvorby jazykových procesorov je ekvivalencia reprezentácie jazyka generovaním a rozpoznávaním.

provasik

  • Full Member
  • ***
  • Posts: 136
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #61 on: 15.04.2010, 00:23:20 »
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

  • Full Member
  • ***
  • Posts: 216
  • XSS locator
    • View Profile
    • casso <at> ic <at> cz
Re: Sémantika programovacích jazykov
« Reply #62 on: 15.04.2010, 00:27:50 »
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

  • Hero Member
  • *****
  • Posts: 935
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #63 on: 15.04.2010, 00:39:29 »
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

  • Full Member
  • ***
  • Posts: 216
  • XSS locator
    • View Profile
    • casso <at> ic <at> cz
Re: Sémantika programovacích jazykov
« Reply #64 on: 15.04.2010, 00:42:22 »
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

  • Full Member
  • ***
  • Posts: 136
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #65 on: 15.04.2010, 02:07:13 »
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 .... :o :o

sandusky

  • Newbie
  • *
  • Posts: 18
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #66 on: 15.04.2010, 02:29:58 »
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 .... :o :o

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

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #67 on: 15.04.2010, 03:24:30 »
inac po pisomke ste este nieco robili? alebo sa islo domov?

Gover

  • Jr. Member
  • **
  • Posts: 68
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #68 on: 15.04.2010, 04:40:46 »
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 .... :o :o

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]
« Last Edit: 15.04.2010, 04:44:40 by Gover »

DeNaTuReMaN

  • Sr. Member
  • ****
  • Posts: 331
  • Achab
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #69 on: 15.04.2010, 17:52:13 »
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
V nedelu na obed budu krky

trek

  • Hero Member
  • *****
  • Posts: 568
  • cestu sme mali spolo?nú ale nohy ma bolia vlastné
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #70 on: 15.04.2010, 18:21:54 »
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

  • Jr. Member
  • **
  • Posts: 68
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #71 on: 15.04.2010, 18:32:57 »
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

  • Full Member
  • ***
  • Posts: 216
  • XSS locator
    • View Profile
    • casso <at> ic <at> cz
Re: Sémantika programovacích jazykov
« Reply #72 on: 15.04.2010, 19:06:51 »
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

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #73 on: 15.04.2010, 19:14:08 »
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

  • Hero Member
  • *****
  • Posts: 568
  • cestu sme mali spolo?nú ale nohy ma bolia vlastné
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #74 on: 15.04.2010, 19:20:09 »
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?