Содержание
Введение . . . . . . . . . . . . 3
1. Определение языка программирования . . . . . 5
2. Понятия синтаксиса, семантики и прагматики . 6
3. Синтаксис . . . . . . . . . 7
4. Семантика . . . . . . . . . 10
5. Прагматика . . . . . . . . 11
6. Пример явного выделения прагматического уровня . . . . . . . . . 13
7. Развитие языка Pascal линии Turbo .. . . . . . . . . . . . . . . 15
8. Абстрактный и конкретный синтаксис . .. . . . 16
Заключение . . . . . . . . . . . . . 19
Список использованной литературы . . .. . . . . . . . . . . . . . . . 20
Выдержка из текста
ВВЕДЕНИЕ
Синтаксис – сторона языка программирования, которая описывает структуру программ как наборов символов, безотносительно к содержанию. Синтаксису языка противопоставляется его семантика. Синтаксис языка описывает «чистый» язык, в то же время семантика приписывает значения (действия) различным синтаксическим конструкциям.
Каждый язык программирования имеет синтаксическое описание. Обычно синтаксис языка определяют посредством правил Бэкуса-Наура [3].
Чаще всего синтаксис проверяется на ранних стадиях компиляции. В интерпретируемых языках программирования проверка синтаксиса производится или в процессе интерпретации (выполнения), или в процессе предварительной компиляции в промежуточный код. Кроме того синтаксис может проверяться непосредственно при редактировании исходных текстов программ.
Семантика в программировании – дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.
…..
Список использованной литературы
Список использованной литературы
1. Борковский А.Б. Англо-русский словарь по программированию и информатике (с толкованиями). — М.: Русский язык, 1989.
2. Заморин А.П., Марков А.С. Толковый словарь по вычислительной технике и программированию: Основные термины. — М.: Русский язык, 1988..
3. Толковый словарь по вычислительным системам / Под ред. В.Иллингуорта, Э.Л.Глейзера, И.К.Пайла. — М.: Машиностроение, 1989. .
4. Лавров С.С. Основные понятия языков программирования. — М.: Финансы и статистика, 1982. — 80 с.Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. Ч.1. пер. с нем. — М.: Мир, 1990. — 336 с.; Ч.2. пер. с нем. — М.: Мир, 1990.
5. Культин Н.Б. Программирование в Delphi 2010. Самоучитель. — С.-Пб., 2010.
6. Архангельский А.Я. Object Pascal в Delphi 5. – М.: Бином, 1999.