--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/notes/tex/frames.tex	Thu Jul 11 20:42:36 2013 +0200
@@ -0,0 +1,90 @@
+\newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}}
+\newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname}
+
+\defineUnit{organisatorisch}{%
+\begin{frame}
+    \frametitle{Organisatorisches}
+
+    \begin{itemize}
+        \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
+        \item Web: \href{tutor.zfix.org}{tutor.zfix.org}
+            \vfill
+        \item Wann?
+            \begin{itemize}
+                \item Dienstag 10:15-11:45 00.08.038
+                \item Dienstag 12:05-13:35 00.08.038
+            \end{itemize}
+        \item Übungsablauf, Aufgabentypen
+        \item Hausaufgaben
+            \begin{itemize}
+                \item Abgabe am Montag 14h, \alert{allein}
+                \item Rückgabe in der \alert{richtigen} Übung
+                \item Notenbonus für 40\% der Punkte, 40\% in der zweiten Hälfte
+            \end{itemize}
+        \item Klausur
+            \begin{itemize}
+                \item Endterm: Mi 31.07. 11.30-14h
+                \item Wiederholung: Do 26.09. 11-13.30h
+            \end{itemize}
+    \end{itemize}
+\end{frame}
+}
+
+\defineUnit{wasisttheo}{%
+\begin{frame}
+    \frametitle{Was ist Theoinf?}
+
+    Aus der VL
+    \vspace{1em}
+
+    \begin{itemize}
+        \item Automatentheorie
+            \begin{itemize}
+                \item Rechner mit endlichem oder kellerartigem Speicher
+            \end{itemize}
+            \vspace{0.5em}
+        \item Grammatiken
+            \begin{itemize}
+                \item Syntax von Programmiersprachen
+            \end{itemize}
+            \vspace{0.5em}
+        \item Berechenbarkeitstheorie
+            \begin{itemize}
+                \item Untersuchung der Grenzen, was Rechner prinzipiell können
+            \end{itemize}
+            \vspace{0.5em}
+        \item Komplexitätstheorie
+            \begin{itemize}
+                \item Untersuchung der Grenzen, was Rechner mit begrenzten Ressourcen können
+            \end{itemize}
+    \end{itemize}
+\end{frame}
+}
+
+\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}
+}
+
+\input{automatons.tex}
+\input{grammars.tex}
+\input{computation.tex}