From 2f27219526295b6b8450ca21a4903574273d5e9f Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 28 Nov 2025 15:18:50 +0100 Subject: [PATCH] [TI] Fix error --- semester3/ti/parts/04_computability/01_reduction.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/semester3/ti/parts/04_computability/01_reduction.tex b/semester3/ti/parts/04_computability/01_reduction.tex index c35880a..545ac21 100644 --- a/semester3/ti/parts/04_computability/01_reduction.tex +++ b/semester3/ti/parts/04_computability/01_reduction.tex @@ -51,7 +51,7 @@ Wenn jetzt aber $M$ unendlich lange auf $x$ arbeitet, so wissen wir nicht, ob wi Dies scheint vorerst nicht ein allzu grosses Problem zu sein, jedoch besagt das nächste Resultat, dass es keinen Algorithmus gibt, der testen kann, ob ein gegebenes Programm immer terminiert. -\inlinetheorem $L_H \in \cL_R$ +\inlinetheorem $L_H \notin \cL_R$ \inlineproof Auf Seiten 140 - 142 (153 - 155 im PDF) Betrachten wir die Sprache $\lempty = \{ \text{Kod}(M) \divides L(M) = \emptyset \}$, die die Kodierungen aller Turingmaschinen enthält,