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

Если речь идёт о составлении алгоритмов для процессора ЭВМ (электронно-вычислительной машины), исполнителем является процессор. Упрощённая модель процессора содержит устройство считывания данных, стёк (специальную оперативную память небольшого объёма, предназначенную для временного хранения данных) и арифметическое устройство, которое может выполнять арифметические действия.

Предположим, что программа, составленная для такого процессора, содержит числовые данные и символы арифметических действий над этими данными. Вот пример такой программы, предназначенной для вычисления сумм двух чисел 2 и 3:

2, 3, +

Проследим выполнение этой программы. Первая операция - считывание в стёк значения 2. Затем в стёк считывается второе значение (3). Первое значение при этом сдвигается во вторую ячейку памяти. Третий шаг выполнения программы – вычисление суммы двух считанных значений (они называются операндами). Результат этой операции – значение 5 – записывается в первую ячейку стёка.

Был рассмотрен пример простейшей программы. Она является записью алгоритма решения некоторого класса задач – задач вычисления суммы двух чисел. Обозначим эти числа a и b. Тогда алгоритм можно записать следующим образом:

1. Считать число a.

2. Считать число b.

3. Выполнить суммирование c := a + b.

4. Вывести число c.

Это пример записи алгоритма на естественном языке, то есть на языке человеческого общения. Видно, что формулировка алгоритма не зависит от конкретных значений переменныхa и b, поэтому его можно применять для решения достаточно большого числа сходных задач, вместе составляющих целый класс задач суммирования. Алгоритм описывает действия не над конкретными значениями, а над абстрактными объектами.

Основными объектами программирования являются переменные. Переменные в программе отличаются от переменных, используемых в записи математических формул. Несмотря на сходство терминов, правила использования переменных в программах для компьютера отличаются от правил работы с математическими переменными. Это различие необходимо уяснить. В программировании переменную можно трактовать как одну или несколько ячеек оперативной памяти компьютера, которым присвоено определённое имя. Содержимое этих ячеек может меняться, но имя переменной остаётся неизменным. В математике значение переменной в рамках определённой задачи неизменно, но меняется в других задачах из данного класса. Именно поэтому конструкция

а := а + 1

воспринимается программистом совершенно естественно, а уравнение

a = a + 1

математик сочтёт неверным. В первом случае имеется в виду вычисление суммы содержимого ячейки а и числовой константы 1 и занесение полученного результата в ту же ячейку а. Второй случай равносилен неверному тождеству 0 = 1.

Оставим алгоритм решения следующей задачи. Пусть заданы два значения x и y. Необходимо сравнить эти значения и напечатать имя большей переменной. Для этой задачи достаточно сравнить оба значения и в зависимости от результата сравнения вывести на печать символ «х» и символ «у»:

1. Ввести значение x.

2. Ввести значение y.

3. Если x < y, то напечатать «у», иначе напечатать «х».

В этом алгоритме используются алгоритмические структуры - линейная последовательность операций и ветвление (шаг 3, условный оператор). Последняя структура называется так потому, что после передачи в неё управления выполнение алгоритма может пойти по одному из двух возможных ветвлений. То, какая ветвь будет выбрана, зависит от выполнения условия. Линейная последовательность в данном примере состоит из блоков ввода/вывода данных.

Для записи алгоритмов использовался естественный язык. Иногда используют полуформальный язык с ограниченным словарём (часто на основе английского языка), промежуточный между естественным языком и языком программирования. Такой язык называетсяпсевдокодом. Запись алгоритма на псевдокоде называется структурным планом. Псевдокод удобен тем, что позволяет программисту сосредоточиться на формулировке алгоритма, не задумываясь над синтаксическими особенностями конкретного языка программирования.