Язык программирования
Язык программирования искусственного языка предназначен для передачи инструкций на ЭВМ, в частности компьютер. Языки программирования могут быть использованы для создания программ, которые управляют поведением ЭВМ и / или вывода точных алгоритмов.
Самые ранние языки программирования предшествовали изобретению компьютера, и были использованы для прямого контакта с машинами, например жаккардовые станки, либо игрок фортепиано. Тысячи различных языков программирования были созданы, в основном, в области компьютерных технологий, многие создаются, и по сей год. Большинство языков программирования описывают вычисления в императивном стиле, т. е. в виде последовательности команд, хотя в некоторых языках, таких как те, которые поддерживают функциональное программирование или логическое программирование, используют альтернативные формы описания.
Описание языка программирования, как правило, разделено на две составляющие - синтаксис (форма) и семантика (смысл). Некоторые языки определяется спецификацией «документ» (например, язык программирования C определяется стандартом ISO), в то время как на других языках, таких как Perl 5 и ранее, занимают доминирующее реализации, которые используются в качестве эталона.
Определения
Язык программирования обозначен для написания программ, которые являются характеристиками вычислений или алгоритмов. Некоторые, но не все, авторы ограничиваются термином «язык программирования» как языком, в котором можно выразить все возможные алгоритмы. Важные черты языка программирования обычно представляют собой:
Функции и цели: язык программирования, это язык, используемый для написания компьютерных программ, которые включают компьютер, выполняющие своего рода вычисления или алгоритмы и, возможно, управляют внешними устройствами, такими как принтеры, дисководы, роботы, и так далее. Например, PostScript программа часто создаётся другой программой для управления принтером компьютера или дисплеем. В целом, на языке программирования можно описывать вычисления на некоторые, возможно, абстрактные машины. Принято считать, что полная спецификация языка программирования включает в себя описание, возможно, идеализации из машины или процессора для данного языка. В большинстве практических контекстах, язык программирования включает в себя компьютер, следовательно, языки программирования, как правило, определены и изучены таким образом. Языки программирования отличаются от естественных языков тем, что естественные языки используются только для взаимодействия между людьми, в то время как языки программирования также позволяют людям общаться с машинами.
Абстракции: языки программирования обычно содержат абстракции для определения и манипулирования структурами данных или управлением потоком выполнения. Практической необходимостью является поддержка языка программирования адекватной абстракции, которая выражается принципом абстракции. Этот принцип иногда сформулирован в рекомендациях для программиста, чтобы обеспечить надлежащее использование таких абстракций.
Выразительная мощность: теория вычислений классифицирует языки расчетов. Весь Тьюринга язык может реализовать тот же набор алгоритмов. ANSI / ISO SQL и Charity являются примерами языков, которые не Тьюринговы, но часто называют языками программирования.
Такие языки, как XML, HTML или TROFF, определяют структурированные данные, обычно они не рассматриваются как языки программирования. Однако, эти языки могут поделиться синтаксисом языка разметки, если вычислительная семантика определена. XSLT, например, Тьюринга XML-диалект. Кроме того, LaTeX, который в основном используется для структурирования документов, также содержит Тьюринга подмножество.
Термин компьютерного языка иногда используется наравне с языком программирования. Тем не менее, использование обоих терминов варьируется между авторами, в том числе точный смысл каждого из них. Один описывает использование языков программирования, как подмножество языков программирования. В этом термине, Языки, интерпретированы как вычислительные, имеют различные цели, чем просто выражение компьютерных программ общим назначением компьютерных языков. Например, языки разметки иногда называют компьютерными языками, чтобы подчеркнуть, что они не предназначены для использования вне программирования. Другое использование касается языков программирования, как теоретические конструкции для программирования абстрактной машины и компьютерные языки, так и его подмножеством, которые работают на физических компьютерах, имеющие ограниченные ресурсы оборудования. Джон Рейнольдс подчеркивает, что языки формальных спецификаций такие же языки программирования, как и языки, предназначенные для исполнения. Он также утверждает, что текстовое и графическое, даже входные форматы, которые влияют на поведение компьютера - языки программирования, несмотря на то, что они, как правило, не Тьюринг-полные, и отмечает, что незнание концепций языка программирования является причиной многих недостатков в форматы входного сигнала.