Perguntas com a marcação «recursion»

Na programação de tipo dependente, existem duas maneiras principais de decompor dados e executar recursão: Correspondência de padrões dependentes : as definições de funções são fornecidas como várias cláusulas. A unificação garante que todos os casos omitidos sejam impossíveis e um solucionador externo garante que a recursão seja bem fundamentada. …

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

Eu preciso criar um algoritmo recursivo para ver se uma árvore binária é uma árvore de pesquisa binária e contar quantas ramificações completas existem (um nó pai com nós filhos esquerdo e direito) com uma variável de contagem global assumida. Esta é uma atribuição para minha classe de estruturas de …

10 algorithms  recursion  trees 

Existe alguma diferença entre recursão estrutural e recursão de cauda ou ambos são iguais? Vejo que, nessas duas recursões, a função recursiva é chamada no subconjunto dos itens orignais.

8 recursion 

Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Portanto, em teoria, a descida recursiva não funcionará. Mas, explorando …

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

Fiz o seguinte programa Haskell (não-destruído) para o desafio do código-golfe de calcular o primeironnnvalores de A229037 . Esta é a minha solução proposta para calcular o º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion 

Gödel define em seu Sistema T recursividade primitiva sobre tipos mais altos. Encontrei notas de Girard, onde ele explica a implementação do Sistema T em cima do cálculo lambda simplesmente digitado. Na página 50, ele menciona que, quando usamos mais tipos no recursor, obtemos um poder mais expressivo com o …

8 computability  lambda-calculus  recursion  type-theory 

Temos uma função que recebe uma matriz como entrada. Ele divide uma matriz em partes com tamanhos iguais, onde é o tamanho da sub- matriz . Ele continua quebrando cada um dos sub-arranjos até restarem apenas dois elementos nele. Qual é a profundidade dessa recursão?log2(n)log2⁡(n)\log_2(n)nnn Exemplo do processo: Primeiro, temos …

7 complexity-theory  time-complexity  asymptotics  recursion  mathematical-analysis 

Sou assistente de professor na minha universidade e meu próximo tópico é recursão. de que maneira é melhor ensinar a recursão para que o aluno possa entender o conceito facilmente e possa pensar recursivamente? Eu estava pensando em explicar a estrutura da pilha para ensinar recursão, mas estou preocupado que …

7 recursion  education  didactics