Рекурсивный тип
Cтраница 1
 |
Круговой список. [1] |
Рекурсивный тип определяет множество значений, определенных типом ТО, к которому добавлено единственное значение NONE. [2]
Обработка данных рекурсивного типа обычно наиболее целесообразна, когда она соответствует схеме определенного рекурсивного типа и осуществляется с помощью рекурсивных функций и процедур. Такая точка зрения аналогична той, при которой массиву соответствует оператор цикла, а типу прямой суммы - оператор выборки. [3]
Структура относится к рекурсивному типу данных. [4]
Как уже упоминалось, для конечности мощности любого рекурсивного типа в нем должна всегда присутствовать какая-либо вариантная компонента. Наиболее типичный, часто встречающийся случай подобен генеалогическому дереву: поле признака принимает два значения ( булевских), причем, если оно ложно, то все последующие компоненты отсутствуют. [5]
Указатели применяются для реализации, например, рекурсивного типа данных, рассмотренного в разд. При правильном их использовании достигается большой эффект при выполнении программ и заметно упрощается их понимание. Поэтому при введении ссылочного типа данных в языки программирования высокого уровня необходимо обращать внимание на правильность их применения. Ниже рассматривается ссылочный тип данных на примере языка Паскаль. [6]
Здесь мы имеем дело с еще одним рекурсивным типом данных: для того чтобы узнать, что собой представляет хвост списка, необходимо воспользоваться определением списка. [7]
Структурная индукция может быть использована для доказательства свойств функций на рекурсивных типах данных. [8]
Обработка данных рекурсивного типа обычно наиболее целесообразна, когда она соответствует схеме определенного рекурсивного типа и осуществляется с помощью рекурсивных функций и процедур. Такая точка зрения аналогична той, при которой массиву соответствует оператор цикла, а типу прямой суммы - оператор выборки. [9]
Однако индукция отнюдь не ограничивается целыми числами: подобная техника, которая в общем случае называется правильно обоснованной индукцией, применима к любому индуктивно заданному множеству с хорошо определенной упорядоченностью элементов. Так, определяя рекурсивный тип данных, например список в языке Норе, мы определяем именно такое множество. [10]
 |
Круговой список. [11] |
Можно ли представить данные такого класса в терминах рекурсивных типов, определенных в предыдущем упражнении. [12]
Интересной особенностью этого утверждения является то, что для определения понятия структуры нам пришлось отчасти сослаться на само это понятие. Определение, которое использует внутри себя определяемое понятие, называется рекурсивным. Структура относится к рекурсивному типу данных. [13]
Интересной особенностью этого утверждения является то, что для определения понятия структуры нам пришлось отчасти сослаться на само это понятие. Определение, которое использует внутри себя определяемое понятие, называется рекурсивным. Структура относится к рекурсивному типу данных. Здесь же мы даем лишь одну из иллюстраций того, как с помощью механизма рекурсивных типов данных можно весьма точно уловить смысл фактов в программе. [14]
В зависимости от типа элементов, вида разрешенных операций и способов использования в программах существует несколько разновидностей последовательности. Типичными примерами последовательности являются последовательности литер, последовательный файл и стек. Часто их рассматривают как самостоятельные типы, но в данном изложении этого различия не делается. Отличие последовательности от рассмотренных ранее структурированных типов данных заключается в том, что количество элементов ( длина) последовательности конечно, но не фиксировано. Это допускает существование последовательности произвольной длины. Последовательность представляет собой тип, являющийся частным случаем рекурсивного типа, но, учитывая его важность, будет рассматриваться отдельно. [15]
Страницы: 1