Програмски језик — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
м Разне исправке |
||
Ред 41:
: ''Рачунарски програмски језик'' је [[формални језик|језик]] који се користи за писање [[рачунарски програм|рачунарских програма]], чиме су обухваћени [[рачунар]] који изводи неку врсту рачунања<ref name=sigplan>{{cite web|author=[[Association for Computing Machinery|ACM]] SIGPLAN|title=Bylaws of the Special Interest Group on Programming Languages of the Association for Computing Machinery|url=http://www.acm.org/sigs/sigplan/sigplan_bylaws.htm|accessdate = 19. 6. 2006|year=2003|deadurl=no|archiveurl=https://web.archive.org/web/20060622110145/http://www.acm.org/sigs/sigplan/sigplan_bylaws.htm|archivedate = 22. 6. 2006.|df=dmy-all}}, ''The scope of SIGPLAN is the theory, design, implementation, description, and application of computer programming languages - languages that permit the specification of a variety of different computations, thereby providing the user with significant control (immediate or delayed) over the computer's operation.''</ref> или [[алгоритам]] и могуће контролу спољашњих уређаја као што су [[штампач]]и, [[Disk storage|дискови]] за чување података, [[робот]]и,<ref name="robots">{{cite web |url=http://www.cs.brown.edu/people/tld/courses/cs148/02/programming.html |title=Programming Robots |accessdate = 23. 9. 2006. |last=Dean|first=Tom |year=2002|work=Building Intelligent Robots |publisher=Brown University Department of Computer Science |deadurl=no |archiveurl=https://web.archive.org/web/20061029045949/http://www.cs.brown.edu/people/tld/courses/cs148/02/programming.html |archivedate = 29. 10. 2006. |df=dmy-all }}</ref> и тако даље. На пример, -{[[PostScript]]}- програме фреквентно праве други програми ради контроле рачунарског притера или дисплеја. Генералније, програмски језик може да опише рачунање на некој, можда апстрактној, машини. Генерално је прихваћено да комплетна спецификација за програмски језик обухвата опис, често идеализовани, машине или процесора за тај језик.<ref name=nara2>R. Narasimahan, Programming Languages and Computers: A Unified Metatheory. стр. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8, Academic Press. {{page|year=1994|isbn=978-0-12-012108-3|pages=193}} : "a complete specification of a programming language must, by definition, include a specification of a processor--idealized, if you will--for that language." [the source cites many references to support this statement]</ref> У већини практичних сценарија, програмски језик је везан за рачунар; консеквентно, програмски језици се обично дефинишу и проучавају на тај начин.<ref>{{Cite book|last=Ben Ari|first=Mordechai|title=Understanding Programming Languages|publisher=John Wiley and Sons|year=1996|quote=Programs and languages can be defined as purely formal mathematical objects. However, more people are interested in programs than in other mathematical objects such as groups, precisely because it is possible to use the program—the sequence of symbols—to control the execution of a computer. While we highly recommend the study of the theory of programming, this text will generally limit itself to the study of programs as they are executed on a computer.}}</ref> Програмски језици се разликују од [[natural language|природних језика]] по томе што се природни језици једино користе за комуникацију међу људима, док програмски језици исто тако омогућавају људима да комуницирају инструкције машинама.
; Апстракције
: Програмски језици обично садрже [[abstraction (computer science)|апстракције]] за дефинисање и манипулисање [[структура података|структурама података]] или контролисање [[контрола тока|извршног протока]]. Практична неопходност да програмски језик подржава адекватне апстракције је изражена [[Abstraction principle (computer programming)|принципом апстракције]],
; Изражајна моћ
: [[Теорија израчунљивости]] класификује језике по прорачунима које су способни да изразе. У свим језицима који су потпуни у [[Turing completeness|Тјуринговом]] смислу може се имплементирати исти сет [[алгоритам]]а. [[SQL-92|-{ANSI/ISO SQL-92}-]] и [[Charity (programming language)|-{''Charity''}-]] су примери језика који нису Тјурингов потпуни, мада се често називају програмским језицима.<ref>{{cite web|author=Digital Equipment Corporation|title=Information Technology - Database Language SQL (Proposed revised text of DIS 9075)|url=http://www.contrib.andrew.cmu.edu/~shadow/sql/sql1992.txt|work=ISO/IEC 9075:1992, Database Language SQL|accessdate = 29. 6. 2006.|deadurl=no|archiveurl=https://web.archive.org/web/20060621035823/http://www.contrib.andrew.cmu.edu/%7Eshadow/sql/sql1992.txt|archivedate = 21. 6. 2006.|df=dmy-all}}</ref><ref>{{cite web|author=The Charity Development Group|title=The CHARITY Home Page|url=http://pll.cpsc.ucalgary.ca/charity1/www/home.html|date=December 1996|accessdate = 29. 6. 2006.|deadurl=no|archiveurl=https://web.archive.org/web/20060718010551/http://pll.cpsc.ucalgary.ca/charity1/www/home.html|archivedate = 18. 7. 2006.|df=dmy-all}}, ''Charity is a categorical programming language...'', ''All Charity computations terminate.''</ref>
[[Jezik za obeležavanje|Језици за обележавање]] као што су -{[[XML]]}-, -{[[HTML]]}-, или -{[[troff]]}-, и који дефинишу [[Data model|структуиране податке]], обично се не сматрају програмским језицима.<ref>[http://www.w3.org/XML/1999/XML-in-10-points.html XML in 10 points] {{webarchive|url=https://web.archive.org/web/20090906083110/http://www.w3.org/XML/1999/XML-in-10-points.html |date = 6. 9. 2009. }} [[W3C]], 1999, ''XML is not a programming language.''</ref>{{sfn|Powell|2003|
Термин ''рачунарски језик'' се понекад користи синонимно са програмским језиком.<ref>Robert A. Edmunds, The Prentice-Hall standard glossary of computer terminology, Prentice-Hall, (1985). стр. 91</ref> Међутим, употреба ова два термина варира међу ауторима, а постоје разлике и у погледу њиховог тачног опсега. Један облик употребе описује програмске језике као подскуп рачунарских језика.<ref>Pascal Lando, Anne Lapujade, Gilles Kassel, and Frédéric Fürst, ''[http://home.mis.u-picardie.fr/~site-ic/site/IMG/pdf/ICSOFT2007_final.pdf Towards a General Ontology of Computer Programs] {{webarchive|url=https://web.archive.org/web/20150707093557/http://home.mis.u-picardie.fr/~site-ic/site/IMG/pdf/ICSOFT2007_final.pdf |date = 7. 7. 2015. }}'', [http://dblp.uni-trier.de/db/conf/icsoft/icsoft2007-1.html ICSOFT 2007] {{webarchive|url=https://web.archive.org/web/20100427063709/http://dblp.uni-trier.de/db/conf/icsoft/icsoft2007-1.html |date = 27. 4. 2010. }}. стр. 163-170</ref> У том смислу, језици који се користе у рачунарству са различитим циљевима него што су изражавања рачунарких програма генерално су наменски дизајнирани рачунарски језици. На пример, језици за обележавање се понекад називају рачунарским језицима да би се нагласило да они нису намењени да се користе за програмирање.<ref>S.K. Bajpai, ''Introduction To Computers And C Programming'', New Age International. {{page|year=2007|isbn=978-81-224-1379-3|pages=346}}</ref>
Ред 85:
== Литература ==
* {{Cite book |ref= harv|last=
{{refbegin|30em}}
* {{Cite book |ref= harv|last=Schmidt|first=David A.|title=The structure of typed programming languages|publisher=MIT Press|year=1994|isbn=978-0-262-19349-8|pages=32}}
* {{Cite book |ref= harv|last=Ettinger|first=James|year=2004|title=Jacquard's Web|publisher=Oxford University Press|pages=}}
* {{Cite book |ref= harv|last=Powell|first=Thomas|title=HTML & XHTML: the complete reference|publisher=McGraw-Hill|year=2003|isbn=978-0-07-222942-4|quote=''HTML is not a programming language.''|pages=25}}
|