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.
