Cтраница 1
Рекурсивные описания часто обеспечивают удобную основу для индуктивных доказательств. [1]
Рекурсивное описание правила содержит в своем теле ссылку на заголовок этого же правила. [2]
Это рекурсивное описание функции1) в точности отражает рекурсивную структуру данных. Примеры рекурсивных функций для обработки списков будут приведены в гл. [3]
Наоборот, если рекурсивное описание невозможно, то невозможно и рекурсивное решение. Повторим, все начинается с описания. [4]
Несмотря на наглядность рекурсивных описаний, во многих случаях те же задачи более эффективно решаются итерационными методами, не требующими лишней памяти при сопоставимой скорости вычислений. [5]
Любая функция, для которой возможно рекурсивное описание при исходных функциях 0 ( х), s ( х), s ( х), называется общерекурсивной, или просто рекурсивной. [6]
Теперь рассмотрим проблему перехода от рекурсивного описания функции к блок-схеме. [7]
Мы показали, что если задано рекурсивное описание в итеративной форме, то его можно перевести в итеративную программу. Следующим этапом является поиск способа доказательства эквивалентности двух описаний одной и той же функции. [8]
Мы показали, что если задано рекурсивное описание в итеративной форме, то его можно перевести в итеративную программу. Следующим этапом является поиск способа доказательства эквивалентности двух описаний одной и той же функции. [9]
Характерной особенностью металингвистических формул является возможность рекурсивного описания понятий, когда в определении содержится само определяемое понятие. Это позволяет сделать описание, с одной стороны, наиболее коротким, а с другой - необходимо строгим. [10]
Маккарти формально определил различие между теми рекурсивными описаниями, которые переводятся прямо в итеративные процедуры, и теми, которые не переводятся. [11]
И, наконец, третий функциональный элемент - рекурсивное описание - был в полной мере реализован все в том же древнем языке Алгол-60. [12]
Для использования в индуктивном доказательстве мы сначала дадим рекурсивное описание функции Г, эквивалентное А. [13]
В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все более широкое распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примерах. [14]
В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все более широкое распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различныхлфимерах. [15]