"Meaning" kan tilldelas en sträng i ett sammanhangsfritt språk genom att definiera "attributes" av symbolerna i ett härledningsträd för den strängen. Egenskaperna kan definieras av funktioner som är förknippade med varje produktion i grammatiken. I detta dokument undersöks konsekvenserna av denna process när vissa av attributen är "syntetiserade", dvs. definieras enbart i termer av attributen för ättlingarna till motsvarande icke-terminalsymbol, medan andra attribut är "ärvda", dvs. definieras i termer av attribut för förfäderna till den icke-terminala symbolen. En algoritm ges som upptäcker när sådana semantiska regler möjligen kan leda till cirkulär definition av vissa attribut. Ett exempel ges på ett enkelt programmeringsspråk som definieras med både nedärvda och syntetiserade attribut, och definitionsmetoden jämförs med andra tekniker för formell specifikation av semantik som har framträtt i litteraturen. En enkel teknik för att specificera "mening" av språk som definieras av kontextfri grammatik introduceras i Avsnitt 1 i detta papper, och dess grundläggande matematiska egenskaper undersöks i avsnitten 2 och 3. Ett exempel som visar hur tekniken kan tillämpas på den formella definitionen av programmeringsspråk beskrivs i avsnitt 4, och slutligen, avsnitt 5 innehåller en något partisk jämförelse av den nuvarande metoden med andra kända tekniker för semantisk definition. Diskussionen i detta dokument är främst inriktad på programmeringsspråk, men samma metoder verkar vara relevanta även i studiet av naturliga språk.
Attribut grammatik REF ger ett formellt sätt att ange semantik av ett sammanhangsfritt språk, inklusive namn och typanalys.
Semantics of context-free languages
{'venue': 'Mathematical systems theory', 'journal': 'Mathematical systems theory', 'mag_field_of_study': ['Computer Science']}