Cтраница 2
Управляющие структуры Лиспа относительно просты. Выражения, используемые для составления программ, записываются в строго кембриджской польской форме и могут содержать условное ветвление. Конструкция PROG дает простую структуру для записи последовательности выражений, при этом можно употреблять метки и инструкции goto. Имеются примитивы ( называемые функционалами) для последовательного генерирования элементов списков. В большинстве программ на Лиспе широко используются рекурсивные вызовы подпрограмм. [16]
Помимо очевидных синтаксических различий, заключающихся в формах выражений, языки отличаются и по той роли, которую играют в них выражения. Так, в Лиспе, в АПЛ выражение является главной синтаксической структурой: инструкция всегда имеет вид выражения. Таким образом, программа на АПЛ представляет собой просто последовательность выражений. В таких языках, как Фортран и Кобол, роль выражений, напротив, весьма незначительна. Вместо них в качестве основной синтаксической формы выступают инструкции, а выражения используются внутри инструкций лишь эпизодически. В большинстве инструкций в этих языках применяется сокращенная форма выражении, полная форма допускается только в инструкции присваивания, да еще в условных инструкциях. [17]
Последовательность выражений между ПОВТОР и ДО повторно ( и не менее одного раза) вычисляется до тех пор, пока значением условия не станет ИСТИНА. Все выражения в последовательности выражений должны иметь один и тот же тип. Результатом исполнения цикла является последовательность значений, сформированная при многократном вычислении компонентной последовательности выражений. [18]
Но вместе с тем эти методы гарантируют, что любая выработанная ими подзадача является частью последовательности выражений, которые оканчиваются доказываемой теоремой. [19]
Когда мы пользуемся идеей нумерации формальных объектов, то из практических соображений желательно, чтобы номера этих объектов были связаны с самими объектами посредством как можно более простых правил. Мы будем называть такое соответствие геделевской нумерацией, а соответствующее при нем какому-нибудь формальному объекту число - геделевским номером этого формального объекта. Иногда рассматриваются отдельно три геделевские нумерации: для формальных символов, для формальных выражений и для конечных последовательностей формальных выражений. В этом случае, говоря о каком-нибудь числе как о геделевском номере некоторого символа, или выражения, или последовательности выражений, каждый раз надо указывать, о каком соответствии идет речь. [20]