https://enciklopedija.cc/index.php?action=history&feed=atom&title=Operacijska_semantika Operacijska semantika - Povijest promjena 2026-08-08T17:46:08Z Povijest promjena ove stranice na wikiju MediaWiki 1.42.3 https://enciklopedija.cc/index.php?title=Operacijska_semantika&diff=39871&oldid=prev WikiSysop: Bot: Automatski unos stranica 2021-08-20T03:09:51Z <p>Bot: Automatski unos stranica</p> <p><b>Nova stranica</b></p><div>&lt;!--&#039;&#039;&#039;Operacijska semantika&#039;&#039;&#039;--&gt;U [[računarstvo|računarstvu]], &#039;&#039;&#039;operacijska semantika&#039;&#039;&#039; je način davanja značenja [[računalni program|računalnim programima]] na matematički rigorozan način.<br /> <br /> Operacijska semantika općenito koristi neki apstraktni stroj poput [[interpreter]]a za definiciju [[formalni jezik|jezika]]. Ovaj stroj je apstraktan u smislu da koristi terme jezika kao svoj [[strojni kod]]. Za jednostavne jezike, stanje stroja je jednostavno term, i ponašanje stroja je definirano funkcijom prijelaza koja, za svako stanje, ili daje sljedeće stanje, ili obavlja korak pojednostavljenja terma, ili kaže da se stroj zaustavio. Značenje terma &#039;&#039;t&#039;&#039; se može uzeti kao kao konačno stanje stroja sa &#039;&#039;t&#039;&#039; kao inicijalnim stanjem.<br /> <br /> &#039;&#039;Evaluacijska povijest&#039;&#039; je slijed internih konfiguracija interpretera. Značenje programa u jeziku je evaluacijska povijest koju interpreter producira prilikom evaluacije programa.<br /> <br /> Nedostatak operacijske semantike jest u tome što se program može shvatiti samo kao slijed konfiguracija interpretera – ne postoji strojno-neovisna definicija. Također je problem i u samom interpreteru, koji je predstavljen kao [[algoritam]], obično poprilično složen za netrivijalne jezike, a nerijetko složen kao i sam jezik kojeg definira.<br /> <br /> &#039;&#039;&#039;Strukturalna operacijska semantika&#039;&#039;&#039; jest ona maloprije opisanog oblika - u kojem se term evaluira u malim koracima. U &#039;&#039;&#039;prirodnoj semantici&#039;&#039;&#039; se koristi veliki korak, u kojem jedan prijelaz apstraktnog stroja evaluira term u u konačni rezultat.<br /> <br /> Prvi dana operacijska semantika jest ona od [[lambda račun]]a.<br /> <br /> {{Mrva-rač}}<br /> [[Kategorija:Semantika]]</div> WikiSysop