From ef4ffd6e59bb9dd8d5c45c0ed37653640de599e2 Mon Sep 17 00:00:00 2001
From: Jim Martens <github@2martens.de>
Date: Fri, 23 Jan 2015 10:54:59 +0100
Subject: [PATCH] FGI2: 13.6.1 bearbeitet

Signed-off-by: Jim Martens <github@2martens.de>
---
 fgi2/Blatt13/Aufgabenblatt13.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex
index 753b8d2..4f1ea87 100644
--- a/fgi2/Blatt13/Aufgabenblatt13.tex
+++ b/fgi2/Blatt13/Aufgabenblatt13.tex
@@ -140,5 +140,17 @@
 
 \setcounter{section}{5}
 \section{} % 13.6
+    \subsection{}
+    Umformen von \(X\):
+    \begin{alignat*}{2}
+        X &=& (a + b) \cdot Y + c \cdot X \\
+        X &=& a \cdot Y + b \cdot Y + c \cdot X
+    \end{alignat*}
 
+    Umformen von \(Y\):
+    \begin{alignat*}{2}
+        Y &=& X \cdot d + e \\
+        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.
 \end{document}