Длина - результат
Cтраница 2
Тип и длина результата выполнения арифметических операций сложения, вычитания, умножения и деления определяется согласно табл. 11.2. Для допустимых комбинаций операндов тип и длина результата для операции возведения в степень определяется по таким же правилам. В таблице используются следующие обозначения: буква I обозначает операнд целого типа, R - действительного типа, С - комплексного типа. В скобках под каждой буквой указывается длина операндов и результата. [16]
Другими словами, при подсчитывающей интерпретации ранга п, значение функции или предиката зависит только от первого символа цепочки, к которой она ( он) применяется, так что в области dom / могут различаться самое большее п объектов; однако длину вычисления можно представить длиной результата. [17]
Здесь dortii обозначает информационную среду при /, Иными словами, при подсчитывающей интерпретации ранга п значение функции или предиката зависит только от первого символа цепочки, к которой она ( он) применяется, так что в области dom / могут различаться максимум п объектов; однако длину вычисления можно представить длиной результата. [18]
Если сцепляются две битовые строки, то результат также есть строка битов. Длина результата равна сумме длин операндов. [19]
 |
Определение типа и длины результата выполнения арифметических операций. [20] |
Длина результата определяется максимальной из длин операндов. [21]
 |
Приоритеты операций. [22] |
Результатом операции является объединение строк - операндов символьного выражения. Длина результата конкатенации равна сумме длин операндов. [23]
Если длина компонент неодинакова, длина результата определяется максимальной из длин компонент. [24]
Если длина компонент неодинакова, длина результата определяется максимальной из длин компонент. [25]
Выражение, находящееся справа от знака равенства, вычисляется, полученный результат замещает текущее значение переменной или элемента массива. При этом, если тип и длина результата выражения не совпадают с типом и длиной данного в левой части оператора, значение выражения преобразовывается в соответствии с типом и длиной данного. [26]
В силу леммы 1.2 достаточно показать, что алгоритмически разрешима следующая проблема: для двух данных произвольных линейных рекурсивных схем R и S узнать, существует ли свободная интерпретация, которой они различаются. А для этого достаточно получить эффективную границу длины кратчайшего результата одной из схем для тех свободных интерпретаций, при которых другая схема либо зацикливается, либо дает другой результат. Если такая граница дана, то сильную эквивалентность схем R и S можно распознать, вычисляя значения обеих схем при конечном числе конечных интерпретаций, области dom / которых состоят из всех цепочек функциональных символов длины не большей, чем эта граница. [27]
Результат операции совместим с любым типом строк. Однако, если оба операнда имеют тип короткой строки или символьный и длина результата не превышает 255, то результат усекается до первых 255 символов. [28]
Тип результата может задаваться и другими способами, например неявно по первой букве наименования или с помощью оператора IMPLICIT. В последнем случае оператор IMPLICIT должен следовать непосредственно за оператором FUNCTION; имя - наименование подпрограммы-функции; выбирается в соответствии с правилами присваивания имен в Фортране; с - параметр, определяющий длину результата. Если он отсутствует, то принимается по умолчанию стандартная длина. [29]
Результат операции сцепления - строка символов или бит соответственно; ее длина равна сумме длин значений аргументов. Если при сцеплении длина результата получается больше максимально допустимого значения ( 32767), то происходит усечение езультата справа. [30]
Страницы: 1 2 3