Tutorium01.tex<2>

\begin{frame}{Reguläre Sprachen}
    Eine Sprache $L \subseteq \Sigma^*$ heißt regulär, wenn
    \begin{itemize}
  \item $L = \{a\}$ mit $a \in \Sigma$
  \item $L = \emptyset$
    \end{itemize}
    oder
    \begin{itemize}
  \item $L = L_1 \cdot L_2 $
  \item $L = L_1 \cup L_2 $
  \item $L = L_1^*$
    \end{itemize}
    Alternative Definition
    \begin{itemize}
  \item sie durch einen endlichen Automaten akzeptiert werden kann
  \item sie durch eine reguläre Grammatik erzeugt werden kann
    \end{itemize}
\end{frame}

\begin{frame}{Reguläre Sprachen}
    Zeigen oder widerlegen Sie
    \begin{itemize}
  \item Teilmengen regulärer Sprachen sind regulär
  % \item Die Schnittmenge zweier regulärer Sprachen ist regulär
    \end{itemize}
\end{frame}

\begin{frame}{Reguläre Sprachen}
    Zeigen oder widerlegen Sie
    \begin{itemize}
  \item Teilmengen regulärer Sprachen sind regulär \textsl{X}
  \item[] \begin{itemize}
    \item $\{a^nb^n|n \in \mathbb{N}\} \subset \{a^*b^*\}$
    \item $\{a^p|p$ ist eine Primzah $\} \subset \{a^*\}$
        \end{itemize}
    % \item Die Schnittmenge zweier regulärer Sprachen ist regulär $\checkmark$
    % \item[] \begin{itemize}
  %   \item ``Kreuzprodukt Automaten''
  %   \end{itemize}
    \end{itemize}
\end{frame}