Значение - предикат
Cтраница 3
Предикат может быть функцией одного переменного или нескольких. Тот факт, что значения предикатов лежат в М, позволяет рассматривать предикаты как дискретные переменные из М, и следовательно, позволяет применять к ним операции выбора inv, max, min. [31]
Когда говорят о стандартной памяти, предполагается, что над ней определены также и предикатные функции из некоторого определенного множества предикатов ф на Мп. Функция СИГНАЛ выдает набор всех значений предикатов, определенных на значениях соответствующих координат вектора значений. [32]
 |
Распределение числа этапов счета. [33] |
Применительно к задачам анализа трудоемкости операторы алгоритма будем подразделять на функциональные, перехода и ввода - вывода. Оператор перехода задает порядок вычисления значений предикатов и правило выбора одного из возможных путей развития вычислительного процесса, соответствующего текущим значениям данных, отношения между которыми представляются предикатами. Оператор ввода - вывода задает обращение к определенному файлу с целью передачи некоторого количества информации. Функциональные операторы и операторы перехода задают совокупности вычислительных операций над данными и относятся к одному классу операторов, называемых основными операторами. [34]
Для общей модели операторных схем функциональная эквивалентность оказалась неразрешимой, однако удалось найти форму протокола - т.н. логико-термальную историю, к-рая приводит к разрешимому детерминанту. Этот протокол фиксирует последовательность выполнения и значения предикатов схемы, а для каждого аргумента предиката указывает функциональный терм, к-рый вычислял значение данного аргумента при выполнении программы. Автоматом, воспринимающим детерминант, оказывается двухленточный конечный автомат. Для логико-термальной формальной эквивалентности также найдена полная система преобразований. [35]
Разумное определение программы требует введения памяти, хранящей перерабатываемые данные. Один вид памяти у нас уже есть - логические переменные, хранящие значения элементарных предикатов, вычисляемые тем или иным оператором или задаваемые перед началом работы программы. Что же касается памяти для остальных данных, перерабатываемых программой, то тут дело обстоит одновременно и проще и сложнее. [36]
Она состоит из четырех этажей, на каждом из которых есть коридор с выходом в конце и с четырьмя лестницами на начало нижнего этажа. Двигаясь по коридору от начала, мы последовательно проверяем значения элементарных предикатов и в зависимости от комбинации их значений либо попадаем на концевой выход, чтобы сказать ДА, либо спускаемся по лестнице на начало коридора в нижнем этаже. Шансы на улучшение программы состоят в том, что, попав на какой-то этаж Р по лестнице, идущей сверху, мы уже знаем значения некоторых предикатов и могли бы на этаже Р и далее сразу выбрать нужное направление, не спрашивая дорогу. [37]
В общем случае схема преобразователя более сложный объект по сравнению со схемой программы, так как преобразователь допускает не только операторы сдвига по структуре данных, но и изменения распределения памяти. Кроме того, схема преобразователя может воспринимать сигналы, отличные от значений предикатов. Однако здесь не будет изучаться общий случай, а принимается предположение, что схемы преобразователей всегда имеют только читающие операторы - сдвиги по структуре данных. [38]
Идентификатор идер задает имя регистра, содержимое которого сравнивается с текущей группой символов входной строки. Если регистр пуст ( не содержит ни одного символа), то значение предиката - ложь. С помощью такого предиката, в частности, реализовано описание регистрового шаблона. [39]
Структура типа do - while - do является полезным обобщением структуры типа while-do. Дело в том, что в структуре типа while - do до вычисления значения предиката ( проверки while - теста) иногда необходимо предварительно вычислить некоторое значение, используемое при проверке while - теста. [40]
Раздел описания целей ( goal) в компилируемой программе может отсутствовать, тогда в диалоговом окне после запуска программы на выполнение можно ввести внешний запрос. При использовании внешнего запроса Турбо-Пролог отыскивает все варианты решений и в этом же окне выводятся значения переменных предикатов запроса и сообщение об успешном или не успешном решении. [41]
На основании нового множества Р можно выдвинуть другую гипотезу Щ ( МХ) [ ЧЕЛОВЕК ( Х) - ДОМ ( Х) ], которая накладывает ограничение на область подстановки объектов в переменную X, так как в данном случае этот объект должен быть человеком. Теперь при появлении объекта березкин можно вывести факт ДОМ ( березкин), но при появлении объекта береза значением предиката ЧЕЛОВЕЩбереза. ДОМ ( береза) не будет выведен. [42]
Если она не выполняется, то возможна ситуация, при которой не найдется правила для выполнения. При обнаружении такого случая препроцессор выдает диагностику. Аналогично проверяется неоднозначность, которая заключается в том, что существует возможная комбинация значений предикатов, приводящая к возможности выполнения более одного перехода при данном входном событии. [43]
В содержательной арифметике мы рассматриваем предложения, зависящие от параметров. В соответствии с выбором натуральных чисел в качестве значений этих параметров возникает бесконечно много различных предложений. Именно это мы имеем в виду, когда говорим, что предложения являются значениями предикатов. [44]
Если Р содержит циклы, то исследование вопросов правильности усложняется, может оказаться вообще невозможным ответшь на них. Тот факт, что циклическая программа заканчивается в какой-то мере свидетельствует о ее правильности. Часто уверенность в завершении программы основывается на том, что регулярно изменяющаяся переменная должна в конечном счете вызвать вычисление значения предиката, при котором цикл закончится, или она проистекает из того, что логическая предикатная переменная, которой предварительно присвоено значение истина, после присваивания ей значения ложь обусловливает выход из цикла Однако, даже если провести такое наблюдение невозможно, нельзя сделать вывод о том, что программа зацикливается. Действительно, если выполнение программы Р останавливается при некотором данном начальном значении аргумента из области определения функции, например Л, то логически невозможно ( неразрешимо) определение того, что программа оканчивается вообще. [45]
Страницы: 1 2 3 4