0 Daumen
68 Aufrufe

Zeigen Sie, dass das Null-Halteproblem unentscheidbar ist, indem Sie nur Theorem 4.44 (Busy Beaver ist nicht berechenbar) benutzen (keine sonstigen Reduktionen oder die Unentscheidbarkeit der anderen Halteprobleme).
von

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community