Програмски језик — разлика између измена

: ''Рачунарски програмски језик'' је [[формални језик|језик]] који се користи за писање [[рачунарски програм|рачунарских програма]], чиме су обухваћени [[рачунар]] који изводи неку врсту рачунања<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. pp. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8,. {{page1|location=|publisher=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|природних језика]] по томе што се природни језици једино користе за комуникацију међу људима, док програмски језици исто тако омогућавају људима да комуницирају инструкције машинама.

Једно алтернативно гледиште на употребу језика сматра програмске језике теоретским констрактима за програмирање апстрактних машина, а рачунарске језике њиховим подскупом који се извршава на физичким рачунарима, који имају коначне хардверске ресурсе.<ref>R. Narasimahan, Programming Languages and Computers: A Unified Metatheory. pp. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8,. {{page1|location=|publisher=Academic Press. {{page|year=1994|isbn=978-0-12-012108-3|pages=215}}: "[...] the model [...] for computer languages differs from that [...] for programming languages in only two respects. In a computer language, there are only finitely many names--or registers--which can assume only finitely many values--or states--and these states are not further distinguished in terms of any other attributes. [author's footnote:] This may sound like a truism but its implications are far reaching. For example, it would imply that any model for programming languages, by fixing certain of its parameters or features, should be reducible in a natural way to a model for computer languages."</ref> [[John C. Reynolds|Џон Рејнолдс]] наглашава да су језици са [[formal specification|формалном спецификацијом]] у истој мери програмски језици колико су и језици намењени извршавању. Он исто тако сматра да су текстуални, па и чак графички уноси, који утичу на понашање рачунара програмски језици, упркос чињенице да они обично нису Тјуриншки комплетни, и напомиње да је игнорисање концепата програмских језика разлог постојања многих недостатака у улазним форматима.<ref>John C. Reynolds, ''Some thoughts on teaching programming and programming languages'', [[SIGPLAN]] Notices, Volume 43, Issue 11, November. (2008). pp. 109.</ref>