Attribute Grammar — context-free grammatika belgilariga qiymatli atributlar va ularni hisoblash qoidalarini biriktiradigan formal model. U parse tree ustida type, qiymat, scope yoki tarjima natijasi kabi semantik ma’lumotlarning qanday oqishini ifodalaydi.
Atributlar oqimi
Synthesized attribute child tugunlardan parentga hisoblanadi; inherited attribute esa parent yoki siblingdan childga uzatiladi. Masalan, ifoda tugunining type atributi operand turlaridan sintezlanadi. Declaration list esa joriy symbol table’ni keyingi declarationga inherited atribut sifatida berishi mumkin.
Baholash tartibi
Semantic rule’lar atributlar orasida dependency graph hosil qiladi. Graph acyclic bo‘lsa, topological tartib qiymatlarni bir marta hisoblash imkonini beradi. Cycle mavjudligi atributlar bir-birini kutishini anglatadi; umumiy attribute grammar uchun circularityni aniqlash qimmat bo‘lishi mumkin. Maxsus S-attributed va L-attributed sinflar baholash tartibini soddalashtiradi.
Maxsus sinflar
S-attributed grammarda faqat synthesized atributlar bo‘ladi va bottom-up parser bilan qulay ishlaydi. L-attributed grammarda inherited bog‘lanishlar chapdan o‘ngga cheklangan, shu sabab top-down traversalda hisoblash mumkin. Bu tasnif parserning o‘zi bilan semantik hisoblashni qaysi tartibda birlashtirish mumkinligini ko‘rsatadi.
Compilerda qo‘llanishi
Amalda compiler generator semantic actionlar orqali attribute grammar g‘oyasini qo‘llaydi. Biroq actionni parser stack holatiga qattiq bog‘lash qayta foydalanishni kamaytiradi. Parse tree yoki AST qurib, atribut baholashni alohida passlarda bajarish diagnostika, incremental analysis va testlash uchun ko‘proq nazorat beradi.
To‘g‘rilik nazorati
Tekshiruvda har atributning domaini, boshlang‘ich qiymati va dependency yo‘nalishi yoziladi. Kichik parse tree uchun atributlar qo‘lda hisoblanib etalon qilinadi. Incremental tizimda bitta token o‘zgarganda faqat undan bog‘liq atributlar invalidatsiya bo‘lishi, boshqa subtree natijalari saqlanishi kuzatiladi.
Attribute Grammar bo‘yicha tahlil natijasi faqat yakuniy xulosa bilan emas, uni hosil qilgan IR versiyasi, target xususiyatlari va qo‘llangan taxminlar bilan birga saqlanadi. Compiler passlari ketma-ket o‘zgarganda oldingi natija avtomatik ravishda haqiqiy deb olinmaydi: tegishli dependencylar invalidatsiya qilinib, zarur qism qayta hisoblanadi. Debug rejimida asosiy invariant buzilgan nuqta va undan oldingi transformatsiya qayd etiladi; release rejimida esa tekshiruvlarning arzon qismi qoldiriladi. Shu yondashuv nazariy jihatdan qonuniy qoida implementatsiya xatosi yoki noto‘g‘ri cost model sabab zararli qarorga aylangan holatni ajratishga yordam beradi.
Kengaytirilgan jihatlar
Atribut qiymati faqat son yoki tur bo‘lishi shart emas: generated code fragmenti, environment, source position yoki xatolar ro‘yxati ham atribut bo‘la oladi. Reference attribute grammar tugunni boshqa tugunga bevosita bog‘lab, name resolutionni ifodalashi mumkin. Bunday boylik modularityni oshiradi, lekin yashirin dependency va circular demand xavfini ham ko‘paytiradi. Demand-driven evaluator atributni faqat so‘ralganda hisoblaydi va memoization qiladi. Grammar extensionda yangi production qo‘shilganda barcha majburiy atribut qoidalari to‘liq ekanini schema checker tekshirishi, default qiymat esa semantik bo‘shliqni yashirmasligi kerak.
Attribute evaluator cache kalitiga tugun identitysi, atribut nomi va zarur environment versiyasini qo‘shadi. Mutable symbol table yashirin global state sifatida ishlatilsa memoization eskirishi mumkin. Shu sabab environment persistent qiymat yoki aniq dependency bilan ifodalanadi. Circular request aniqlanganda evaluator cheksiz recursion o‘rniga dependency cycle’ni tugunlar zanjiri ko‘rinishida bildiradi.
Bog‘liq tushunchalar
context-free grammar, synthesized attribute, inherited attribute, semantic analysis, parse tree, dependency graph