Алгоритмические языки

Вычислительная структура значений истинности

Бесконечные последовательности

Неоднородные конечные последовательности

Однородные конечные последовательности

Вычислительная структура символов

Вычислительная структура вещественных чисел

Состоит из множества вещественных чисел и арифметических операций с вещественными результатами. В отличие от целых чисел, для вещественных чисел нет операций получения последующего или предыдущего числа.

Типичное представление вещественных чисел в Паскале осуществляется с помощью типа данных Real.

Состоит из множества символов (знаков), для которых выполняются некоторые операции, например, сравнения. Символы в языке Паскаль представляются с помощью типа Char.

Состоит из множества конечных последовательностей, элементами которых служат данные одного и того же типа, например числа или символы. В Паскале данной вычислительной структуре соответствуют массивы. Конечные последовательности легко реализуются также динамически в виде списков (используется ссылочный тип). Представления с помощью строк или списков позволяют последовательностям менять свои размеры во время выполнения программы.

Состоит из множества конечных последовательностей, элементы которых могут быть данными разных типов. В Паскале данной вычислительной структуре соответствуют записи.

Абстракции заранее не ограниченных последовательностей в языках программирования соответствуют файлы.

При выполнении алгоритма часто необходим разбор случаев (разветвление по условию), и поэтому необходимо иметь возможность формально выражать выполнение или невыполнение тех или иных условий. Поэтому вводится вычислительная структура значений истинности, состоящая из двух элементов данных «истина» и «ложь» - соответственно True и False в Паскале.

Использованный ранее неформальный способ описания алгоритмов отличается следующими недостатками:

· громоздкость и излишняя многословность;

· неоднозначность понимания.

Для представления, улучшения читаемости и для простоты представления алгоритмов, которые будут выполняться на компьютере, применяются алгоритмические языки (языки программирования).

Запись алгоритма на языке программирования называется п рограммой.

При конструировании алгоритмического языка необходимо:

· исходить из некоторого набора вычислительных структур (структур данных);

· вводить как составные операции, так и составные (структурированные) объекты;

· выбрать форму, удобную как для человека, который описывает алгоритм, так и для человека, который должен будет читать и понимать этот алгоритм, - форму, соответствующую кругу человеческих понятий и представлений.

Три составляющие (любого) языка: алфавит, синтаксис и семантика.

Алфавит - набор основных символов, «букв алфавита», никакие другие символы в предложениях языка не допускаются.

Синтаксис - система правил, определяющая допустимые конструкции из букв алфавита. Синтаксис отвечает на вопрос, является ли последовательность символов текстом (программой) на данном языке или нет?

Семантика - система правил, истолковывающая отдельные конструкции языка с точки зрения процесса обработки (смысл программы).

При описании языка и при построении алгоритма используются понятия языка. Любое понятие алгоритмического языка имеет свой синтаксис и свою семантику.

Точнее:

· синтаксические правила показывают, как образуется данное понятие из других понятий и (или) букв алфавита;

· семантические правила определяют свойства данного понятия в зависимости от свойств используемых в них понятий.

Дата добавления: 2014-01-15