Cтраница 2
В этом доказательстве рекурсивность оператора Ф использовалась только для того, чтобы показать, что функция / Ф вычислима. Первая же часть доказательства показывает, что любой непрерывный оператор имеет по крайней мере одну неподвижную точку. [16]
Следует отметить, что рекурсивность отвечает самой природе алгоритмов вычислительной математики. Рекурсивные конструкции облегчают программирование вычислительных задач, способствуют наглядности и выразительности записи алгоритмов. Однако трансляция рекурсивных конструкций предъявляет специфичные требования к методам трансляции. Создатели первых трансляторов с языка Алгол-60 вынуждены были разработать специальные приемы обработки рекурсивных конструкций. [17]
Как и в случае примитивной рекурсивности ( § § 45, 47), понятие общей рекурсивности для функций обобщается на предикаты и на смешанные случаи с помощью представляющих функций для предикатов. [18]
Процедура fact использует свойство рекурсивности процедур для вычисления я. Второй вариант алгоритма 336 ( процедура fact [) вычисляет nl без применения свойства рекурсивное процедур и поэтому может быть использован в трансляторах, имеющих в качестве входного языка сокращенный вариант АЛГОЛа. [19]
Для проверки выполнения второго условия рекурсивности требуется указать такую рекурсивную формулу ф ( /, т), что отношение ф ( I, т) для чисел т и [ имеет место тогда и только тогда, когда I является номером некоторого равенства f ( m) с, где г - цифра, a f - функциональный знак, обозначающий определяемую квазирекурсивную функцию. [20]
Теперь остается рассмотреть первое условие рекурсивности. Для любого дедуктивного формализма, состоящего, как мы знаем, из квазирекурсивного определения какой-либо арифметической функции одного аргумента и трех правил, касающихся способов применения определяющих равенств, это условие выполняется всякий раз, когда по отношению к этому формализму и к описанной нами нумерации высказывание число т является номером списка формул, представляющего собой вывод формулы с номером п является рекурсивным предикатом. [21]
Операторы присваивания. синтаксис. [22] |
Нормальная форма Бэкуса позволяет ввести глубокую рекурсивность. Эти синтаксические правила исчерпывают все типы выражений, которые мы рассматривали. [23]
Эта форма мало наглядна в силу своей рекурсивности, и поэтому на практике удобнее обращаться к упрощенным формам, приведенным выше. [24]
Далее для нас важно учесть действие теоремы о рекурсивности. [25]
При достаточно широкой трактовке понятия алгоритмической системы концепция рекурсивности отражает основные формы развития материи и является одним из важнейших методов познания. Так, например, концепция рекурсивности обобщает и дополняет такое универсальное понятие как симметрия. Наиболее ярко рекурсивность проявляется в процессе развития человека и человечества в целом. Информация, содержащаяся в клетке, кодирует информацию о всем организме, дети повторяют своих родителей, а общество и материя развиваются по сложной рекурсивной спирали. Эволюция Вселенной также в какой-то степени подчинена законам рекурсивного развития. Анализ процесса творчества показывает, что рекурсивность заложена в глубинных слоях человеческого сознания и проявляется как метод и форма познания действительности. [26]
Доказательство обратного утверждения до некоторой степени подобно доказательству частичной рекурсивности вычислимых по Тьюрингу функций. [27]
Поясним более строго, что следует понимать под рекурсивностью предложений. Рекурсия здесь проявляется не на уровне сюжетного развития, а на уровне структурной формы предложения - предложение вызывает подчиненные предложения. Если представить процесс восприятия текста как некоторое вычисление, то ситуация представляется следующей. Имеется некоторый конечный набор преобразователей, определяемых законами языка и задающий все схемы простых предложений. В процессе обработки ( вычисления) сложного предложения преобразователи обрабатывают синтаксическую информацию и вызывают друг друга в случае возникновения подчиненных предложений. [28]
Обеспечивает блочную структуру программ, удобочитаемость и надежность, рекурсивность обращений к процедурам и функциям, создание данных динамически во время выполнения, построение данных сложной структуры с вложением структур. [29]
Поскольку наша мера не есть шенноновская энтропия, свойством рекурсивности она не обладает. [30]