--- a/notes/tex/automatons.tex	Thu Jul 11 20:42:36 2013 +0200
+++ b/notes/tex/automatons.tex	Thu Jul 11 21:25:21 2013 +0200
@@ -1,3 +1,27 @@
+\defineUnit{alphabet}{%
+\begin{frame}
+    \frametitle{Alphabet}
+
+    \begin{definition}
+        \begin{itemize}
+            \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge.
+            \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen.
+            \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache}
+        \end{itemize}
+    \end{definition}
+
+    \vfill
+
+    \begin{definition}[Operationen auf Sprachen]
+        \begin{itemize}
+            \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$
+            \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$
+            \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$
+        \end{itemize}
+    \end{definition}
+\end{frame}
+}
+
 \defineUnit{dfa}{%
 \begin{frame}
     \frametitle{DFA}