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

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#.