Языки программирования достаточно сильно отличаются друг от друга по назначению, структуре, семантической сложности, методам реализации. Например Фортран, ориентированный на научные расчеты, C, предназначенный для системного программирования, Пролог, эффективно описывающий задачи логического вывода.
Общие характеристики и параметры:
- 1. Языки программирования предназначены для облегчения программирования. Поэтому их операторы и структуры данных более мощные, чем в машинных языках.
- 2. Для повышения наглядности программ вместо числовых кодов используются символические или графические представления конструкций языка, более удобные для их восприятия человеком.
- 3. Для любого языка определяется:
- ? Множество символов, которые можно использовать для записи правильных программ (алфавит), основные элементы.
- ? Множество правильных программ (синтаксис).
- ? «Смысл» каждой правильной программы (семантика).
Язык программирования, как и любая сложная система, определяется через иерархию понятий, задающую взаимосвязи между его элементами. Эти понятия связаны между собой в соответствии с синтаксическими правилами.
В связи с этим для всех языков и их программ можно дополнительно выделить следующие общие черты: каждый язык должен содержать правила, позволяющие порождать программы, соответствующие этому языку или распознавать соответствие между написанными программами и заданным языком.
Связь структуры программы с языком программирования называется синтаксическим отображением.
Процесс нахождения синтаксической структуры заданной программы называется синтаксическим разбором.
Другой характерной особенностью всех языков является их семантика. Она определяет смысл операций языка, корректность операндов.
Описание семантики и распознавание ее корректности обычно является самой трудоемкой и объемной частью транслятора.
Транслятор — обслуживающая программа, преобразующая исходную программу, предоставленную на входном языке программирования, в рабочую программу, представленную на объектном языке.В настоящее время трансляторы разделяются на три основные группы: ассемблеры, компиляторы и интерпретаторы.
Ассемблер — системная обслуживающая программа, которая преобразует символические конструкции в команды машинного языка. Специфической чертой ассемблеров является то, что они осуществляют дословную трансляцию одной символической команды в одну машинную.
Компилятор — это обслуживающая программа, выполняющая трансляцию на машинный язык программы, записанной на исходном языке программирования.
Интерпретатор — программа или устройство, осуществляющее пооператорную трансляцию и выполнение исходной программы.Недостатком интерпретаторов является низкая скорость выполнения программ.
