Иску́сственные языки́ — специальные языки, которые, в отличие от естественных, сконструированы целенаправленно. Таких языков существует уже более тысячи, и постоянно создаются всё новые и новые.
Различают следующие виды искусственных языков:
* Языки программирования и компьютерные языки — языки для автоматической обработки информации с помощью ЭВМ.
* Информационные языки — языки, используемые в различных системах обработки информации.
* Формализованные языки науки — языки, предназначенные для символической записи фактов и теорий математики, логики, химии и других наук.
* Языки несуществующих народов, созданные в беллетристических или развлекательных целях. Наиболее известны: эльфийский язык, придуманный Дж. Толкином, и клингонский язык из фантастического сериала «Star Trek» (смотрите статью Вымышленные языки)
* Международные вспомогательные языки — языки, создаваемые из элементов естественных языков и предлагаемые в качестве вспомогательного средства межнационального общения.
Есте́ственный язы́к — в лингвистике и философии языка язык, используемый для общения людей (в отличие от формальных языков и других типов знаковых систем, также называемых языками в семиотике) и не созданный искусственно (в отличие отискусственных языков). Словарь и грамматические правила естественного языка определяются практикой применения и не всегда бывают формально зафиксированы.
Система естественного языка относится к многоуровневым системам, т.к. состоит из качественно разных элементов – фонем, морфем, слов, предложений, отношения между которыми сложны и многогранны. Что касается структурной сложности естественного языка, то язык называют самой сложной из знаковых систем. По структурному основанию различают также детерминированные и вероятностные семиотические системы. Естественный язык принадлежит к вероятностным системам, в которых порядок следования элементов не является жёстким, а носит вероятностный характер[6]. Семиотические системы разделяют также на динамические, подвижные и статические, неподвижные. Элементы динамических систем меняют своё положение по отношению друг к другу, тогда как состояние элементов в статических системах неподвижно, устойчиво. Естественный язык относят к динамическим системам, хотя в нём присутствует и статические признаки.
Язы́к программи́рования — формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических,синтаксических и семантических правил, задающих внешний вид программы и действия, которые выполнит исполнитель (компьютер) под её управлением.
Со времени создания первых программируемых машин человечество придумало более двух с половиной тысяч языков программирования.[1] Каждый год их число увеличивается. Некоторыми языками умеет пользоваться только небольшое число их собственных разработчиков, другие становятся известны миллионам людей. Профессиональные программисты иногда применяют в своей работе более десятка разнообразных языков программирования.
Существует несколько подходов к определению семантики языков программирования.
Наиболее широко распространены разновидности следующих трёх: операционного, деривационного (аксиоматического) и денотационного (математического).
· При описании семантики в рамках операционного подхода обычно исполнение конструкций языка программирования интерпретируется с помощью некоторой воображаемой (абстрактной) ЭВМ.
· Деривационная семантика описывает последствия выполнения конструкций языка с помощью языка логики и задания пред- и постусловий.
· Денотационная семантика оперирует понятиями, типичными для математики — множества, соответствия, а также суждения, утверждения и др.
