Sei TM eine Turingmaschine die L akzeptiert .
ist es möglich ein WHILE-Programm aus TM zu schreiben, so dass das WHILE-Programm die gleiche sprache L berechnen ?
Da die Berechnungsmodelle Turing-berechenbar und WHILE-berechenbar äquivalent sind, ist es möglich, TM in ein WHILE Programm zu überführen. Also ja.
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos