From 4c50111d3ca342ba5e367ad28533d4d7300c6857 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Wed, 21 Jan 2015 18:56:43 +0100 Subject: [PATCH] FGI2: 13.4.2 fertig Signed-off-by: Jim Martens --- fgi2/Blatt13/Aufgabenblatt13.tex | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex index 3d37cb8..9e16a88 100644 --- a/fgi2/Blatt13/Aufgabenblatt13.tex +++ b/fgi2/Blatt13/Aufgabenblatt13.tex @@ -110,12 +110,22 @@ \end{figure} \subsection{} + Nachweis des ersten Übergangs: \begin{alignat*}{2} &\; a \overset{a}{\rightarrow} \surd \\ T^{\surd}_{+R} &\; a + b \overset{a}{\rightarrow} \surd \\ T^{\surd}_{\leftmerge} &\; (a + b) \leftmerge b \cdot c \overset{a}{\rightarrow} b \cdot c \end{alignat*} + Nachweis des zweiten Übergangs: + \begin{alignat*}{2} + T_{\parallel \gamma}^{\surd \surd} &&\; d \parallel e \overset{f}{\rightarrow} \surd \\ + T^{\surd}_{.} &&\; (d \parallel e) \cdot b \overset{f}{\rightarrow} b \\ + T_{+L} &&\; a \leftmerge (b + b) + (d \parallel e) \cdot b \overset{f}{\rightarrow} b \\ + T_{.} &&\; (a \leftmerge (b + b) + (d \parallel e) \cdot b) \cdot c \overset{f}{\rightarrow} b \cdot c \\ + T_{\partial} &&\; \partial_H((a \leftmerge (b + b) + (d \parallel e) \cdot b) \cdot c) \overset{f}{\rightarrow} \partial_H(b \cdot c) + \end{alignat*} + \setcounter{section}{5} \section{} % 13.6