L'informatique recursion

2

Comment dériver des éliminateurs typés de manière dépendante?

Dans la programmation de type dépendant, il existe deux façons principales de décomposer les données et d'effectuer la récursivité: Correspondance de modèle dépendante : les définitions de fonction sont données sous forme de clauses multiples. L'unification garantit que tous les cas omis sont impossibles, et un solveur externe garantit que …

10 reference-request recursion type-theory dependent-types inductive-datatypes

3

Algorithme pour tester si un arbre binaire est un arbre de recherche et compter les branches complètes

Je dois créer un algorithme récursif pour voir si un arbre binaire est un arbre de recherche binaire ainsi que compter le nombre de branches complètes (un nœud parent avec les nœuds enfants gauche et droit) avec une variable de comptage globale supposée. Il s'agit d'une affectation pour ma classe …

10 algorithms recursion trees

2

Différence entre la récursion de queue et la récursion structurelle

Y a-t-il une différence entre la récursion structurelle et la récursion de queue ou les deux sont-ils identiques? Je vois que dans ces deux récursions, la fonction récursive est appelée sur le sous-ensemble des éléments d'origine.

8 recursion

2

Nom correct pour un analyseur de descente récursif qui utilise des boucles pour gérer la récursion gauche?

Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Donc, en théorie, la descente récursive ne fonctionnera pas. Mais en …

8 reference-request formal-grammars recursion parsers left-recursion

1

Quel est le temps d'exécution de cet algorithme récursif?

J'ai fait le programme Haskell (non golfé) suivant pour le défi de golf de code de calculer les premières valeurs de A229037 .nnn Voici ma solution proposée pour calculer la ème valeur:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n …

8 algorithm-analysis runtime-analysis recurrence-relation recursion

Questions marquées «recursion»