Datenflußanalyse
Datenflußanalyse
Datenflußanalyse
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Transferfunktion<br />
Transferfunktion F b berechnet den Effekt eines Blocks.<br />
out[b] = F b(in[b])<br />
F b(x) = GEN ∨ (x ∧ ¬KILL)<br />
Die Menge P RSV [b] (preserve) enthält die Definitionen,<br />
die durch den Block nicht beeinflußt werden.<br />
P RSV = ¬KILL<br />
F b(x) = GEN ∨ (x ∧ P RSV )<br />
P RSV [B6] = 〈1, 0, 0, 0, 0, 0, 0, 0〉<br />
F B6(x) = 〈x1, 0, 0, 0, 1, 1, 1, 1〉<br />
Datenflußgleichungen →<br />
→ Transferfunktionen und Konfluenzoperator<br />
16