diff --git a/semester3/ti-compact/parts/03_turing-machines.tex b/semester3/ti-compact/parts/03_turing-machines.tex index 90fb2de..c1746a4 100644 --- a/semester3/ti-compact/parts/03_turing-machines.tex +++ b/semester3/ti-compact/parts/03_turing-machines.tex @@ -36,6 +36,7 @@ The same ideas as with NFA apply here. The transition function also maps into th \delta : (Q - \{ \qacc, \qrej \}) \times \Gamma \rightarrow \cP(Q \times \Gamma \times \{ L, R, N \}) \end{align*} +\drmvspace Again, when constructing a normal TM from a NTM (which is not required at the Midterm, or any other exam for that matter in this course), we again apply BFS to the NTM's calculation tree. diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf index 07bea4b..a36f0aa 100644 Binary files a/semester3/ti-compact/ti-compact.pdf and b/semester3/ti-compact/ti-compact.pdf differ