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

und TMn, die bzw. entscheiden.

Konstruiere eine TM M, die entscheidet:

- Simuliere das Verhalten von auf w, danach das von auf w
- Falls oder akzeptieren, so auch M.

=> M akzeptiert offensichtlich alle Eingaben aus , da sowohl als auch auf jeder Eingabe halten. Also entscheidet M ##L_1 \cup L_2#.