В этой главе будет кратко описан международный алгоритмический язык Алгол 60. Этот язык определен документом [3], малопригодным для первого ознакомления с языком. Пособиями для изучения Алгола могут служить работы [7, 8, 9, 11, 35, 54, 56].
Значения и типы
Все операции в Алголе выполняются над числовыми или логическими значениями и вырабатывают результаты, относящиеся к одному из этих классов значений. Числовые значения, в свою очередь, делятся на целые и вещественные (приближенные). Целые числа в Алголе понимаются так же, как в математике. В частности, результат операции над целыми числами, если он сам является целым числом, определен точно и однозначно. Вещественные же числа в Алголе, напротив, имеют очень мало общего с соответствующим строгим математическим понятием и рассматриваются с позиций приближенных вычислений. Например, 1/3, ]/~2 и я не считаются в Алголе вещественными числами и равенство
(1/2)х2=1
не обязано быть справедливым. Принимается, что любая имеющая смысл операция над вещественными числами, а также любая операция над целыми числами с нецелым результатом выполняются приближенно, причем степень приближения неизвестна. При выполнении алгоритма, записанного на Алголе, на конкретной вычислительной машине погрешность приближенных вычислений определяется возможностями этой машины, а также особенностями транслятора — программы, переводящей алгоритмы с Алгола на язык этой машины.
Логические значения — это «истина» и «ложь», Не следует искать слишком много смысла в этих терминах. Они применяются в ситуациях, допускающих лишь два возможных исхода, для обозначения этих исходов. При этом часто бывает совершенно безразлично, какой именно из исходов обозначен словом «истина». Например, некоторый прибор может быть исправен или поврежден. Человеку, пользующемуся этим прибором, может показаться более естественным связать слово «истина» с исправным состоянием прибора, тогда
как механик, ответственный за ремонт, может склониться к тому, чтобы обозначить словом «истина» неисправное состояние, так как именно оно требует его внимания.
Многие объекты в Алголе способны принимать значения одного из названных типов: целые, приближенные или логические. Тип возможного значения объекта считается в таких случаях типом самого объекта,