Конспект установочных лекций по комплексному курсу Информатика, Теория информации




Описание значений выражений - часть 3


О         L           О       

       
          
      
 

Применяем следующие правила раскрытия:

х

z ==> cor(x, y)
cor(z, у),

 соr (true, y)

 true,

 соr (false, у)

 у.

Заметим, что в этом случае раскрытие терма cor(tl, t2) завершается даже тогда, когда завершается только вычисление t1, и дает значение true.

В дальнейшем для каждого элемента языка определяются условные ППТ, которые во взаимодействии с имеющимися для данной вычислительной структуры правилами обеспечивают, что для каждого замкнутого программного выражения t1 (т.е. для каждого программного выражения, которое не зависит от значения конкретизации) с интерпретацией а

, система подстановки термов отображает вход t1 в выход t2, причем t2 есть однозначная нормальная форма t1 в соответствии с R. Впрочем, для определенного терма t с интерпретацией
 вычисление не будет терминированным. Уместное обращение с такими термами - также дальнейшее основание для введения условных (управляемых) СПТ.




Содержание  Назад  Вперед