--- a/notes/tex/automatons.tex	Sun Apr 13 20:28:12 2014 +0200
+++ b/notes/tex/automatons.tex	Mon Apr 14 12:11:00 2014 +0200
@@ -1,12 +1,12 @@
 \defineUnit{alphabet}{%
 \begin{frame}
-    \frametitle{Alphabet}
+    \frametitle{Alphabete}
 
     \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}
+            \item Ein \structure{Alphabet} $\Sigma$ ist eine endliche Menge.
+            \item Ein \structure{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen.
+            \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \structure{formale Sprache}
         \end{itemize}
     \end{definition}
 
@@ -14,9 +14,9 @@
 
     \begin{definition}[Operationen auf Sprachen]
         \begin{itemize}
-            \item $\alert{AB} \defeq \left\{ uv \mid u \in A \wedge v \in B \right\}$
-            \item $\alert{A^n} \defeq \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 \defeq \{\epsilon\}$
-            \item $\alert{A^*} \defeq \bigcup_{n \in \N_0} A^n$
+            \item $\structure{AB} \defeq \left\{ uv \mid u \in A \wedge v \in B \right\}$
+            \item $\structure{A^{n+1}} \defeq A^nA $,\qquad\qquad $\structure{A^0} \defeq \{\epsilon\}$
+            \item $\structure{A^*} \defeq \bigcup_{n \in \N_0} A^n$
         \end{itemize}
     \end{definition}
 \end{frame}