Und zwar rekursiv, wie man sagt: Sobald es auf einen Widerspruch stößt, verwirft es den Zweig und fängt eins weiter unten wieder an., Anders gesagt, daß der formale Begriff rekursiv eine angemessene Formalisierung des intuitiven Begriffs "berechenbar darstellt., Dieses Verfahren wird rekursiv durchgeführt, bis eine der beiden folgenden Bedingungen erfüllt wird., 3.Rekursive Lösungstypen: Hier wird das Ergebnis bei der numerischen Auswertung rekursiv aus Zwischenergebnissen bestimmt., Eine Sprache heißt rekursiv) entscheidbar, wenn es einen deterministischen Turingautomaten gibt, der diese Sprache akzeptiert und bei jeder Eingabe anhält., Die von Turingautomaten akzeptierten Sprachen sind genau die Sprachen vom Chomsky-Typ 0, die man auch (rekursiv) aufzählbar nennt., Sowohl deterministische wie auch nicht-deterministische Turing-Maschinen akzeptieren genau die rekursiv aufzählbaren Sprachen., Auf die so gefundene Teilfolge wird rekursiv der erläuterte Halbierungsschritt angewandt, bis der gesuchte Knoten gefunden ist., Das Verfahren heißt rekursiv, weil sich die konstruierten Prozeduren entsprechend der rekursiven Definition der Programmiersprache selbst aufrufen können., Auf F1 und F2 wendet man rekursiv das geschilderte Verfahren weiter an, bis man Teillisten erhält, die nur noch ein Element oder keines enthalten und somit sortiert sind.