This flashcard is just one of a free flashcard set. See all flashcards!

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)