Scienza del computer recursion

2

Come derivare gli eliminatori tipicamente dipendenti?

Nella programmazione tipizzata in modo dipendente, ci sono due modi principali di decomporre i dati ed eseguire la ricorsione: Corrispondenza del modello dipendente : le definizioni delle funzioni sono fornite come più clausole. L'unificazione assicura che tutti i casi omessi siano impossibili e un risolutore esterno assicura che la ricorsione …

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

3

Algoritmo per verificare se un albero binario è un albero di ricerca e contare i rami completi

Ho bisogno di creare un algoritmo ricorsivo per vedere se un albero binario è un albero di ricerca binario e contare quanti rami completi ci sono (un nodo genitore con entrambi i nodi figlio sinistro e destro) con una presunta variabile di conteggio globale. Questo è un compito per la …

10 algorithms recursion trees

2

Differenza tra ricorsione della coda e ricorsione strutturale

C'è qualche differenza tra ricorsione strutturale e ricorsione in coda o sono entrambe uguali? Vedo che in entrambe queste ricorsioni, la funzione ricorsiva viene chiamata nel sottoinsieme degli elementi originali.

8 recursion

2

Nome corretto per un parser di discesa ricorsivo che utilizza loop per gestire la ricorsione a sinistra?

Questa grammatica è ricorsiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Quindi, in teoria, la discesa ricorsiva non funzionerà. Ma sfruttando le …

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

1

Qual è il tempo di esecuzione di questo algoritmo ricorsivo?

Ho realizzato il seguente (non golf) programma Haskell per la sfida del codice golf del calcolo del primonnnvalori di A229037 . Questa è la mia soluzione proposta per calcolare il nnnvalore th: a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n …

8 algorithm-analysis runtime-analysis recurrence-relation recursion

Domande taggate «recursion»