Cтраница 2
Оценочные функции по своей природе могут быть композиционными или рекурсивными, при этом значение программы определяется как функция значений, соотнесенных с отдельными синтаксическими элементами. [16]
Миролюбивая политика КПСС и Советского правительства, других социалистических стран, постоянная бдительность народов, их активные выступления в пользу укрепления межгосударственных отношений на основе невмешательства во внутренние дела и уважения национальной независимости способствуют активизации борьбы против империализма, продвижению вперед сил социализма в странах, еще находящихся под игом капитализма и неоколониализма. Значение программы и решений, которые примет XXV съезд КПСС, состоит в том, что они будут способствовать дальнейшему росту благосостояния советского народа, укреплению международной разрядки и сотрудничества стран с различным общественным строем, укреплению мира во всем мире. [17]
Знак отрицания У является важной логической связкой. Однако его включение в Дейталог сопряжено с рядом проблем как семантического, так и вычислительного характера. В частности, аксиома замкнутости мира ( АЗМ), принятая и допустимая в контексте чистого Деиталога, приводит к несогла-сованностям, если предположить возможность появления отрицания в телах правил. Тем не менее для большого класса программ ( так называемых стратифицируемых программ Деиталога) существует удовлетворительный способ обработки отрицания. Этот класс подробно описан ниже. Мы также обсудим основанную на понятии стратификации локальную стратификацию и представим альтернативный подход к определению значения программ Деиталога, содержащих отрицательные литералы, основанный на так называемой инфляционной семантике. [18]
Изучение семантики языка программирования в своей основе связано с приписыванием значений компонентам программ. В общем случае значение каждой такой компоненты определяется как ее контекстом в данной программе, так и некоторым фиксированным способом ее означивания с помощью этой программы. Этот вопрос предполагает, что имеется соответствие, частично определяемое множеством процедур Р, между предикатными символами и некоторыми другими объектами, являющимися их значениями. Что же можно использовать в качестве таких объектов. Для вычислительной семантики очевидным выбором являются эффективно вычислимые отношения. Они разработали три различных вида семантики, в каждом из которых в качестве денотата предикатного символа определяется некоторое вычислимое отношение, и установили соотношения между ними. Если рассматривать опровержение как вычисление и заметить, что для порождения этих вычислений имеются такие системы вывода, как резолюция, то термин операционная семантика становится оправданным. Это определение операционной семантики аналогично традиционному способу задания семантик обычных языков программирования - а именно, посредством определения механизма исполнения ( как правило, на некоторой абстрактной машине) и объяснения затем значения программы, исходя из того, что вычисляется в результате применения к программе данного механизма. [19]