uni:6:fsv:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| uni:6:fsv:start [2014-07-20 14:19] – [Probleme] skrupellos | uni:6:fsv:start [2020-11-18 18:11] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 284: | Line 284: | ||
| * RDentry(ℓ)=⋃ℓ′:ℓ′→ℓRDexit(ℓ′) | * RDentry(ℓ)=⋃ℓ′:ℓ′→ℓRDexit(ℓ′) | ||
| - | * $RD_{exit}(\ell) = (RD_{exit}(\ell) \setminus \text{" | + | * $RD_{exit}(\ell) = (RD_{{\color{ForestGreen}entry}}(\ell) \setminus \text{" |
| * Zu beginn werden //alle// Variablen mit "(X,ℓ)" | * Zu beginn werden //alle// Variablen mit "(X,ℓ)" | ||
| Line 291: | Line 291: | ||
| " | " | ||
| * AEentry(ℓ)=⋂ℓ′:ℓ′→ℓAEexit(ℓ′) | * AEentry(ℓ)=⋂ℓ′:ℓ′→ℓAEexit(ℓ′) | ||
| - | * $AE_{exit}(\ell) = (AE_{exit}(\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)$ |
| * killAE([x:=a]ℓ)={Formeln, die x enthalten} | * killAE([x:=a]ℓ)={Formeln, die x enthalten} | ||
| - | * $gen_{AE}([x := a]) = \{\text{Teilausdrücke von }a\text{ | + | * $gen_{AE}([x := a]) = \{\text{Teilausdrücke von }a\text{ |
| - | * genAE([boolexp])={Teilausdrücke von boolexp} | + | * $gen_{AE}([bool\ exp]) = \{\text{Teilausdrücke von }bool\ exp\}$ |
| * Zu beginn werden //alle// Variablen mit " | * Zu beginn werden //alle// Variablen mit " | ||
| * //Nur// Arithmetische Ausdrücke | * //Nur// Arithmetische Ausdrücke | ||
| Line 303: | Line 303: | ||
| * LVentry(ℓ)=(LVexit(ℓ)∖killLV(Bℓ))∪genLV(Bℓ) | * LVentry(ℓ)=(LVexit(ℓ)∖killLV(Bℓ))∪genLV(Bℓ) | ||
| * killLV([x:=a]ℓ)={x} | * killLV([x:=a]ℓ)={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 " | * Zu beginn werden //alle// Variablen mit " | ||
uni/6/fsv/start.1405858749.txt.gz · Last modified: 2020-11-18 18:10 (external edit)