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

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

Bsp: Halteproblem (S.34)