Cтраница 4
Чтобы сравнить эти функции вычисления, необходимо иметь возможность соотнести значения выражений, выдаваемые семантической функцией eval, с последовательностями переходов SECD-машины из одного состояния в другое. Мы считаем значением замкнутого терма его СЗНФ ( другой, единственный терм) вместе с целым числом, соответствующим числу редукций, необходимых для приведения этого терма к СЗНФ. [46]
Область значений терма а есть область значений а в а. Ясно, что область значений замкнутого константного терма ( не содержащего переменных) представляет собой единственное значение. [47]
Тогда значением терма аЪ будет класс слова ab, равный классу слова aa по построению полугруппы. А равенство Ь6 а не будет истинно, так как значение терма ЬЬ есть класс слова ЬЬ, значение терма а есть класс слова а, а эти классы различны по предположению. [48]
Значения примерно на 80 / 0 превышают те, которые получаются с помощью водородных радиальных функций для одноэлектронных состояний 3d по формуле (6.51), водородные значения будут / ( Зй2) 203Z и F4 ( 3rf3) 14 7Z см-1, - терм во всех случаях расположен слишком низко, а потому его не принимали при определении параметров во внимание. Точность, с которой другие термы этих конфигураций согласуются с теоретическими формулами, выраженными через эти значения термов, показана на фиг. [49]
Тогда значением терма аЪ будет класс слова ab, равный классу слова aa по построению полугруппы. А равенство Ь6 а не будет истинно, так как значение терма ЬЬ есть класс слова ЬЬ, значение терма а есть класс слова а, а эти классы различны по предположению. [50]