eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-01-11 19:48:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

[TI] Fix error

Browse Source
This commit is contained in:
Janis Hutz
2025-11-28 15:18:50 +01:00
parent 68ee2ec327
commit 2f27219526
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
semester3/ti/parts/04_computability/01_reduction.tex
View File

@@ -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,