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

FGI2: 13.4.2 fertig

Browse Source 
Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
Jim Martens
2015-01-21 18:56:43 +01:00
parent b138f76f03
commit 4c50111d3c
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
fgi2/Blatt13/Aufgabenblatt13.tex
View File

@ -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