Review Note
Last Update: 12/03/2024 08:41 AM
Current Deck: ethanki::TI
Published
Fields:
Front
Können wir die TM \(M_i\) generieren?
Back
Ja, die Funktion \(Gen(i) = Kod(M_i)\) ist total rekursiv, d. h., es existiert eine Turingmaschine (Programm) \(A_\text{Gen}\), die für eine gegebene Zahl \(i \) die Kodierung \(Kod(M_i)\) berechnet.
Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: