\documentclass{bschlangaul-aufgabe}

\begin{document}
\bAufgabenMetadaten{
  Titel = {Aufgabe 4},
  Thematik = {Turingmaschine M},
  Referenz = 46115-2021-F.T1-TA1-A4,
  RelativerPfad = Examen/46115/2021/03/Thema-1/Teilaufgabe-1/Aufgabe-4.tex,
  ZitatSchluessel = examen:46115:2021:03,
  BearbeitungsStand = nur Angabe,
  Korrektheit = unbekannt,
  Ueberprueft = {unbekannt},
  Stichwoerter = {Entscheidbarkeit},
  EinzelpruefungsNr = 46115,
  Jahr = 2021,
  Monat = 03,
  ThemaNr = 1,
  TeilaufgabeNr = 1,
  AufgabeNr = 4,
}

Beweisen Sie, dass das folgende Entscheidungsproblem semi-entscheidbar
ist.
\index{Entscheidbarkeit}
\footcite{examen:46115:2021:03}

Eingabe: Eine Turingmaschine M
Aufgabe: Entscheiden Sie, ob ein Eingabewort existiert, auf das M hält.

\end{document}
