Käytettävissä oleva lauseke

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 20. heinäkuuta 2019 tarkistetusta versiosta . tarkastukset vaativat 5 muokkausta .

Käytettävissä oleva lauseke ( eng. Available expression ) kääntäjien rakentamisen teoriassa - jokin lauseke kohdassa , jos polkua syöttösolmusta laskee ja viimeisen laskennan jälkeen ennen saavuttamista ei ole myöhempiä määrityksiä muuttujille ja [1] . $x+y$ $s$ $s$ $x+y$ $s$ $x$ $y$

Lohko tuhoaa lausekkeen , jos se määrittää (tai voi määrittää) eikä arvioi uudelleen sen jälkeen . $x+y$ $x$ $y$ $x+y$
Lohko luo lausekkeen , jos se arvioi ja ei suorita myöhempiä uudelleenmäärittelyjä ja . $x+y$ $x+y$ $x$ $y$

Saatavilla olevia lausekkeita koskevan tiedon pääasiallinen käyttötarkoitus on globaalien yhteisten osalausekkeiden haku [1] .

Voit arvioida joukon generoituja lausekkeita kullekin lohkopisteelle lohkon alusta loppuun. Lohkoa edeltävässä kohdassa ei ole generoituja lausekkeita. Jos lausekejoukko on saatavilla pisteessä ja a on piste sen jälkeen ja niiden välissä on käsky , niin muodostetaan kohdassa käytettävissä oleva lausekejoukko seuraavasti: [1] $s$ $S$ $q$ $s$ $x=y+z$ $q$

Lisäämme ilmaisuun . $S$ ${\näyttötyyli y+z}$
Poistamme kaikista lausekkeista, jotka sisältävät muuttujan . $S$ $x$

Kuvatut vaiheet on suoritettava määritetyssä järjestyksessä, koska se voi olla sama kuin tai . Kun lohkon loppu on saavutettu, on joukko luotuja lohkolausekkeita. Tuhottujen lausekkeiden joukko on kaikkien lausekkeiden joukko, esimerkiksi sellainen, että tai on määritelty lohkossa, ja lohkoa ei luoda [2] . $x$ $y$ $z$ $S$ ${\näyttötyyli y+z}$ $y$ $z$ ${\näyttötyyli y+z}$

Muistiinpanot

↑ 1 2 3 Kääntäjät: periaatteet, tekniikat ja työkalut, 2008 , s. 735.
↑ Kääntäjät: periaatteet, tekniikat ja työkalut, 2008 , s. 736.

Kirjallisuus

Alfred Aho, Monica Lam, Ravi Seti, Jeffrey Ullman. Kääntäjät : periaatteet, tekniikat ja työkalut = kääntäjät: periaatteet, tekniikat ja työkalut. – 2. painos. - M . : "Williams", 2008. - 1184 s. - 1500 kappaletta. - ISBN 978-5-8459-1349-4 .