Turingmaschine Problem als Sprache Formalisierung und zeigen, dass sie aufzählbar ist.

Question

Aufgabe:

Betrachten Sie das folgende Problem Print0:

Gegeben eine Turingmaschine M. Wenn M mit dem leeren Band gestartet wird, so gibt M
irgendwann einmal 0 aus.
Formalisieren Sie das Problem als Sprache und zeigen Sie, dass diese aufzählbar ist.

Problem/Ansatz:

Stehe voll auf dem

Comments

Was bedeutet TM M ?

---

TM steht für Turingmaschine.

Ich hätte das wohl eher ausschreiben sollen.