Datenflußanalyse
Datenflußanalyse
Datenflußanalyse
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
improper region<br />
Einteilung in Gruppen:<br />
acyclic keine rückführenden Kante<br />
cyclic mit Rückwärtskante<br />
improper Schleife mit mehreren Eingängen<br />
Ablaufgraph einer improper region:<br />
By<br />
<br />
<br />
<br />
<br />
Bx<br />
<br />
<br />
<br />
<br />
<br />
Bz<br />
Datenflußgleichungen sind rekursiv:<br />
in[Bx] = in[Bxa]<br />
in[By] = F Bx(in[Bx]) ∨F Bz(in[Bz])<br />
in[Bz] = F Bx(in[Bx]) ∨F By(in[By])<br />
24