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

Заметим, что вследствие замкнутости оператора 0 относительно множества суффиксов допустимых вычислений приведенная формула, выражающая свойство живости, эквивалентна следующей: N П(и>, z> 0w2). 9.7.1. Абсолютная корректность Это свойство похоже на частичную корректность и имеет смысл только для программ с терминальными местами. Говорят, что программа абсолютно корректна, если для всех значений входных переменных х, удовлетворяющих ф(дс), ее окончание гарантировано и выходное значение у после окончания выполнения программы удовлетворяет ф(х, у). Более того, пусть 1е обозначает набор терминальных мест программы. Тогда абсолютная корректность выражается так: N ф(ж) => 0(в_месте (/ ) л ф(дс, у)).