single 发表于 2025-3-23 11:56:06
Turingmaschinen, mit 0 bezeichnet. Ebenso spielt qo eine Sonderrolle, es ist der .. Schließlich spielen noch zwei Buchstaben . und . eine Rolle, die für „rechts“ und „links“ stehen. Keiner dieser Buchstaben komme in .∪. vor.cortex 发表于 2025-3-23 16:54:51
0937-7433 aterial: Dieses Buch basiert auf Vorlesungen, die der Autor in Kaiserslautern gehalten hat. Ihr wesentliches Anliegen war, die Turing-berechenbaren Wortfunktionen auf eine von jeglichem Maschinenmodell unabhängige Weise zu charakterisieren, nämlich als die partiell Wort-rekursiven Wortfunktionen. WoObserve 发表于 2025-3-23 18:03:55
http://reply.papertrans.cn/83/8261/826073/826073_13.png树上结蜜糖 发表于 2025-3-24 01:14:06
https://doi.org/10.1007/978-3-642-55993-8Berechenbarkeit; Beweis; Rekursive Funktionen; Turingmaschine; Turingmaschinen; Wortfunktion; rekursiv aufVolatile-Oils 发表于 2025-3-24 05:05:50
http://reply.papertrans.cn/83/8261/826073/826073_15.pngIndicative 发表于 2025-3-24 07:35:34
,Rekursive und rekursiv aufzählbare Teilmengen,stische Funktion rekursiv bzw. primitiv rekursiv ist. Dabei sei daran erinnert, dass in unserem Rahmen die Rollen von 0 und 1 gegenüber ihrem sonstigen Gebrauch bei der Definition der charakteristischen Funktionen vertauscht sind.Carminative 发表于 2025-3-24 10:59:08
http://reply.papertrans.cn/83/8261/826073/826073_17.pngAlveolar-Bone 发表于 2025-3-24 15:30:43
Rekursive Wortfunktionen,nen. In diesem Abschnitt werden wir nun zeigen, dass sich diese Funktionen auch innerhalb der Wortfunktionen selber beschreiben lassen. Wir imitieren dabei die entsprechende Beschreibung der primitiv rekursiven, rekursiven und partiell rekursiven arithmetischen Funktionen.挥舞 发表于 2025-3-24 19:37:39
http://reply.papertrans.cn/83/8261/826073/826073_19.png易受骗 发表于 2025-3-24 23:27:07
Partiell rekursive Funktionen,Ob ich Informatiker geworden wäre, frage mich ein Kommilitone in den Ferien. Meinem Erstaunen begegnete er damit, dass ich doch im nächsten Semester (SS 2001) über rekursive Funktionen läse. Nun, wenn ich üver ein Thema lese, dass auch Informatikern am Herzen liegt, heißt das noch lange nicht, dass ich Informatiker geworden bin