ARTIKELDIGITAL.COM

une variable a, b, c… une récursion : Rec(t, b, (x,y) s). Dans la récursion, t est un terme sur lequel on fait la récursion, b est le cas de base et s...

En informatique, la récursion terminale, aussi appelée, récursion finale, est un cas particulier de récursivité assimilée à une itération. Une fonction...

Fonction récursive primitive Mise en abyme Pétition de principe Récursion terminale Récursion mutuelle Suite récurrente Tapis de Sierpiński Portail des mathématiques...

La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique...

ajouter mes sources ? Et mathématiques et en informatique, la récursion mutuelle est une récursion où deux (ou plus) fonctions mathématiques ou programmatiques...

d'ensemble récursif. Plusieurs théorèmes de point fixe en théorie de la calculabilité portent sur la récursion, dont le théorème de récursion de Kleene....

récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie permettent de construire...

théorème de récursion ci-dessus permet de donner une description de F : F(w) Obtenir sa propre description <F> (grâce au théorème de récursion) Calculer...

 « Totem » no 278, 2024, 422 p. (ISBN 978-2-404-08063-5) Récursion, J'ai lu, 2021 ((en) Recursion, 2019), trad. Antoine Monvoisin, 320 p. (ISBN 978-2-290-23315-3)...

généralement, de définition d'une fonction par récursion transfinie : Théorème (fonction définie par récursion bien fondée) — Soient R une relation bien fondée...

"arrêter la récursion" et ne plus appeler la fonction qui calcule la factorielle. On voit avec cet exemple deux points majeurs de la récursion : L'algorithme...

qui lui sont propres : le « principe dialogique » ; le « principe de récursion » ; le « principe hologrammatique ». Edgar Morin invite à réformer la...

fondé la théorie de la calculabilité (également appelée théorie de la récursion), en collaboration avec notamment Alonzo Church, Kurt Gödel, Emil Post...

liste d'expressions : une expression peut être un atome ou une liste (récursion) ; un atome est soit : un nombre, un nom, une chaîne de caractères, un...

Pour les articles homonymes, voir Chudnovsky. L' algorithme de Chudnovsky est une méthode rapide pour calculer les chiffres de π, basée sur les formules...

auraient entravé les fonctionnalités essentielles de C--, telles que la récursion terminale ou la facilité avec laquelle les outils de génération de code...

Papadimitriou et Vazirani 2008. (en) « https://www.geeksforgeeks.org/tail-recursion-fibonacci/ », sur geeksforgeeks.org. Voir par exemple l'évaluation similaire...

factorielle (n - 1) Cette variante, avec un accumulateur, met en œuvre la récursion terminale, une optimisation commune parmi les langages fonctionnels :...

récursion s'arrête et N * 1 est retourné comme résultat où fac(0) est le cas de base, et fac(N) le cœur récursif. Une version utilisant la récursion terminale...

cyclique ». Sur les autres projets Wikimedia : itération, sur le Wiktionnaire Récursion terminale Aspect itératif Méthode itérative Itérateur Structure de contrôle...

(ou le polygone) n'est pas simplifiable et chaque branche formée par la récursion s'achèvera lorsque les bornes ne seront pas séparées par un nœud (cas...

que A n’en est pas une. Cette fonction est néanmoins définissable par récursion primitive d’ordre supérieur (système T de Gödel et ses extensions). Elle...

devenue bien plus rapide que l'allocation de mémoire nécessaire pour une récursion. De plus, une méthode qui fournit les pixels de la courbe à tracer sans...

Combinatorial Algorithms Chapitre 7 – Combinatorial searching Chapitre 8 – Recursion Volume 5 – Syntactic algorithms Chapitre 9 – Lexical scanning Chapitre...

de threads. Les premières versions (1.x) de CUDA ne supportent pas la récursion, les pointeurs de fonctions, et d'autres limites qui tendent à disparaître...

techniques narratives et esthétiques (notamment la mise en abyme et les récursions) pour inciter le spectateur à se demander pourquoi ses films sont constitués...

premier ordre / Logique intuitionniste du premier ordre Système T1 ? T0 (Récursion primitive) (Stephen Cole Kleene ? Thoralf Skolem ?) Arithmétique primitive...

Enfin, le théorème du point fixe de Kleene est lié à son théorème de récursion, qui permet entre autres de justifier l'utilisation des définitions récursives...

Articles connexes : Fermeture (informatique) et logique combinatoire. Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans...

précise que toutes les implémentations doivent optimiser le cas de la récursion terminale. Les types de données de base de Scheme sont les booléens, les...

Cet article est une ébauche concernant l’informatique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des...

valeur le sujet principal du paysage. Effet Droste et auto-référence (récursion), poétiquement cette image montre deux arbres sains comme une renaissance...

module est une mesure de son support ; En informatique, la profondeur de récursion est le nombre d'appels à la fonction maximal ou nécessaire pour arriver...

notamment, trois principes que sont le principe dialogique, le principe de récursion et le principe hologrammatique ». « Le principe dialogique unit deux principes...

rétrograde. En théorie de la calculabilité, on lui doit le théorème de récursion double. Raymond Smullyan n'a jamais abandonné la musique et a enregistré...

théorème de récursion de Kleene en remplaçant l'instruction 2b par <MR> où R est la suite du programme. D'autre part, le théorème de récursion de Kleene...

{\displaystyle T} , puis on construit une « fonction » x {\displaystyle x} par récursion transfinie comme suit : si α {\displaystyle \alpha } est un ordinal quelconque...

aa rd; QUERY: 1, ANSWER: 13, AUTHORITY: 0, ADDITIONAL: 22 ;; WARNING: recursion requested but not available ;; OPT PSEUDOSECTION: ; EDNS: version: 0,...

j {\displaystyle F_{0j}=d*j} F i 0 = d ∗ i {\displaystyle F_{i0}=d*i} Récursion, basée sur le principe d'optimalité : F i j = max ( F i − 1 , j − 1 +...

« ALGOL 60 at 60 - Computerphile » (consulté le 14 juin 2023) (en) « How recursion got into programming: a tale of intrigue, betrayal, and advanced programming-language...

fonctions d'ordre supérieur et fermetures (closures), et un bon support de la récursion terminale. Le typage statique d'OCaml détecte au moment de la compilation...

monétaires ; fonctions définies par l'utilisateur (en) ; prise en charge de la récursion ; pointeurs et allocation dynamique de mémoire ; support de nouveaux types :...

comprendre le théorème de Gödel a permis le développement de la théorie de la récursion et la clarification de la logique. Cette dernière est devenue une discipline...

diagramme suivant commutent. La paire (q, f) est parfois appelée donnée de récursion pour u, sous la forme d'une définition récursive : ⊢ u ( z ) = q y ∈ E...

vérifiant pas φ {\displaystyle \varphi } pour obtenir une contradiction. Récursion transfinie. De même, ce principe de définition fonde et étend la définition...

simple, et à l’intérieur de la récursion terminale : let fibonacci n = (* Définir la version récursive avec récursion terminale… *) let rec fib_2termes...

base sur une approche de type « diviser pour régner » par le biais d'une récursion. Celle-ci subdivise une transformation de Fourier discrète d'une taille...

de Magnus peut également être formulée en codant la combinatoire de la récursion dans une seule intégrale. Ce résultat a été obtenu par Bialynicki-Birula...

est la notion d'ensemble et donc sans ordre), ainsi que la notion de récursion (non disponible dans l'algèbre relationnelle car le nombre de jointure...

la tortue, une réalité finie est représentée artificiellement par une récursion infinie. Joseph Altairac et Gérard Klein, « A. E. Van Vogt remballe sa...

Ne doit pas être confondu avec Théorème de Kleene ou Théorème de récursion de Kleene. Cet article est une ébauche concernant les mathématiques. Vous pouvez...

mettre à jour les enregistrements des serveurs racine ou sollicitent de la récursion, ce qui est le résultat d'une erreur de configuration. Les problèmes observés...

Gary Kildall (créateur du SE CP/M) Stephen Cole Kleene (théorie de la récursion) Donald Knuth (The Art of Computer Programming, TeX) Werner Koch (GnuPG)...

contient des références cycliques, il faudra les repérer pour éviter une récursion infinie. Par ailleurs, la copie profonde peut être impossible pour une...

polynomiale Degré de Turing Saut de Turing P. Odifreddi, 1989. Classical Recursion Theory, North-Holland. (ISBN 0-44487-295-7) Portail de la logique Portail...

objets. La programmation par récursion est favorisée, plutôt que la programmation par boucle à effets de bord. La récursion terminale est supportée via...

clôture transitive comporte un élément minimal. Le but est d'éviter des récursions infinies comme on pourrait en avoir si l'on admettait qu'un ensemble puisse...

domaine biomoléculaire, créé par des chercheurs du MIT et de l'entreprise Recursion, présenté comme la seconde génération de la famille Boltz, publié sur...

juxtaposées. L'hypothèse d'Everett que la langue n'autorisait pas la récursion a été vigoureusement discutée par d'autres linguistes. Everett a répondu...

Scheme, permettent une sorte de récursivité infinie, la récursion terminale (en anglais, tail recursion) sans dépassement de pile. Pour ce faire, ces langages...

New York, Springer-Verlag, 1977, p. 178. (en) P. Odifreddi, Classical Recursion Theory, North-Holland, 1989 (ISBN 0-44487-295-7), p. 129, dans le cas...

de Tcl-Tk. En plus d'être dotée d'un système objet, elle supporte la récursion terminale, les coroutines, la continuation et la programmation concurrente...

pseudonymes « Everlynn », « Amtrak » et « Asyntax » au sein des groupes Recursion Team et LAPSUS$, puis sous les identités « Earth2Star » et « Star Ace »...

fonctions comportant des boucles. Une simple fonction imbriquée récursive ou récursion terminale est créée, qui se comporte comme la boucle principale, alors...

(DOI 10.1145/322169.322183) [Knuth] Donald E. Knuth, « Textbook Examples of Recursion », dans Vladimir Lifschitz (éditeur), Artificial Intelligence and Mathematical...

matrices » obtenues. Dans l'algorithme original de Strassen, chaque niveau de récursion effectue 18 additions et soustractions de blocs en plus des 7 multiplications...

mathématique : théorie quantique des champs, théories conformes, intégrabilité, récursion topologique, combinatoire, géométries aléatoires Matière condensée Physique...

exceptions contiennent la trace d'appels d'où l'exception a été lancée. Récursion terminale Contexte d'exécution Dépassement de pile « Utilisation des fichiers...

(en) « News Item », Datamation (en),‎ janvier-février 1960. H. G. Rice, Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115. Ressource relative...

si vous tapez le mot « recursion », la fonction correcteur orthographique vous dira : « Essayez avec l'orthographe : recursion ». Sur Android, en utilisant...

actuelles en la matière. D'autre part, dans la logique circulaire des récursions de l'approche écosystémique, il s'agit aussi d'une question de « ponctuation »...

remplissage de la première table, employer l’algorithme pour rechercher par récursion (plutôt que par pré-calcul dans cette table) les sous-chaînes dans la...

Giuseppe Longo ont porté sur la logique mathématique, la théorie de la récursion, la sémantique dénotationnelle, le lambda-calcul, la théorie des types...

l'espace ℕω, voir l'exercice V.3.9.b de (en) P. Odifreddi, Classical Recursion Theory, Elsevier, coll. « Studies in Logic and the Foundations of Mathematics »...

Kirszbraun (en) Théorème de Kleene Théorème du point fixe de Kleene Théorème de récursion de Kleene Théorème de Knaster-Tarski Théorème de Kneser (combinatoire)...

allocation de mémoire supplémentaire autre que la pile d’exécution des récursions. Cependant, ce tri n’est pas stable, et sa complexité temporelle est en...

donner sa conférence 2001 Theodore A. Slaman, Théorie de la récursion (titre anglais : Recursion Theory). 2002 Harvey Friedman, Problèmes des fondements des...

l'arithmétique des entiers naturels en définissant d'abord les objets par récursion primitive, puis en concevant un autre système pour prouver les propriétés...

main », sur casteyde.christian.free.fr (consulté le 7 octobre 2015) « c - Recursion using main() function », sur Stack Overflow (consulté le 29 avril 2019)...

l'appel réciproque de deux ou plusieurs fonctions (en anglais : mutual recursion) ainsi que l'utilisation de compilateurs à passage unique, qui traduisent...

cet inconvénient, utilise un compteur de récursion. Ainsi il mesure au fur et à mesure la profondeur de récursion en cours (d'où le nom de l'algorithme)...

types récursifs est une récursion primitive ou catamorphisme, et celle pour les types de données corécursifs est une co-récursion primitive ou anamorphisme...

À l'instar de la récursion primitive ou le lambda-calcul, le système T ou l'arithmétique dans les types finis, parfois notée H A ω {\displaystyle \mathbf...

types inductifs. Deux méthodes pour générer des types sont l'induction-récursion et l'induction-induction. Une méthode qui utilise uniquement des termes...

the God of Love par Justina Robson Mindscape par Andrea Hairston (en) Recursion par Tony Ballantyne (en) Nova Swing par M. John Harrison Citation spéciale :...

infinie. Les filtres à réponse impulsionnelle infinie appliquent une récursion en utilisant des échantillons du signal de sortie, éventuellement retardés...

implémentations, UCBLogo fournit un interpréteur Logo avec l'appel de récursion finale. Écrit en C, Berkeley Logo est un logiciel libre distribué selon...

Bron–Kerbosch consiste à renoncer au pivot dans le niveau externe de la récursion, et choisir à la place d'ordonner les appels récursifs de manière à minimiser...

constant pendant les appels récursifs reste constant et qu'à chaque étape de récursion on double le nombre de courbes étudiées, la complexité de l'algorithme...

strictement le cardinal de la réunion B des An. On définit ensuite, par récursion transfinie, Bα pour tout ordinal α < κ, par : B∅ = B, Bα+1 = Bα∪P(Bα)...

Strong inequivalence of Ianov schemes · Strong inequivalence for monadic recursion · Non-containment for free B-schemes · Non-freedom for loop-free program...

Donald Pelletier, Mathematical Logic : A Course With Exercises : Part II : Recursion Theory, Gödel's Theorems, Set Theory, Model Theory, Paris, Oxford University...

Héritage Fonction d'ordre supérieur Générateurs Coroutines (Coroutine) Récursion terminale Système de gestion d'exceptions Gestion automatique de la mémoire...

est un mathématicien logicien américain qui travaille en théorie de la récursion. Slaman étudie d'abord la physique à l'université d'État de Pennsylvanie...

d'une fonction G travaillant sur des moitiés de 32 bits. Cependant la récursion ne s'étend pas plus loin car la fonction G n'est pas un réseau de Feistel...

problèmes face à des phrases complexes ; Des problèmes de compréhension en récursion ; ex. : « Le chien de la voisine du frère de mon ami… » ; Double et triple...

pour faciliter l’accession de certains concepts : géométrie, variable, récursion… soit pour étudier l’opportunité de l’intégrer dans le cursus d’algèbre...

deux parties comme dans quicksort, l'algorithme quickselect n'utilise la récursion que sur un côté - le côté contenant l'élément qu'il cherche. Cela réduit...

Computing 6,4 [1984], 337-349 Robert Soare, (1995-6), Computability and Recursion, Bulletin of Symbolic Logic 2 (1996), 284–321, version en ligne, article...

de manière récursive, il s'agit donc d'un partitionnement récursif. La récursion est achevée à un nœud soit lorsque tous les sous-ensembles ont la même...

d'instructions vérifiées ne peut dépasser 1 million. les boucles infinies, ou la récursion infinie sont interdites. la lecture de zone mémoire arbitraire est interdite...

gz peut même contenir une copie de lui-même, ce qui peut entraîner une récursion infinie si le serveur vérifie les fichiers d'archives imbriqués. Une bombe...

supporte les boucles et les branchements (ex: if-else, for, switch). La récursion est proscrite et son absence est vérifiée durant la compilation. L'utilisateur...

pour calculer les intégrales elliptiques Valeurs initiales Équations de récursion Intégrales elliptiques a 0 = 1 {\displaystyle a_{0}=1} a n + 1 = a n +...

de programmation C++. L'exemple simple de calcul de factorielle avec récursion illustre bien ce qu'est la « programmation lors de la compilation ». En...

(DOI 10.1090/s0002-9939-1979-0537078-x, MR 537078) avec J. Patera : « Fast recursion formula for weight multiplicities », Bull. Amer. Math. Soc. (N.S.), vol...

mathématicien logicien américain qui travailla principalement en théorie de la récursion. Gerald E. Sacks obtient un Ph. D. en 1961 sous la direction de John Barkley...

sera ajoutée a l'arbre des traces compilées disponibles. À noter que la récursion étant une forme de boucle, elle se prête également à la même technique...

mathématique à cette université. Sy Friedman travaille en théorie de la récursion, théorie axiomatique des ensembles (en relation avec la théorie des modèles)...

organise régulièrement des événements mondiaux tels Cassandra, 13Magnus ou Recursion qui mobilisent des milliers de joueurs. Mais certains groupes de joueurs...

Ne doit pas être confondu avec Théorème de récursion de Kleene ou Théorème du point fixe de Kleene. En informatique théorique, et plus précisément en...

lire en ligne), p. 1133-1142. (en) Carl Jockusch, « Ramsey's Theorem and Recursion Theory », Journal of Symbolic logic, vol. 37, 1972, p. 268-280. Voir en...

sous la supervision de Gerald E. Sacks (« Priority Arguments in Alpha-Recursion Theory »), où il était assistant depuis 1968. Il est post-doc en tant...

Factoring via Network-Enabled Recursion (FAFNER) (Factorisation par récursivité activée par réseau) était un projet datant de 1995 pour essayer de résoudre...

documenté (et accepté) entraînant une erreur de segmentation en cas de récursion infinie. Cette erreur étant due à une corruption mémoire, Suhosin va plutôt...

Le principal domaine de recherche de Shoenfield est la théorie de la récursion, et ses travaux dans ce domaine couvrent notamment les degrés d'insolvabilité...

similaire au calcul sur les chaînes. Cependant le choix de l'ordre des récursions peut changer la complexité en temps du calcul de manière significative...

faisaient face à des limites techniques insolubles. Par exemple, une récursion accidentelle d’une sous-routine engendrait des problèmes difficiles à...

montre que les fonctions en temps polynomial (FP) sont définies par la récursion sûre. Sur base de ce résultat, on a défini la hiérarchie polynomiale et...

simplement typé des entiers naturels primitifs et un mécanisme de récursion similaire à la récursion primitive (mais plus expressif). Dans le système F, une telle...

ID3 construit l'arbre de décision récursivement. À chaque étape de la récursion, il calcule parmi les attributs restant pour la branche en cours, celui...

Zassenhaus » (voir la liste des auteurs). zum Beispiel Moody, Patera Fast recursion formula for weight multiplicities, Bulletin AMS, 7, 1982, 237–242, Online...

Szynal, « On moments of counting distributions satisfying the k'th-order recursion and their compound distributions », Journal of Mathematical Sciences,...

NPC » sur cstheory.stackexchange.com. Piergiorgio Odifreddi, Classical Recursion Theory, vol. II, Amsterdam, Elsevier, coll. « Studies in Logic and the...

Œuvres principales On the Non-Vanishing of Certain Functions (d), Levinson's Theorem (d), Levinson recursion (d), inégalité de Levinson...

préfixe FFT (fast fourier transform). Un tour fait également appel à une récursion. À la suite de la découverte de failles, Schnorr propose une version améliorée...

Martine, roman inédit traduit de l'anglais (États-Unis) par Gilles Goullet Récursion par Blake Crouch, roman inédit traduit de l'anglais (États-Unis) par Antoine...

récursivement à chacun des sous-rectangles dont l'indice est non nul. La récursion prend fin lorsque les rectangles sont suffisamment petits pour que l'approximation...

le gros défaut de ne pas intégrer la notion de procédure, et donc de récursion, idée centrale en informatique et également centrale dès le départ dans...

Disconnectome 3:18 3. Cycles of Tragedy 3:10 4. Under The Gun 3:35 5. Recursion 0:53 6. Analogs In A Cell 2:56 7. Silence the Echo 4:30 8. One Without...

poids fort dont il est privé), lui-même codé avec un codage récursif — la récursion s'arrêtant lorsque le nombre est nul. Cette section est vide, insuffisamment...

) (en). (en) Janice L. Malouf, « An integer sequence from a rational recursion », Discrete Mathematics, vol. 110,‎ 1992, p. 257–261 (DOI 10.1016/0012-365X(92)90714-Q)...

d'AC nécessaire à montrer l'existence d'une suite construite par une récursion transfinie de longueur dénombrable et dans laquelle il faut faire un choix...

dans SPARQL avec des règles Datalog (règles avec récursion, négation et négation dans la récursion). propriétés ACID (atomicity, consistency, isolation...

{u}})=h(g_{1}({\bar {u}}),g_{2}({\bar {u}}),\dots ,g_{m}({\bar {u}}))} l'est aussi), récursion bornée, (si g {\displaystyle g} , h {\displaystyle h} et j {\displaystyle...

2009). (en) Marc Wirz, « Characterizing the Grzegorczyk hierarchy by safe recursion », CiteSeer, 1999 (consulté le 21 avril 2009). (en) Markus Müller, « Reihenalgebra »...

de doctorat de Boyd sous la direction de Hilary Putnam est intitulée A recursion-theoretic characterization of the ramified analytical hierarchy. Il est...

Turing dont l'arrêt est indécidable ou dans la preuve du théorème de récursion de Kleene. Le programme Python suivant implémente la fonction s11 pour...

(données) IdRef LCCN GND Pays-Bas Israël NUKAT Tchéquie (en) Ramified Recursion and Intuitionism in memory of Georges Reeb (en) « Georges Reeb », sur...

theory, North-Holland, 1994 (2e édition, 2005 (lire en ligne)) Abstract recursion and intrinsic complexity, Cambridge University Press, coll. « Lecture...

Romain Dasnoy : Fractal Piano (Lost Fractal (Emergence), Metamorphic Recursion, Timefold, Forgotten Memory, Fading Creation, Fractal Piano, Echoes of...

DOI 10.2977/prims/1195182017 H. Boos, M. Jimbo, T. Miwa et F. Smirnov, « A recursion formula for the correlation functions of an inhomogeneous XXX model (Original:...

Cellular Automata Von Neumann Probe Gestalt Intelligence Isotropy Pascal's Recursion Ulams Spiral Mandelbrot Set Spirangle Exponential Decay 1995 : Fascist...

disponible pour le reste de l'exécution du programme. C'est aussi la cause de récursions infinies lorsqu'avec les appels de méthodes, on appelle une méthode qui...

nombre de transformations dans un système de réécriture ; le nombre de récursions dans l’évaluation d’une fonction récursive ; le nombre d’étapes de calcul...

Racket comprend les macros, les modules, les clôtures lexicales, les récursions terminales, les paramètres (variables fluides), la programmation par contrat...

légèrement plus avancés qui sont parfois nécessaires : la concurrence et la récursion. La hiérarchie est la plus fondamentale de toutes les constructions de...

le principe mathématique de la récursion, un des thèmes de l'épisode. Ainsi, la ville de Castrovalva est une récursion, ainsi que la remarque de Tegan...

avec d'autres paramètres qui tendent vers certaines limites lors de la récursion, a ensuite été largement utilisée en mathématiques computationnelles....

a obtenu un doctorat en philosophie en 1975 pour une thèse intitulée Recursion Theory on the Countable Functionals supervisée par Robin Gandy. Martin...

Emerson, « A Family of Meta-Fibonacci Sequences Defined by Variable-Order Recursions », University of Waterloo, Waterloo, Ontario (Canada), vol. 9, no 1,‎...

longueur 2) est omise, car implicite (1 est donc le cas d'arrêt de la récursion). L'ensemble du code omega est suivi d'un 0 faisant office de séparateur...

1990. Herman E. Boos, Michio Jimbo, Tetsuji Miwa et Fedor Smirnov, « A recursion formula for the correlation functions of an inhomogeneous XXX model (Original:...

et OCaml (sauf avec l’option de compilation -rectypes) interdisent la récursion dans les alias de type — c’est‐à‐dire l’équirécursivité. Ainsi, les définitions...

1145/359046.359057) (en) J. Arsac et Y. Kodratoff, « Some Techniques for Recursion Removal from Recursive Functions », ACM Transactions on Programming Languages...

symbole E intervient dans sa propre définition. D'une façon générale il y a récursion quand un symbole non terminal est à la fois à gauche et à droite d'une...

clairement GG. On a de plus une profondeur de récursion maximale de n et le cout mémoire de chaque étape de récursion est linéaire en la taille de l'entrée....

développements, entre autres, de théorie des ensembles (ordinaux et cardinaux, récursion, équivalents de l'axiome de choix, l'hypothèse continue…), la construction...

mode", et déclare que des concepts tels que la structure profonde ou la récursion n'ont apporté aucun résultat concret. Il juge également "excentrique"...

j:\mathbb {N} ^{k+1}\rightarrow \mathbb {N} ^{r}} . On définit par la récursion bornée h = R e c B ( f , g , j ) {\displaystyle h=\mathrm {RecB} (f,g...

analyses pour être résolues, en particulier les appels récursifs, les récursions terminales et l’élimination des régions ne contenant qu’une valeur isolée...

dirigé par Hartley Rogers Jr. et intitulé Reducibility in Generalized Recursion Theory. Il a enseigné à partir de 1970 à l'université Monash à Melbourne...

l'université de Californie à Los Angeles, avec une thèse intitulée « Logic of Recursion », sous la direction de Yiannis Moschovakis. Elle est professeure au CUNY...

aucune incidence sémantique — même s'il peut néanmoins déterminer si une récursion infinie s'achève ou avoir d'autres implications en termes de performances...

base définissant le carrée de base de l’arbre  % n est la profondeur de récursion souhaitée save C,D,E; pair C,D,E;  % C est la rotation de A autour de...

algébrique est une combinaison ingénieuse de vérification de cohérence, de récursion et de procédures d'apprentissage pour les espaces affines, et apporte...

Homotopy Theory, M. C. Crabb, 1980, 1re éd. (ISBN 9780521280518) 45. Recursion Theory, its Generalisations and Applications, F. R. Drake, S. S. Wainer...

E\rightarrow E+E\mid I\mid N} peuvent être remplacées, pour supprimer la récursion gauche, par : E → I E ′ ∣ N E ′ {\displaystyle E\rightarrow I\,E'\mid...

MR 0085360) (en) H. Fakhri et A. Chenaghlou, « Ladder operators and recursion relations for the associated Bessel polynomials », Physics Letters A,...

finalement dans le cache, quelle que soit sa taille, et interrompent la récursion à une taille réduite, déterminée par la surcharge liée aux appels de fonction...

Patera et Sankoff 1973. McKay et Patera 1981. (en) Moody et Patera, « Fast recursion formula for weight multiplicities », Bulletin AMS, no 7,‎ 1982, p. 237–242...

(1re éd. 1967) (Service bibliothécaire national 356-02201-3), « 1.5. Recursion in Functional Programming », p. 8 (viii+64 pages) Portail de l’informatique...

Leo Harrington, Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist). 1996 : Saharon Shelah, Categoricity without compactness. 1997 :...

« Efficient computation of Ihara coefficients using the Bell polynomial recursion », Linear Algebra and its Applications, vol. 436,‎ 2012, p. 1436–1441...

T Hess, Anett Liewald et Klaus D Schmidt, « An Extension of Panjer's Recursion », ASTIN Bulletin: The Journal of the IAA, vol. 32(2),‎ 2002, p. 283-297...

différents cercles, on obtient des factorisations de plus en plus fines. Cette récursion s'arrête après un nombre fini de divisions correctes, tous les facteurs...

m/2^{i}} bits par entrée dans la table de hachage au i-ème niveau de récursion, la structure ne prend qu'un place en O ( n ) {\displaystyle O(n)} . Si...

« A New Top-Down Parsing Algorithm to Accommodate Ambiguity and Left Recursion in Polynomial Time », ACM SIGPLAN Notices, vol. 41, no 5,‎ 2006, p. 46–54...

de John Crossley (en), avec une thèse intitulée Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters. Après avoir...

la Bulgarie auprès de l'OTAN depuis 2004. (en) Ivanov, L. L. Algebraic Recursion Theory, Chichester, West Sussex, Ellis Horwood, New York, John Wiley &...

racine (unique) à laquelle sont rattachés un ensemble de (sous-)arbres. La récursion ne nécessite pas d'initialisation explicite : elle n'engendre des arbres...

logiciels, mais d'autres facteurs comme l'utilisation de la mémoire ou les récursions ont aussi un impact. Les expériences menées dans cette étude montrent...

Kevin Hammond, « Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification », Future Generation...

Springer-Verlag, 1976, 394 p. (ISBN 3-540-07451-1) (en) Peter G. Hinman, Recursion-theoretic hierarchies, Springer-Verlag, 1978 (en) Michael Rathjen, "The...