Elérhető kifejezés

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2019. július 20-án felülvizsgált verziótól ; az ellenőrzések 5 szerkesztést igényelnek .

Elérhető kifejezés ( eng. Available expression ) a fordítók felépítésének elméletében - néhány kifejezés a ponton , ha van olyan útvonal a bemeneti csomóponttól a számításokig , és az utolsó számítás után, mielőtt elérte volna , nincs további hozzárendelés a változókhoz és [1] . $x+y$ $p$ $p$ $x+y$ $p$ $x$ $y$

A blokk megsemmisíti a kifejezést , ha hozzárendeli (vagy hozzá tudja rendelni) , és ezután nem értékeli újra . $x+y$ $x$ $y$ $x+y$
A blokk akkor generál kifejezést , ha kiértékeli és nem hajtja végre a és a következő újradefinícióit . $x+y$ $x+y$ $x$ $y$

Az elérhető kifejezésekkel kapcsolatos információk fő felhasználása a globális közös részkifejezések keresése [1] .

Minden blokkponthoz kiértékelheti a generált kifejezések halmazát, a blokk elejétől a végéig. A blokkot megelőző pontban nincsenek generált kifejezések. Ha egy pontban elérhető kifejezések halmaza , és a az utáni pont , a közöttük lévő utasítással , akkor a következőképpen alakítjuk ki a pontban elérhető kifejezések halmazát: [1] $p$ $S$ $q$ $p$ $x=y+z$ $q$

Hozzáadjuk a kifejezéshez . $S$ $y+z$
Eltávolítjuk az összes olyan kifejezést, amely tartalmazza a változót . $S$ $x$

A leírt lépéseket a megadott sorrendben kell végrehajtani, mivel ez megegyezhet a vagy -vel . A blokk végének elérése után a generált blokkkifejezések halmaza lesz. A megsemmisített kifejezések halmaza az összes kifejezés halmaza, például olyan, hogy vagy a blokkban van definiálva, és a blokk nem jön létre [2] . $x$ $y$ $z$ $S$ $y+z$ $y$ $z$ $y+z$

Jegyzetek

↑ 1 2 3 Fordítók: alapelvek, technológiák és eszközök, 2008 , p. 735.
↑ Összeállítók: alapelvek, technológiák és eszközök, 2008 , p. 736.

Irodalom

Alfred Aho, Monica Lam, Ravi Seti, Jeffrey Ullman. Fordítók: alapelvek, technikák és eszközök = Compilers : Principles, Techniques, and Tools. — 2. kiadás. - M . : "Williams", 2008. - 1184 p. - 1500 példány. - ISBN 978-5-8459-1349-4 .