Mirror/latexandmore
1
0
Fork 0
mirror of https://gitlab.cs.fau.de/ik15ydit/latexandmore.git synced 2024-11-22 03:49:31 +01:00
Code Issues Projects Releases Wiki Activity

Bisimulation small changes

Browse Source
This commit is contained in:
Sheppy 2015-10-08 21:44:34 +02:00
parent f633d257e9
commit 6dad43a678
2 changed files with 21 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Vorlesungen/ThProg/Koinduktion_reduktion.tex
View File

@ -88,6 +88,17 @@
discardSample(flat\;0) = \underbrace{flat\;0}_{wieder\;rechte\;Seite}
\]
und fertig!\\\\
\section*{Sonstiges:}
Eine Relation $\mathrm{R}\;\subset\;A^{\omega}\;$x$\;A^{\omega}$ heisst Bisimulation, wenn f\"ur
alle $(s,t)$ $\in\; \mathrm{R}$ gilt: \\
\noindent\hspace{1cm} hd s = hd t\\
\noindent\hspace{1cm} (tl\;s)\;R\;(tl\;t)\\\\\\\\
Wenn R eine Bisimulation ist, dann gilt $\mathrm{R}\;\subseteq\;id$ , d.h.
\[
sRt \Rightarrow s = t
\]
f\"ur alle s,t $\in\;A^\omega$\\\\
\begin{tiny}
\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
\end{tiny}

17
Vorlesungen/ThProg/Makefile
View File

@ -1,20 +1,23 @@
all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf PumpingLemma.pdf
continuous: $(PDF).continuous
continuous: $(PDF).continuous
clean: cleanup all
clean: cleanup rmpdf all
rmpdf:
@-rm -f *.pdf
cleanup:
-rm -f *.aux *.fdb_latexmk *.fls *.log *.pdf
@-rm -f *.aux *.fdb_latexmk *.fls *.log
single: all
-pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf cat output ThProgCheatsheet.pdf
@-pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf cat output ThProgCheatsheet.pdf
%.continuous: %.pdf
latexmk -quiet -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
@latexmk -quiet -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
%.pdf: %.tex
latexmk -quiet -jobname=$(@:%.pdf=%) -pdf -halt-on-error $< 1>/dev/null
@latexmk -quiet -jobname=$(@:%.pdf=%) -pdf -halt-on-error $< 1>/dev/null
.PHONY: all continuous cleanup single
.PHONY: all continuous cleanup single clean rmpdf