This flashcard is just one of a free flashcard set. See all flashcards!
46
Beweis: Wenn Sprachen
und
rekursiv, dann auch ihre Vereinigung
rekursiv







Konstruiere eine TM M, die

- Simuliere das Verhalten von


- Falls


=> M akzeptiert offensichtlich alle Eingaben aus


