From da0d61be9d14a1e5438f49a4da71cbf2d5864978 Mon Sep 17 00:00:00 2001 From: Sheppy Date: Thu, 8 Oct 2015 22:08:51 +0200 Subject: [PATCH] f --- Vorlesungen/ThProg/Koinduktion_reduktion.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Vorlesungen/ThProg/Koinduktion_reduktion.tex b/Vorlesungen/ThProg/Koinduktion_reduktion.tex index 8d0b83d..941693e 100644 --- a/Vorlesungen/ThProg/Koinduktion_reduktion.tex +++ b/Vorlesungen/ThProg/Koinduktion_reduktion.tex @@ -69,7 +69,7 @@ \] $\rightarrow$ "R ist Bisimulation" hinschreiben, linke Seite aufloesen\\ \[ currentSample(\,sampler(square\:0\:1)(square\:x\:0)) = 0 \] - $\rightarrow$ wenn hier am Endde kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen: + $\rightarrow$ wenn hier am Ende kein Term rauskommt, dann koennen wir einfach die \textbf{rechte Seite bei der normalen Funktion} einsetzen und selbige aufloesen: \[ currentSample(flat\;0) = 0 \] $\rightarrow$ sehr gut, die rechten Seiten sind gleich wir sind hier also fertig\\ \\ \textbf{zweite Bedingung:}