From c4526f1b17232ec67f3b5c6e64624e3ad3e6beff Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 20 Nov 2015 17:00:31 +0100
Subject: EiP - H5-2

---
 ws2015/eip/blaetter/05/H5-2.md  | 54 +++++++++++++++++++++++++++++++++++++++++
 ws2015/eip/blaetter/05/manifest |  1 +
 2 files changed, 55 insertions(+)
 create mode 100644 ws2015/eip/blaetter/05/H5-2.md
 create mode 100644 ws2015/eip/blaetter/05/manifest

(limited to 'ws2015/eip/blaetter')

diff --git a/ws2015/eip/blaetter/05/H5-2.md b/ws2015/eip/blaetter/05/H5-2.md
new file mode 100644
index 0000000..aecba04
--- /dev/null
+++ b/ws2015/eip/blaetter/05/H5-2.md
@@ -0,0 +1,54 @@
+---
+header-includes:
+  - \usepackage{tikz}
+  - \usetikzlibrary{automata,positioning}
+  - \usepackage{enumitem}
+  - \usepackage[ngerman]{babel}
+---
+
+# TCS-Kaffeeautomat
+
+a)
+
+|                  | $k$        | $e$        | $w$        | $b$        |
+|------------------+------------+------------+------------+------------|
+| Leer ($E$)       | Fehler     | Fehler     | Nur Wasser | Nur Bohnen |
+| Nur Bohnen ($B$) | Fehler     | Leer       | Voll       | Nur Bohnen |
+| Nur Wasser ($W$) | Leer       | Fehler     | Nur Wasser | Voll       |
+| Voll ($F$)       | Nur Bohnen | Nur Wasser | Voll       | Voll       |
+| Fehler ($\bot$)  | Fehler     | Fehler     | Fehler     | Fehler     |
+
+: $\delta$ \label{tbl:delta}
+
+b)
+
+\begin{figure}[!h]
+\centering
+\begin{tikzpicture}[shorten >=1pt, node distance=4cm, on grid, auto]
+\node[state,initial,accepting] (voll) {$F$};
+\node[state] (fehler) [below=of voll] {$\bot$};
+\node[state,accepting] (bohnen) [left=of fehler] {$B$};
+\node[state] (wasser) [right=of fehler] {$W$};
+\node[state] (leer) [below=of fehler] {$E$};
+
+\path[->]
+  (voll.-140)   edge              node [above,sloped] {$k$}                (bohnen.50)
+  (voll.-40)    edge              node [above,sloped] {$e$}                (wasser.130)
+  (voll)        edge [loop above] node                {$w$, $b$}           ()
+  (fehler)      edge [loop above] node                {$k$, $e$, $b$, $w$} ()
+  (bohnen.-35)  edge              node [above,sloped] {$e$}                (leer.130)
+  (bohnen.35)   edge              node [below,sloped] {$w$}                (voll.-130)
+  (bohnen)      edge              node                {$k$}                (fehler)
+                edge [loop left]  node                {$b$}                ()
+  (wasser.-140) edge              node [above,sloped] {$k$}                (leer.50)
+  (wasser.140)  edge              node [below,sloped] {$b$}                (voll.-50)
+  (wasser)      edge              node [above]        {$e$}                (fehler)
+                edge [loop right] node                {$w$}                ()
+  (leer)        edge              node                {$e$, $k$}           (fehler)
+  (leer.40)     edge              node [below,sloped] {$w$}                (wasser.-130)
+  (leer.140)    edge              node [below,sloped] {$b$}                (bohnen.-50);
+\end{tikzpicture}
+\caption{Kaffeeautomat}
+\end{figure}
+
+c) $(\{k, e, b, w\}, \{\bot, E, W, B, F\}, \delta, F, \{B, F\})$ mit $\delta$ wie in Tabelle \ref{tbl:delta}.
diff --git a/ws2015/eip/blaetter/05/manifest b/ws2015/eip/blaetter/05/manifest
new file mode 100644
index 0000000..0573ab5
--- /dev/null
+++ b/ws2015/eip/blaetter/05/manifest
@@ -0,0 +1 @@
+H5-2.pdf
\ No newline at end of file
-- 
cgit v1.2.3