%% -*- mode: latex; TeX-master: "compilerbau.tex"; -*-

\begin{slide}{Determinieren, Minimieren}

\kopf{$ $Id: detmin.tex,v 1.1 2011-10-16 14:06:16 waldmann Exp $ $}

\begin{itemize}
\item \verb|Determine-D-Quiz|: 
  \begin{itemize}
  \item gegeben: (nichtdeterministischer) Automat $A$
  \item gesucht: deterministischer Automat $A'$ mit $L(A)=L(A')$.
  \end{itemize}
\item \verb|Equiv-E-Quiz|: 
  \begin{itemize}
  \item gegeben: deterministischer Automat $A$
  \item gesucht:
    ein Liste $ [ l_0, l_1, .. l_n ] $,
    wobei $l_k$  die Liste aller Tripel $(p, q, c) \in Q \times Q \times \Sigma$ ist,
    für die $p \sim_k q$, aber $T(p,c) \not\sim_k T(q,c)$.
    Die letzte Unter-Liste  $l_n$  soll leer ( = [] ) sein.
  \end{itemize}
\end{itemize}


\end{slide}
