Ero sivun ”Attribuuttikielioppi” versioiden välillä
| [arvioimaton versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Ak: Uusi sivu: '''Attribuuttikielioppi''' määrittelee attribuutit formaalin kielen pääte- ja välikesymboleille sekä produktioille ominaiset laskusäännöt, joissa attribuuttien arvoja käy... |
p muokattu esimerkin ulkoasua |
||
Rivi 1:
'''Attribuuttikielioppi''' määrittelee attribuutit formaalin kielen pääte- ja välikesymboleille sekä produktioille ominaiset laskusäännöt, joissa attribuuttien arvoja käytetään. Laskusääntöjä kutsutaan myös semanttisiksi toiminnoiksi. Laskusäännöillä ei saa olla sivuvaikutuksia. Kieliopista voidaan muodostaa abstrakti syntaksipuu ja attribuuttien laskusäännöt ovat puun solmukohdissa. Attribuutit voivat olla joko ''synteettisiä'' tai ''periytyneitä''. Synteettiset attribuutit ovat aina attribuuttien laskusääntöjen tuloksista saatuja ja periytyneet ovat vanhemmilta solmukohdilta saatuja. <ref>{{Kirjaviite | Tekijä = Aho, Sethi, Ullman | Nimeke = Compilers: Principles, Techniques and Tools| Vuosi = 1987| Luku = | Sivu = | Selite = | Julkaisupaikka = | Julkaisija = Addison-Wesley | Tunniste = | www = | www-teksti = | Tiedostomuoto = | Viitattu = 26.5.2013 | Kieli = englanti}}</ref>
==Esimerkki==
Esimerkin [[Yhteydetön kielioppi]] kuvaa kielen, jolla voi kirjoittaa yksinkertaisia matemaattisia lauseita:
{| class="wikitable"
'''Expr''' → '''Expr''' + '''Term'''▼
! Kielioppi
'''Expr''' → '''Term'''▼
|-
'''Term''' → '''Term''' * '''Factor'''▼
| '''
|-
'''Factor''' → "(" '''Expr''' ")"▼
| '''
|-
|-
|-
▲| '''Factor''' → "(" '''Expr''' ")"
|-
| '''Factor''' → ''integer''
|}
Alla esitettyllä attribuuttikieliopilla pystyy laskemaan lukuarvoja kirjoitetuista lausekkeista. Kielioppi käyttää vain synteettisiä attribuutteja, joten se on [[S-attribuuttikielioppi]].
{| class="wikitable"
'''Expr<sub>1</sub>''' → '''Expr<sub>2</sub>''' + '''Term''' [ '''Expr<sub>1</sub>'''.value = '''Expr<sub>2</sub>'''.value + '''Term'''.value ]▼
|-
'''Expr''' → '''Term''' [ '''Expr'''.value = '''Term'''.value ]▼
! Kielioppi !! Semanttiset toiminnot
|-
'''Term''' → '''Factor''' [ '''Term'''.value = '''Factor'''.value ]▼
| '''
|-
'''Factor''' → ''integer'' [ '''Factor'''.value = stringToInteger(''integer''.string) ]▼
▲| '''Expr''' → '''Term''' || [ '''Expr'''.value = '''Term'''.value ]
|-
▲| '''
|-
|-
▲
|-
▲| '''Factor''' → ''integer'' || [ '''Factor'''.value = stringToInteger(''integer''.string) ]
|}
===Lähteet===
| |||