\begin{slide}{Automaten (Operationen: Projektion)}

Eingabe: Automat $A_1=(\Sigma^k,Q_1,I_1,\delta_1,F_1)$,
Zahl $i$

Ausgabe: $A$ mit 
$\Lang(A)= \Lang(\text{proj}_i(A_1))$

Lösung: 
$A=(\Sigma^{k-1},Q,I,\delta,F)$ mit

\begin{itemize}
\item $Q=Q_1, I=I_1, F=F_1$
\item $\delta(c)(p,q)=\dots$
\end{itemize}

Korrektheit:
$\forall w\in\Sigma^*: w\in\Lang(A)\iff
w\Lang(\text{proj}_i(A_1))$

\bigskip

Komplexität: $|Q| = |Q_1|$
(hier: Zeit $=$ Platz)

\end{slide}
