diff --git a/semester3/ti/parts/05_complexity/01_class_p.tex b/semester3/ti/parts/05_complexity/01_class_p.tex index 150c805..f2d2257 100644 --- a/semester3/ti/parts/05_complexity/01_class_p.tex +++ b/semester3/ti/parts/05_complexity/01_class_p.tex @@ -32,8 +32,6 @@ \end{definition} Wichtig ist, dass wir hier nicht \textit{zwingend} eine $1$-Band-TM konstruieren müssen, eine MTM geht auch. -% TODO: Possibly include construction guide here - \inlinelemma Sei $s$ platzkonstruierbar und $M$ eine MTM mit $\spc_M(x) \leq s(|x|) \ \forall x \in L(M)$. Dann existiert MTM $A$ mit $L(A) = L(M)$ und $\spc_A(n) \leq s(n)$, es gilt also $\spc_A(y) \leq s(|y|) \ \forall y \in \Sigma_M$