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. Wo

Observe 发表于 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 auf

Volatile-Oils 发表于 2025-3-24 05:05:50

http://reply.papertrans.cn/83/8261/826073/826073_15.png

Indicative 发表于 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.png

Alveolar-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
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Rekursive Funktionen; Heinz Lüneburg Textbook 2002 Springer-Verlag Berlin Heidelberg 2002 Berechenbarkeit.Beweis.Rekursive Funktionen.Turi