From 9da42604a256572c5284a17af1b24e53ce2576c6 Mon Sep 17 00:00:00 2001 From: Richard Zach Date: Tue, 30 Apr 2024 20:59:54 -0600 Subject: [PATCH] typo --- content/turing-machines/undecidability/trakhtenbrot.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/turing-machines/undecidability/trakhtenbrot.tex b/content/turing-machines/undecidability/trakhtenbrot.tex index 860fdbbf..10e9dad7 100644 --- a/content/turing-machines/undecidability/trakhtenbrot.tex +++ b/content/turing-machines/undecidability/trakhtenbrot.tex @@ -62,7 +62,7 @@ are the same (same state, same head position, same tape contents). We can define a finite !!{structure}~$\Struct{M''}$ that satisfies $!T(M,\emptyseq) \land !E(M,\emptyseq)$ (exercise). We can - change~$!T(M,w)$ in a suitable way we so that such !!{structure}s + change~$!T(M,w)$ in a suitable way so that such !!{structure}s are ruled out. \begin{prob}