Processing math: 100%

Wiki

A universe of ideas

User Tools

Site Tools


uni:6:fsv:start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
uni:6:fsv:start [2014-07-27 19:10] – [Datenflussgleichung] skrupellosuni: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{"Entwertete Zuweisungen"}) \cup \text{ "Neue Zuweisungen"}$
   * Zu beginn werden //alle// Variablen mit "(X,)" initialisiert.   * Zu beginn werden //alle// Variablen mit "(X,)" initialisiert.
  
Line 291: Line 291:
 "Verfügbare Ausdrücke" (Available Expressions) "Verfügbare Ausdrücke" (Available Expressions)
   * 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)