Език за програмиране: Разлика между версии

Терминът ''компютърен език'' понякога е взаимозаменяем с език за програмиране.<ref>Robert A. Edmunds, The Prentice-Hall standard glossary of computer terminology, Prentice-Hall, 1985, p. 91</ref> Въпреки това, употребата на двата термина е варира при различните автори, включително обхвата на всеки един от тях. При едната употреба, езиците за програмиране се описват като подмножествто на компютърните езици.<ref>Pascal Lando, Anne Lapujade, Gilles Kassel, and Frédéric Fürst, ''[http://www.loa-cnr.it/ICSOFT2007_final.pdf Towards a General Ontology of Computer Programs]'', [http://dblp.uni-trier.de/db/conf/icsoft/icsoft2007-1.html ICSOFT 2007], pp. 163-170</ref> В този ред на мисли, езици, използвани в компютинга, които имат различна цел от това да се създават компютърни програми са обикновено целеви компютърни езици. Така например, езиците за маркиране, понякога биват наричани компютърни езици, с цел да се подчертае, че не се използват за програмиране.<ref>S.K. Bajpai, ''Introduction To Computers And C Programming'', New Age International, 2007, ISBN 812241379X, p. 346</ref> При другата употреба на термина, езиците за програмиране се разглеждат като теоретични конструкции за програмиране на абстрактни машини, и компютърните езици като тяхно подмножество, които работят на физически компютри, които имат ограничени хардуерни ресурси.<ref>R. Narasimahan, Programming Languages and Computers: A Unified Metatheory, pp. 189--247 in Franz Alt, Morris Rubinoff (eds.) Advances in computers, Volume 8, Academic Press, 1994, ISBN 012012108, p.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> [[Джон Рейнолдс]] подчертава, че формалните езици, са точно толкова, колкото езици за програмиране, колкото и езиците, предназначени за изпълнение. Той също така твърди, че текстови и дори графични входни формати, които влияят на поведението на компютъра са програмни езици, независимо от факта, те често не са Тюрингови, и отбелязва, че това непознаване на концепциите на програмните езици е причина за много недостатъци във входните формати.<ref>John C. Reynolds, ''Some thoughts on teaching programming and programming languages'', [[SIGPLAN]] Notices, Volume 43, Issue 11, November 2008, p.109</ref>

 

== Вижте също ==

* [[Списък на езици за програмиране]]

 

== Бележки ==