S-tilskrevet grammatikk - S-attributed grammar

S-attribuerte grammatikker er en klasse attributtgrammatikker som er preget av at de ikke har arvede attributter , men bare syntetiserte attributter . Arvede attributter, som må overføres fra overordnede noder til barneknuter i det abstrakte syntaks-treet under den semantiske analysen av analyseringsprosessen , er et problem for analysering nedenfra og opp, fordi i bunn-opp-parsing er foreldreknutene til den abstrakte syntaks treet er opprettet etter opprettelsen av alle barna sine. Attributtevaluering i S-attribuerte grammatikker kan enkelt inkorporeres i både parsing fra ovenfra og ned og under-opp-parsing .

Spesifikasjoner for analysatorgeneratorer i Yacc- familien kan generelt betraktes som S-attribuerte grammatikker. Imidlertid inkluderer disse analysergeneratorene vanligvis kapasiteten til å referere til globale variabler og / eller felt fra en gitt grammatikkregel, noe som betyr at dette ikke er en ren S-tilskrevet tilnærming.

Enhver S-tilskrevet grammatikk er også en L-tilskrevet grammatikk .

Se også