Cтраница 2
Тело оператора for ( цикл с предусловием) выполняется нуль и более раз до тех пор, пока условное выражение условие не станет ложным. [16]
Следует заметить, однако, что когда некоторое предусловие заканчивается неудачей и происходит возвращение назад к тем предусловиям, которые его вызывали, то при наличии других альтернатив они также будут подвергнуты проверке. [17]
Сам процесс считывания информации производится в цикле с предусловием типа while. Это условие записывается следующим образом: not eof ( t), т.е. здесь используется стандартная функция Паскаля, которая также называется eof и относится к логическим функциям, значением которых может быть только false или true. Пока не обнаружен конец файла, функция имеет значение false, а при его обнаружении она меняет значение на true. Аргументом же данной функции является имя файловой переменной. [18]
Формальное ( обычно полуавтоматическое) доказательство правильности программы, использующее предусловия и постусловия для процедур и операторы контроля. [19]
В каких случаях используют циклы с параметром, с предусловием и с постусловием. [20]
ПП; Q - сфера применения ПП; Р - предусловие применения ( активизации) ПП, содержащее информацию об истинности и приоритетности данного ПП; С - условие применения ПП при поиске решения НФЗ; А В - секвенция, представляющая собой собственно ПП ( или продукцию) - ядро ПП; S - постусловие применения ПП. [21]
Цели первого типа представляют операции, которые приводят к удовлетворению предусловий. Цели второго типа имеют отношение к ситуации, когда текущий контекст не позволяет запустить на выполнение выбранную запись. В этом случае можно воспользоваться родовым источником знаний, который в ВВ1 имеет наименование ЕпаЫе-Priority-Action. Этот источник и активизируется в тех случаях, когда не удовлетворяются предусловия в выбранной записи. Цели третьего типа имеют отношение к ситуации, когда в списке выбора отсутствуют записи, которые могут привести к выполнению желаемой операции. [22]
Если некоторое предусловие неудовлетворено, то создать подцель удовлетворить этому предусловию. [23]
Заметим, что при входе в первый оператор цикла е предусловием известно, что переменная символ содержит цифру, поэтому цикл обязательно выполняется хотя бы один раз. [24]
Как интерпретировать условия выполнимости и выводимости, используемые в этих предусловиях. В самом деле, интерпретация этих условий должна апеллировать к отношению выводимости, заданному системой, которая содержит эти правила с предусловиями. Интерпретация понятия выводимости, входящего в предусловие нельзя сделать вывод, что х не летает, должна учитывать то, что можно вывести с помощью оснащенных этим предусловием правил. [25]
Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих соответственно условия, необходимые для се применения, и условия, которые становятся истинными после ее применения. [26]
Чтобы прервать просмотр сразу после обнаружения заданного элемента, необходимо использовать цикл с предусловием. [27]
При построении программы ожидаемый результат и цель К играет более важную роль, чем предусловие Q, так как задачу мы понимаем достаточно ясно, когда известно постусловие. Чтобы создать охраняемую команду, сначала необходимо найти логическое выражение В, из которого следует команда охраны, обеспечивающая выполнение постусловия R. Последовательное создание охраняемых команд необходимо продолжать до тех пор, пока одна из них не будет обеспечивать предусловие. В работе [12] приведены методы формулировки охраняемых команд для операторов цикла, построение инвариантов и ограничивающих функций, проиллюстрированных на языке преобразования предикатов. [28]
Нам удобно при дальнейшем рассмотрении под модулем понимать некоторое правило, имеющее две части: предусловие, проверяемое на данных из БД и действие, модифицирующее БД. Система основанная на правилах является частным случаем систем вывода, управляемых образцами. [29]
Принятый механизм обработки дерева целей ( AND / OR дерева) требует, чтобы условия в предусловиях не устанавливали конфликтующих подцелей. [30]