Gramatika s přiřazením L. - L-attributed grammar - Wikipedia

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "L-attributed grammar"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Červenec 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Gramatiky přiřazené L. jsou speciální typ atributové gramatiky.^[1] Umožňují vyhodnotit atributy v jednom hloubkovém průchodu zleva doprava abstraktní syntaxový strom. Ve výsledku lze pohodlně začlenit hodnocení atributů do gramatik s L-atributem parsování shora dolů.

Definice zaměřená na syntaxi je přiřazena L, pokud je k dispozici zdědil atribut ${ displaystyle X_ {j}}$ na pravé straně ${ displaystyle A rightarrow X_ {1}, X_ {2}, dots, X_ {n}}$ záleží jen na

1. atributy symbolů ${ displaystyle X_ {1}, X_ {2}, tečky, X_ {j-1}}$
2. zděděné atributy ${ displaystyle A}$ (ale ne jeho syntetizované atributy)

Každá definice syntaxe zaměřená na S-atribut je také přiřazena L.

Implementace definic s přiřazením L v analyzátorech zdola nahoru vyžaduje přepsání definic s přiřazením L do schémat překladu.

Mnoho programovacích jazyků má L-atribut. Speciální typy překladače, úzké překladače, jsou založeny na nějaké formě gramatiky s L-atributem. Jedná se o přísnou nadmnožinu Gramatiky s přiřazením S.. Používá se pro syntézu kódu.

„Zděděné atributy“ nebo „syntetizované atributy“ spojené s výskytem symbolu ${ displaystyle X_ {1}, X_ {2}, tečky, X_ {n}}$.

Reference