Handout - Institut für Theoretische Informatik - Technische ...

3. Turingmaschinen 3.4 Turing-berechenbare partielle Funktionen
Beispiel ( β(2) = 4 )
〈q 0 , #〉 ⊢ 〈q 1 , | #〉
#/〈|, R〉
⊢ 〈q 0 , | | 〉
start
q 0
#/〈|, L〉
q1
|/〈|, R〉
q F
⊢ 〈q 1 , # | | 〉
⊢ 〈q 0 , # | | | 〉
⊢ 〈q 1 , | | | | 〉
|/〈|, L〉
⊢ 〈q F , | | | | 〉
Bei Wikipedia findet man diverses Hintergrundmaterial zum Thema Busy
Beaver (dort heißt die Funktion Σ ), einschließlich einiger Schranken für
die Werte β(6) und β(10) . Weiterhin sei auf die Seite von Heiner Marxen
verwiesen, der zeitnah über aktuelle Busy Beaver Rekorde buchführt.
Es ist zu empfehlen, den Wert β(3) selbständig nachzurechnen, ohne
obige Quellen zu konsultieren.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 43 / 215