Preguntas etiquetadas con recursion

En la programación de tipo dependiente, hay dos formas principales de descomponer datos y realizar recursividad: Dependencia de patrones dependientes : las definiciones de funciones se dan como múltiples cláusulas. La unificación asegura que todos los casos omitidos son imposibles, y un solucionador externo asegura que la recursión esté bien …

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

Necesito crear un algoritmo recursivo para ver si un árbol binario es un árbol de búsqueda binario, así como contar cuántas ramas completas hay (un nodo primario con nodos secundarios izquierdo y derecho) con una variable de conteo global asumida. Esta es una tarea para mi clase de estructuras de …

10 algorithms  recursion  trees 

¿Hay alguna diferencia entre la recursividad estructural y la recursividad de cola o ambas son iguales? Veo que en estas dos recursiones, la función recursiva se llama en el subconjunto de los elementos originales.

8 recursion 

Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Entonces, en teoría, el descenso recursivo no funcionará. Pero al …

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

Hice el siguiente programa de Haskell (sin golf) para el desafío del código de golf de calcular los primeros valores de A229037 .nnn Esta es mi propuesta de solución para calcular el º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion