wenn ich eine Grammatik mit einer Produktion habe, die sowohl Linksrekursion als auch Linksfaktor enthält F→FBa∣cDS∣cF→FBa∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c Welches hat Priorität, linke Rekursion oder linkes
wenn ich eine Grammatik mit einer Produktion habe, die sowohl Linksrekursion als auch Linksfaktor enthält F→FBa∣cDS∣cF→FBa∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c Welches hat Priorität, linke Rekursion oder linkes
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
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
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...
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...
Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei...
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...