From 9f944840e4d83a583f7070c2ee2447c44a79535a Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Fri, 23 Jan 2015 11:58:49 +0100 Subject: [PATCH] FGI2: 13.6.2 fertig Signed-off-by: Jim Martens --- fgi2/Blatt13/Aufgabenblatt13.tex | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex index 4f1ea87..118bfc6 100644 --- a/fgi2/Blatt13/Aufgabenblatt13.tex +++ b/fgi2/Blatt13/Aufgabenblatt13.tex @@ -153,4 +153,20 @@ Y &=& (a \cdot Y + b \cdot Y + c \cdot X) \cdot d + e \end{alignat*} \(Y\) lässt sich nicht in die notwendige Form überführen. Daher ist \(E\) keine geschützte rekursive Spezifikation. + + \subsection{} + \begin{tikzpicture}[node distance=1cm] + \node (start) {\(\langle X|E \rangle\)}; + \node (y) [right=of start] {\(\langle Y|E \rangle\)}; + \node (finish) [below=of y] {\(\surd\)}; + + \path[->] (start) edge[bend left] node[above] {\(a\)} (y) + (start) edge[bend right] node[below] {\(b\)} (y) + (start) edge[loop left] node[left] {\(c\)} (start) + (y) edge node[right] {\(e\)} (finish) + (y) edge[loop above] node[above] {\(a\)} (y) + (y) edge[loop right] node[right] {\(b\)} (y) + (y) edge[bend left=90] node[below] {\(c\)} (start); + \end{tikzpicture} \end{document} + \ No newline at end of file