Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Eine Sprache L heißt semi-entscheidbar, wenn es eine TM gibt, die L erkennt.

Bsp: Halteproblem (S.34)