Differences

This shows you the differences between two versions of the page.

--- uni:6:fsv:start [2014-07-27 18:52] – [Datenflussgleichung] skrupellos
+++ uni:6:fsv:start [2020-11-18 18:11] (current) – external edit 127.0.0.1
@@ Line 284: / Line 284: @@
   *  $RD_{{\color{ForestGreen}entry}}(\ell) = \bigcup_{{\color{red}\ell'}:{\color{red}\ell'}\rightarrow\ell}RD_{exit}({\color{red}\ell'})$
-  *  $RD_{exit}(\ell) = (RD_{entry}(\ell) \setminus \text{"Entwertete Zuweisungen"}) \cup \text{ "Neue Zuweisungen"}$
+  * $RD_{exit}(\ell) = (RD_{{\color{ForestGreen}entry}}(\ell) \setminus \text{"Entwertete Zuweisungen"}) \cup \text{ "Neue Zuweisungen"}$
   * Zu beginn werden //alle// Variablen mit " $(X, \ell)$ " initialisiert.
@@ Line 291: / Line 291: @@
 "Verfügbare Ausdrücke" (Available Expressions)
   *  $AE_{{\color{ForestGreen}entry}}(\ell) = {\color{blue}\bigcap}_{{\color{red}\ell'}:{\color{red}\ell'}\rightarrow\ell}AE_{exit}({\color{red}\ell'})$
-  *  $AE_{exit}(\ell) = (AE_{entry}(\ell) \setminus kill_{AE}(B^\ell)) \cup gen_{AE}(B^\ell)$
+  * $AE_{exit}(\ell) = (AE_{{\color{ForestGreen}entry}}(\ell) \setminus kill_{AE}(B^\ell)) \cup gen_{AE}(B^\ell)$
   *  $kill_{AE}([x:=a]^\ell) = \{\text{Formeln, die }x\text{ enthalten}\}$
-  * $gen_{AE}([x := a]) = \{\text{Teilausdrücke von }a\text{ und }x \not\in a\}$
+  * $gen_{AE}([x := a]) = \{\text{Teilausdrücke von }a\text{ ohne }x\}$
-  *  $gen_{AE}([bool exp]) = \{\text{Teilausdrücke von }bool exp\}$
+  * $gen_{AE}([bool\ exp]) = \{\text{Teilausdrücke von }bool\ exp\}$
   * Zu beginn werden //alle// Variablen mit " $\emptyset$ " initialisiert.
   * //Nur// Arithmetische Ausdrücke
@@ Line 303: / Line 303: @@
   *  $LV_{{\color{ForestGreen}entry}}(\ell) = (LV_{exit}(\ell) \setminus kill_{LV}(B^\ell)) \cup gen_{LV}(B^\ell)$
   *  $kill_{LV}([x:=a]^\ell) = \{x\}$
-  * $gen_{LV}([x := a]) = \{\text{Teilausdrücke von }a\}$
+  * $gen_{LV}([x := a]) = \{\text{Variablen in }a\}$
-  * $gen_{LV}([bool exp]) = \{\text{Teilausdrücke von }bool exp\}$
+  * $gen_{LV}([bool\ exp]) = \{\text{Variablen in }bool\ exp\}$
   * Zu beginn werden //alle// Variablen mit " $\emptyset$ " initialisiert.