\(
\newcommand{\floor}[1]{\left\lfloor #1 \right\rfloor}
\newcommand{\ceil}[1]{\left\lceil #1 \right\rceil}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\cin}{c_{\rm in}}
\newcommand{\cout}{c_{\rm out}}
\newcommand{\maj}{\textnormal{Maj}}
\newcommand{\xor}{\oplus}
\newcommand{\depth}{\textnormal{depth}}
\newcommand{\poly}{\textnormal{poly}}
\newcommand{\zero}{\textnormal{zero}}
\newcommand{\succ}{\textnormal{succ}}
\newcommand{\comp}{\textnormal{Comp}}
\newcommand{\primrec}{\textnormal{PrimRec}}
\newcommand{\pair}{\textnormal{Pair}}
\newcommand{\first}{\textnormal{First}}
\newcommand{\second}{\textnormal{Second}}
\newcommand{\enc}{\textnormal{enc}}
\newcommand{\halt}{{\rm H{\small ALT}}}
\newcommand{\bhalt}{{\rm T{\small IMED}H{\small ALT}}}
\newcommand{\tm}{\textnormal{TM}}
\newcommand{\diag}{\textnormal{Diag}}
\newcommand{\qaccept}{q_{\rm yes}}
\newcommand{\qreject}{q_{\rm no}}
\newcommand{\qstart}{q_{\rm start}}
\newcommand{\negdiag}{\textnormal{NegDiag}}
\newcommand{\bnegdiag}{\textnormal{TimedNegDiag}}
\newcommand{\writelambda}{\Sigma \cup \{0, 1, \texttt{#}, \texttt{,}, \texttt{L}, \texttt{S},
\texttt{R},\texttt{;}\}}
\newcommand{\TIME}{\textnormal{TIME}}
\newcommand{\NTIME}{\textnormal{NTIME}}
\newcommand{\SPACE}{\textnormal{SPACE}}
\newcommand{\NSPACE}{\textnormal{NSPACE}}
Theoretische Informatik 2 - Vorlesungsskript
Bachelor-Studium Informatik
Dominik Scheder, TU Chemnitz