Cтраница 1
Теория схем программ занимается также изучением отдельных классов схем программ с целью выделить случаи разрешимых эквивалентностей, она также обогащает базовую вычислительную модель дополнительными конструкциями языков программирования, изучая при этом выразительную силу обогащений и вопросы сводимости. [1]
Отправным понятием теории схем программ является понятие функциональной эквивалентности. Две схемы функционально а к в и в а л е н т и ы, если для любой интерпретации соответствующие программы вычисляют одинаковые функции. [2]
Существенное место в теории схем программ занимают вопросы перевода схем программ из одной вычислительной модели в другую. [3]
Формально-комбинаторные методы формируют теорию схем программ, изучающую свойства программ, инвариантные к выбору интерпретации базовых операций. [4]
Формально-комбинаторные методы формируют теорию схем программ, к-рая изучает свойства программ, инвариантные относительно выбора интерпретации базовых операций. [5]
Наконец, тем читателям, которые заинтересуются вопросами теоретического программирования по существу, автор рекомендует монографию В. Е. Котова Введение в теорию схем программ, выходящую в Сибирском отделении издательства Наука ( Новосибирск, 1978) почти одновременно с этой книгой. [6]
Если далее мы намереваемся охарактеризовать поведение схем, в которых аргументами функций служат подпрограммы ( возможно, тоже частичные), то реально это можно сделать, допустив, что аргументами схем могут быть другие схемы. Это непосредственно приводит к теории схем программ произвольного конечного типа. Возможно, в следующих сообщениях мы подробнее обсудим схемы этих типов. [7]
В особенности это касается машинно-зависимых оптимизаций. Разработка алгоритмов оптимизации опирается на теорию схем программ. ПРОГРАММ СИНТЕЗ - процесс так называемого доказательного программирования, когда результирующая программа сопровождается доказательством ее соответствия формальной постановке исходной задачи. [8]
Нетрудно доказать, что в указанном выше смысле схемам Янова соответствуют праволинейные LA ( - распознаватели, поэтому эквивалентные преобразования схем Янова - это не что иное как эквивалентные преобразования в классе праволинейных LA - () - грамматик. Следует отметить, что на языке теории схем программ эквивалентные преобразования ( в смысле приведения к простейшей форме) схем Янова и некоторых рекурсивных схем изучены полностью. [9]
Например, введение в модель алгоритма в качестве переменных величин функций ( что является неизбежным в языках высокого уровня) привело к установлению различия между алгоритмическими системами на уровне функционалов На этой основе возникла теория схем программ, теория неподвижной точки, математическая или денотационная семантика и ряд других теорий. [10]