https://enciklopedija.cc/index.php?action=history&feed=atom&title=Formalna_semantika_programskih_jezikaFormalna semantika programskih jezika - Povijest promjena2026-08-06T15:23:55ZPovijest promjena ove stranice na wikijuMediaWiki 1.42.3https://enciklopedija.cc/index.php?title=Formalna_semantika_programskih_jezika&diff=44853&oldid=prevWikiSysop: Bot: Automatski unos stranica2021-08-21T04:01:43Z<p>Bot: Automatski unos stranica</p>
<p><b>Nova stranica</b></p><div><!--'''Formalna semantika programskih jezika'''-->U [[teoretsko računarstvo|teoretskom računarstvu]], '''formalna semantika''' je disciplina koja se bavi rigoroznim matematičkim proučavanjem značenja [[programski jezik|programskih jezika]] i modela [[računanje|računanja]].<br />
<br />
Formalna semantika jezika je dana [[matematički model|matematičkim modelom]] koji opisuje moguća računanja koja jezik opisuje.<br />
<br />
Postoje mnogi pristupi formalnoj semantici, koji se mogu razvrstati u tri glavna razreda:<br />
* '''[[Denotacijska semantika]]''', u kojoj je svaka fraza jezika prevedena u ''denotaciju'', tj. frazu u drugom jeziku. Denotacijska semantika slabo odgovora [[jezični procesor|kompilaciji]], iako je "ciljni jezik" obično matematički formalizam mjesto nekog drugog računalnog jezika. Na primjer, denotacijska semantika [[funkcijski programski jezik|funkcijskih jezika]] se često prevodi u [[teorija domena|teoriju domena]];<br />
*'''[[Operacijska semantika]]''', u kojoj se izravno opisuje izvršavanje jezika (mjesto prevođenjem). Operacijska semantika slabo odgovora [[interpreter (računarstvo)|interpretaciji]], iako je opet "jezik izgradnje" interpretera općenito matematički formalizam. Operacijska semantika može definirati [[apstraktni stroj]] (kao što je [[SECD stroj]]) i dati značenje frazama opisujući prelaze koje one induciraju nad stanjima stroja. Alternativno, kao sa čistim [[lambda račun]]om, operacijska semantika može biti definirana sintaksnim pretvorbama nad frazama samog jezika;<br />
* '''[[Aksiomatska semantika]]''', u kojo j se značenje daje frazama opisujući'' [[logika|logičke]] [[aksiom]]e'' koji se na njih primjenjuju. Aksiomatska semantika ne razlikuje značenje fraze i logičkih formula koji je opisuju; njezino značenje ''jest'' točno ono što o njoj može biti dokazano u nekoj logici. Kanonski primjer aksiomatske semantike jest [[Hoareova logika]].<br />
<br />
Razlika između triju širokih razreda pristupa može nekad izgledati mutna, ali svi poznati pristupi formalnoj semantici koriste gornje tehnike, ili neku njihovu kombinaciju.<br />
<br />
Osim izbora između denotacijskog, operacijskog i aksiomatskog pristupa, većina varijacija u sustavima formalne semantike izniče iz izbora podržavajućeg matematičkog formalizma.<br />
<br />
Područje proučavanja formalne semantike uključuje sljedeće:<br />
<br />
* definiciju semantičkih modela<br />
* odnose između različitih semantičkih modela<br />
* odnose između različitih pristupa značenju, i<br />
* odnose između računanja i temeljnih matematičkih struktura iz polja kao što su [[matematička logika|logika]], [[teorija skupova]], [[teorija modela]], [[teorija kategorija]] itd.<br />
<br />
Usko je povezana sa drugim područjima [[računarstvo|računarstva]], kao što su [[dizajniranje programskih jezika]], [[teorija tipova]], [[jezični procesor]]i i [[interpreter (računarstvo)|interpreter]]i, [[verifikacija programa]] i [[provjera modela]].<br />
<br />
== Vanjske poveznice ==<br />
* [https://web.archive.org/web/20050412180345/http://www.imm.dtu.dk/~riis/Wiley_book/wiley.html Semantics with Applications]<br />
* [https://web.archive.org/web/20061121134355/http://www.toontalk.com/English/computer.htm The Computer Science behind ToonTalk]<br />
<br />
== Izvori ==<br />
* Shriram Krishnamurthi. ''Programming Languages: Application and Interpretation''. ([http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ dostupno besplatno na Webu], kao [[PDF]])<br />
* [[John C. Reynolds]]. ''Theories of Programming Languages''. Cambridge University Press, 1998. ({{ISBN|0-521-59414-6}})<br />
* Carl Gunter. ''Semantics of Programming Languages''. MIT Press, 1992. ({{ISBN|0-262-07143-6}})<br />
* Glynn Winskel. ''The Formal Semantics of Programming Languages: An Introduction''. MIT Press, 1993 (paperback {{ISBN|0-262-73103-7}})<br />
<br />
[[Kategorija:Teoretsko računarstvo]]<br />
[[Kategorija:Semantika]]</div>WikiSysop