Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Взаимная рекурсия

Индекс Взаимная рекурсия

В математике и программировании взаимная рекурсия — это вид рекурсии, когда два математических или программных объекта, таких как функции или типы данных, определяются в терминах друг друга.

23 отношения: ML, Scheme, Standard ML, Кривая Серпинского, Конечный автомат, Пролог (язык программирования), Предварительное объявление, Паскаль (язык программирования), Норвиг, Питер, Рекурсия, Рекурсивная функция, Рекурсивная функция (теория вычислимости), Сопрограмма, Тип-сумма, Функциональное программирование, Хвостовая рекурсия, Язык программирования, Математика, Многозадачность, Метод рекурсивного спуска, Информатика, Дерево (структура данных), Лисп.

ML

ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями.

Новый!!: Взаимная рекурсия и ML · Узнать больше »

Scheme

Scheme  — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).

Новый!!: Взаимная рекурсия и Scheme · Узнать больше »

Standard ML

 — компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.

Новый!!: Взаимная рекурсия и Standard ML · Узнать больше »

Кривая Серпинского

Кривые Серпинского — это рекурсивно определённая последовательность непрерывных замкнутых плоских фрактальных кривых, открытых Вацлавом Серпинским.

Новый!!: Взаимная рекурсия и Кривая Серпинского · Узнать больше »

Конечный автомат

Коне́чный автома́т — абстрактный автомат, число возможных внутренних состояний которого конечно.

Новый!!: Взаимная рекурсия и Конечный автомат · Узнать больше »

Пролог (язык программирования)

Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

Новый!!: Взаимная рекурсия и Пролог (язык программирования) · Узнать больше »

Предварительное объявление

Предварительное объявление является таким типом объявления, при котором компилятор имеет возможность разрешить ссылки из различных частей программы.

Новый!!: Взаимная рекурсия и Предварительное объявление · Узнать больше »

Паскаль (язык программирования)

Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.

Новый!!: Взаимная рекурсия и Паскаль (язык программирования) · Узнать больше »

Норвиг, Питер

Питер Норвиг (Peter Norvig) — американский учёный в области вычислительной техники.

Новый!!: Взаимная рекурсия и Норвиг, Питер · Узнать больше »

Рекурсия

Визуальная форма рекурсии (эффект Дросте) Рекурсивное изображение экрана Визуальная форма рекурсии страницы Википедии Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя.

Новый!!: Взаимная рекурсия и Рекурсия · Узнать больше »

Рекурсивная функция

Рекурси́вная фу́нкция (от recursio — возвращение) — это числовая функция f(n) числового аргумента, которая в своей записи содержит себя же.

Новый!!: Взаимная рекурсия и Рекурсивная функция · Узнать больше »

Рекурсивная функция (теория вычислимости)

Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций.

Новый!!: Взаимная рекурсия и Рекурсивная функция (теория вычислимости) · Узнать больше »

Сопрограмма

Сопрограммы (coroutines) — методика связи программных модулей друг с другом по принципу кооперативной многозадачности: модуль приостанавливается в определённой точке, сохраняя полное состояние (включая стек вызовов и счётчик команд), и передаёт управление другому.

Новый!!: Взаимная рекурсия и Сопрограмма · Узнать больше »

Тип-сумма

Тип-сумма (sum type; также -тип, меченое объединение) — конструкция в языках программирования и, тип данных, построенный как дизъюнктное объединение исходных типов.

Новый!!: Взаимная рекурсия и Тип-сумма · Узнать больше »

Функциональное программирование

Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).

Новый!!: Взаимная рекурсия и Функциональное программирование · Узнать больше »

Хвостовая рекурсия

Хвостовая рекурсия — частный случай рекурсии, при котором любой рекурсивный вызов является последней операцией перед возвратом из функции.

Новый!!: Взаимная рекурсия и Хвостовая рекурсия · Узнать больше »

Язык программирования

Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.

Новый!!: Взаимная рекурсия и Язык программирования · Узнать больше »

Математика

Рафаэля Матема́тика (μᾰθημᾰτικά. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке. Математика не относится к естественным наукам, но широко используется в них как для точной формулировки их содержания, так и для получения новых результатов. Математика — фундаментальная наука, предоставляющая (общие) языковые средства другим наукам; тем самым она выявляет их структурную взаимосвязь и способствует нахождению самых общих законов природы.

Новый!!: Взаимная рекурсия и Математика · Узнать больше »

Многозадачность

Многозада́чность (multitasking) — свойство операционной системы или среды выполнения обеспечивать возможность параллельной (или псевдопараллельной) обработки нескольких задач.

Новый!!: Взаимная рекурсия и Многозадачность · Узнать больше »

Метод рекурсивного спуска

Метод рекурсивного спуска (Recursive descent parser) — алгоритм нисходящего синтаксического анализа, реализуемый путём взаимного вызова процедур, где каждая процедура соответствует одному из правил контекстно-свободной грамматики или БНФ.

Новый!!: Взаимная рекурсия и Метод рекурсивного спуска · Узнать больше »

Информатика

Информа́тика (Informatique; Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.

Новый!!: Взаимная рекурсия и Информатика · Узнать больше »

Дерево (структура данных)

Простой пример дерева Дерево — одна из наиболее широко распространённых структур данных в информатике, эмулирующая древовидную структуру в виде набора связанных узлов.

Новый!!: Взаимная рекурсия и Дерево (структура данных) · Узнать больше »

Лисп

Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.

Новый!!: Взаимная рекурсия и Лисп · Узнать больше »

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »