--- a/notes/tex/computation.tex	Sat Jun 21 20:10:47 2014 +0200
+++ b/notes/tex/computation.tex	Sat Jun 21 20:11:55 2014 +0200
@@ -146,7 +146,7 @@
 \begin{frame}
     \frametitle{Linear Beschränkte Automaten}
 
-    \begin{definition}[Linear Beschränkte Automaten]
+    \begin{definition}[Linear Beschränkte Automat]
         Eine TM heißt \structure{linear beschränkt (LBA)}, wenn sie den Bereich des Bandes, auf dem das Eingabewort steht, niemals verlässt.
     \end{definition}
 
@@ -158,6 +158,33 @@
 \end{frame}
 }
 
+\defineUnit{queueautomaten}{%
+\begin{frame}
+    \frametitle{Queue-Automaten}
+
+    \begin{definition}[Queue-Automat]
+        Ein \structure{Queue-Automat (QA)} ist ein Tupel $M = (Q, \Sigma, \Gamma, \delta, q_0, Z_0, F)$ die analog zu Kellerautomaten definiert sind.
+        \begin{itemize}
+            \item \structure{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \to P(Q \times \Gamma^*)$
+        \end{itemize}
+        Im Gegensatz zu PDAs werden neue Symbole \alert{hinten} angefügt.
+    \end{definition}
+
+    \begin{example}[]
+        Gegeben sei die Konfiguration $(q, a, \structure{x\alpha})$ eines Queue-Automaten und ein Schritt der Übergangsfunktion.
+        \begin{align}
+            \delta(q, a, \structure{x}) &= (q^\prime, \alert{yz}) \\
+            \intertext{Dann ergibt sich die folgende Transition.}
+            (q, a, \structure{x\alpha}) &\to (q^\prime, \epsilon, \structure{\alpha}\alert{yz})
+        \end{align}
+    \end{example}
+
+    \begin{theorem}[]
+        Queue-Automaten sind genauso mächtig wie Turingmaschinen.
+    \end{theorem}
+\end{frame}
+}
+
 \defineUnit{chomsky}{%
 \begin{frame}[c]
     \frametitle{Chomsky-Hierarchie}