Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

互递归 · Vinony

Home
Recursion
互递归

🌐中文

English Español Français Português Tiếng Việt Русский 中文日本語

EntityQ3454656· pop 12· linked from 21 articles

互递归

form of recursion

Article · 中文

互递归是数学与计算机科学中一种递归，指两个数学或计算机对象如函数或数据类型互相定义。互递归在函數程式語言或某些问题域中非常常见，如，其中数据类型是自然地互相递归定义的。

Abstract from DBpedia / Wikipedia · CC BY-SA

Available in 12 languages

Español
Français
中文
日本語
Русский
Português
Finnish
Serbian
Tiếng Việt
Ukrainian

Connections

Categories

Recursion Theory of computation

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

mathematics

Entity

computer science

International Standard Book Number

programming language

functional programming

finite-state machine

Stony Brook University

Sign in to save

What links here21 pages

primitive recursive function

median of medians

forward declaration

McCarthy 91 function

recursive data type

fixed-point combinator

recursive-descent parser

parsing expression grammar

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

recursive neural network

Entitydist 0.54

well-founded relation

Entitydist 0.66

calculus of constructions

Entitydist 0.70

relation (mathematics)

Entitydist 0.71

Entitydist 0.71

creation operator

Entitydist 0.72

reflexive relation

Entitydist 0.73

Entitydist 0.73

tolerance relation

Entitydist 0.73

Entitydist 0.73

bidirectional associative memory

Entitydist 0.74

De Casteljau's algorithm

Entitydist 0.74