Cтраница 3
Здесь [ г ] обозначает целую часть числа г. Проверка примитивной рекурсивности этих функций проводится с помощью результатов и приемов пп. [31]
В литературе известны результаты, связывающие та и понятие а - рекурсивности для а со. [32]
Основным правилом отсева бесперспективных вариантов при решении этой задачи был принцип монотонной рекурсивности, родственный критерию оптимальности динамического программирования. [33]
В силу тезиса Черча вопрос о вычислимости функции равносилен вопросу о ее рекурсивности. Понятие рекурсивной функции строгое. [34]
Первая задача, которой мы займемся в этой главе, - проверка примитивной рекурсивности различных функций, которые, вероятно, уже известны читателю из других источников. Аналогично, при изучении формальной системы мы из аксиом выводили дальнейшие формальные теоремы, а также выводимые правила как общие методы для получения новых формальных теорем. [35]
Убедимся сначала, что для так построенной нумерации выполняются второе и третье условия рекурсивности. [36]
Следующее понятие относительной примитивной рекурсивности естественно появляется в нашей теории как средство установления примитивной рекурсивности функций, подобно тому, как понятие выводимости возникло в нашей теории как средство установления доказуемости формул. [37]
Такой модификатор исчисления J ( модификатор по приоритетам) позволяет эффективно бороться с рекурсивностью множества вопросов. [38]
Эта теорема, конечно, перестанет быть истинной, если мы заменим квазирекурсивность на примитивную рекурсивность. [39]
Бывают случаи, когда целесообразен вызов программой самой себя; возможность организации его называют рекурсивностью программы. Математики часто пользуются рекурсией, во многих случаях она позволяет создавать простые алгоритмы для решения сложных задач. Мы покажем, что применение рекурсии улучшает использование памяти и скорость исполнения таких процедур, как лингвистические операции в компиляторах и других программах, работающих с языками высокого уровня. [40]
При этом задействуется формула ( 1) и, как следствие такого развертывания, возникает рекурсивность. Мы называем некоторое множество вопросов рекурсивным, если возможен бесконечно длинный вывод при использовании только этих вопросов. [41]
Первый алгоритм полностью отражает синтаксическую структуру выражений, заданную нашими порождающими правилами; например, рекурсивность этих правил приводит к рекурсивности алгоритма. Вообще подобные синтаксически-ориентированные алгоритмы обычно бывают краткими и понятными. [42]
Правило выполнения произвольного условного оператора непосредственно следует из приведенной выше семантики условного оператора с учетом рекурсивности его определения. В конечном итоге выполнение любого условного оператора сводится к выполнению одного из его внутренних безусловных операторов, выбираемого следующим образом. Последовательно, слева направо, проверяется выполнение заданных условий ( при этом каждый раз выбирается максимальное допустимое по синтаксису условие) - до тех пор, пока не встретится первое выполняющееся условие. [43]
Следующая теорема дает описание рекурсивных оператору с помощью понятия непрерывности, которое облегчает про верку рекурсивности различных операторов. [44]
Как по отношению к функциям, так и по отношению к предикатам, рассматривают также относит, рекурсивность ( примитивную, общую или частичную) - в этих случаях вместо зафиксированных выше конкретных исходных функций выбирают к. [45]