Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
35
spezielles Halteproblem
ist nicht rekursiv, aber rekursiv aufz. (Eine TM
, die erkennt, aktzeptiert als Eingabe nur TMs, die auf Epsilon halten, TMs die dies nicht tun, halten also nie auf Eingabe Epsilon und damit muss darauf auch nicht halten.)=>
ist nicht rekursiv aufz. (andernfalls wäre rekursiv)