This flashcard is just one of a free flashcard set. See all flashcards!
42
Definition: semi-entscheidbar
Eine Sprache L heißt semi-entscheidbar, wenn es eine TM gibt, die L erkennt.
Bsp: Halteproblem (S.34)
Bsp: Halteproblem (S.34)