Искусственный интеллект

в_месте (/„) л S = (X) л С = 0. 199 9. Модальность в ситуационном исчислении Пример. Параллельная программа вычисления биноминальных коэффициентов: Утверждение частичной корректности: N (0 < к < п) => П[(в_месте (IJ л в_месте (/и,) г> у = Ск)]. Полное начальное условие, ассоциируемое с допустимым вычислением: в месте (/0) л в_месте (т0) л у, = я л у2 = 0 л j>3 = 1 л у4 = 1 л 0 < к < п. 9.6.2. Чистое поведение Свойство чистого поведения обусловливает правильность выполнения переходов (команд) для каждого места процессов программы. Например, в случае деления свойство чистого поведения может обусловливать, что делитель не ноль и не слишком мал, чтобы не приводить к переполнению. Если программа содержит ссылку на элемент массива, то свойство чистого поведения может обусловливать попадание индекса в определенные границы. Обозначив условие чистого поведения в месте /как а,, будем иметь следующую запись свойства чистого поведения: