2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 11:26:25 +02:00
Code Releases Activity

FGI2: 13.6.2 fertig

Browse Source 
Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
Jim Martens
2015-01-23 11:58:49 +01:00
parent ef4ffd6e59
commit 9f944840e4
1 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
fgi2/Blatt13/Aufgabenblatt13.tex
View File

@ -153,4 +153,20 @@
Y &=& (a \cdot Y + b \cdot Y + c \cdot X) \cdot d + e Y &=& (a \cdot Y + b \cdot Y + c \cdot X) \cdot d + e
\end{alignat*} \end{alignat*}
\(Y\) lässt sich nicht in die notwendige Form überführen. Daher ist \(E\) keine geschützte rekursive Spezifikation. \(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} \end{document}