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-27 19:10] – [Datenflussgleichung] 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(ℓ′) | ||
- | * RDexit(ℓ)=(RDentry(ℓ)∖"Entwertete Zuweisungen")∪ "Neue Zuweisungen" | + | * $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(ℓ′) | ||
- | * AEexit(ℓ)=(AEentry(ℓ)∖killAE(Bℓ))∪genAE(Bℓ) | + | * $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} | ||
* genAE([x:=a])={Teilausdrücke von a ohne x} | * genAE([x:=a])={Teilausdrücke von a ohne x} |
uni/6/fsv/start.1406481033.txt.gz · Last modified: 2020-11-18 18:10 (external edit)