Cтраница 2
Первая ваша задача - идентификация всех использующих вхождений операции min в описаниях-операций с их определяющими вхождениями в опиеаниях-приоритета. Это делается в точности по правилу, данному в 3.2.3 [ С. [16]
Во-вторых, вы должны идзнтифяцировать все использующие вхождения операции min в формулах с темя же определяющими вхождениями в описаниях-приоритета. Результат показан штриховыми линиями слева в примере ПИ. [17]
Во-вторых, вы должны идзнтлф щдровать все использующие вхождения операции mi а в формулах с теми жз определяющими вхождениями в описашшх-приоритета. Результат показан штриховыми линиями слева в примере ПИ. [18]
Наконец, как вы могли предвидеть, имеется контекстное условие ( см. 1.2.1), которое устанавливает, что каждое использующее вхождение должно идентифицировать одно и только одно определяющее вхождение [ С. Таким образом, все используемые вами переменные должны быть описаны ( как в Алголе 60, но не как в Фортране), и любой данный идентификатор может быть описан в пределах одной зоны только один раз. Однако использующее вхождение не обязательно должно идти после его определяющего вхождения. [19]
Большинство определенных ниже терминов фактически является тем, что Сообщение квалифицировало бы как парапонятия ( см. С. По этой причине эти термины в их определяющих вхождениях в наш текст заключены в одинарные кавычки ( например, последовательное предложение), а в их использующих вхождениях они пишутся через черточки ( например, последовательное-предложение), тогда как наши определяющие вхождения других терминов набраны вразрядку. Если вы не инициированы, то не обращайте внимания - различие фактически не имеет для вас значения. [20]
Ниже мы определяем смысл основных терминов. Что касается остальных, то вы можете воспользоваться приведенными в глоссарии ссылками на их определяющие вхождения в наш текст. [21]
В-третьих, вы должны теперь рассматривать вхождения операции mia в описаниях-операцнй как определяющие-вхождения и попытаться идентифицировать с ними использующие вхождения в формулах. Это снова делается по тому же правилу, с тем лишь различием, что вы должны учитывать в вашем поиске только те определяющие вхождения, виды фсТрмальных - параметров которых могут быть твэрдо приведзны из видов операндов формулы [ G. Результат показан линиями справа в примере ПИ. [22]
В-третьих, вы должны теперь рассматривать вхождения операции min в описаниях-операций как определяющяе-вхождения и попытаться идентифицировать с ними использующие вхождения в формулах. Это снова делается но тому жз правилу, с тем лишь различием, что вы должны учитывать в вашем поиске только те определяющие вхождения, виды фсГрмальных - параметров которых могут быть твердо привецзны из видов операндов формулы [ G. Результат показан линиями справа в примере ПИ. [23]
Большинство определенных ниже терминов фактически является тем, что Сообщение квалифицировало бы как парапонятия ( см. С. По этой причине эти термины в их определяющих вхождениях в наш текст заключены в одинарные кавычки ( например, последовательное предложение), а в их использующих вхождениях они пишутся через черточки ( например, последовательное-предложение), тогда как наши определяющие вхождения других терминов набраны вразрядку. Если вы не инициированы, то не обращайте внимания - различие фактически не имеет для вас значения. [24]
Областью действия значения является блок ( возможно, вся программа), в котором оно доступно для использования. Внешний объект обладает внутренним объектом. Использующее вхождение идентифицирует определяющее вхождение. [25]
Понятия и лексемы обладают атрибутами. Нахождение атрибутов лексем начинается с анализа их определяющих вхождений, к-рые обычно содержат информацию об атрибутах в явном виде. Атрибуты нек-рого понятия находятся индукцией по дереву разбора как функции атрибутов его констптуент. [26]
Наконец, как вы могли предвидеть, имеется контекстное условие ( см. 1.2.1), которое устанавливает, что каждое использующее вхождение должно идентифицировать одно и только одно определяющее вхождение [ С. Таким образом, все используемые вами переменные должны быть описаны ( как в Алголе 60, но не как в Фортране), и любой данный идентификатор может быть описан в пределах одной зоны только один раз. Однако использующее вхождение не обязательно должно идти после его определяющего вхождения. [27]