Computerwissenschaften recursion

2

Wie kann man abhängig typisierte Eliminatoren ableiten?

Bei der abhängig typisierten Programmierung gibt es zwei Hauptmethoden zum Zerlegen von Daten und Durchführen einer Rekursion: Abhängiger Mustervergleich : Funktionsdefinitionen werden als Mehrfachklauseln angegeben. Die Vereinheitlichung stellt sicher, dass alle ausgelassenen Fälle unmöglich sind, und ein externer Löser stellt sicher, dass die Rekursion begründet ist. Eliminatoren : Jedem induktiven …

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

3

Algorithmus zum Testen, ob ein Binärbaum ein Suchbaum ist, und zum Zählen vollständiger Zweige

Ich muss einen rekursiven Algorithmus erstellen, um zu sehen, ob ein Binärbaum ein binärer Suchbaum ist, und um zu zählen, wie viele vollständige Zweige vorhanden sind (ein übergeordneter Knoten mit sowohl linken als auch rechten untergeordneten Knoten) mit einer angenommenen globalen Zählvariablen. Dies ist eine Zuordnung für meine Datenstrukturklasse. Soweit …

10 algorithms recursion trees

2

Unterschied zwischen Schwanzrekursion und struktureller Rekursion

Gibt es einen Unterschied zwischen Strukturrekursion und Schwanzrekursion oder sind beide gleich? Ich sehe, dass in diesen beiden Rekursionen die rekursive Funktion für die Teilmenge der ursprünglichen Elemente aufgerufen wird.

8 recursion

2

Richtiger Name für einen rekursiven Abstiegsparser, der Schleifen verwendet, um die linke Rekursion zu behandeln?

Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Theoretisch funktioniert ein rekursiver Abstieg also nicht. Durch Ausnutzen der Eigenschaften …

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

1

Was ist die Laufzeit dieses rekursiven Algorithmus?

Ich habe das folgende (ungolfed) Haskell-Programm für die Code-Golf- Herausforderung erstellt, bei der die ersten Werte von A229037 berechnet wurden .nnn Dies ist meine vorgeschlagene Lösung zur Berechnung des ten Wertes:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = …

8 algorithm-analysis runtime-analysis recurrence-relation recursion

2

Ackerman-Hierarchie für primitive Rekursion höherer Ordnung in System T.

Gödel definiert in seinem System T die primitive Rekursion über höhere Typen. Ich fand Notizen von Girard, in denen er die Implementierung von System T zusätzlich zu einfach eingegebenem Lambda-Kalkül erklärt. Auf Seite 50 erwähnt er, dass wir mit dem System mehr Ausdruckskraft gewinnen, sobald wir mehr Typen im Recursor …

8 computability lambda-calculus recursion type-theory

4

Was ist die Tiefe der Rekursion, wenn wir ein Array in aufteilen

Wir haben eine Funktion, die ein Array als Eingabe verwendet. Es zerlegt ein Array in Teile mit gleichen Größen, wobei die Größe des Subarrays ist. Es unterbricht jedes der Subarrays so lange, bis nur noch zwei Elemente darin sind. Was ist die Tiefe dieser Rekursion?log2(n)log2⁡(n)\log_2(n)nnn Beispiel des Prozesses: Zuerst haben …

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

4

Unterrichtsrekursion

Ich bin Lehrerassistent an meiner Universität und mein nächstes Thema ist Rekursion. Wie kann man Rekursion am besten unterrichten, damit der Schüler das Konzept leicht verstehen und rekursiv denken kann? Ich habe darüber nachgedacht, die Stapelstruktur zu erklären, um die Rekursion zu lehren, aber ich mache mir Sorgen, dass sie …

7 recursion education didactics

Als «recursion» getaggte Fragen