گرامر نمایه سازی شده

گرامر نمایه سازی شده تعمیم گرامر مستقل از متن است که غیرپایانه ها با لیستی از پرچم ها مجهز شده است. زبانی که به وسیلهٔ گرامر نمایه سازی شده تولید می شود زبان ایندکس شده نامیده می شود.
N مجموعه ای از متغیرها یا نمادهای غیرترمینال
T مجموعه الفبای نمادهای ترمینال
F مجموعه نمادهای ایندکس
S ∈ N نماد شروع
P مجموعه متناهی از تولیدات
گرامر نمایه سازی شده به طور رسمی یک ۵تایی G = ⟨N,T,F,P,S تعریف می شود به طوریکه:
در تولیدات مانند اشتقاق در گرامر نمایه سازی شده، رشتهٔ σ از نمادهای ایندکس به همهٔ نمادهای غیرترمینال A ∈ N متصل می شوند که توسط (A)σ مشخص می شود. نمادهای ترمینال ممکن است با ایندکس پشته دنبال نشوند. برای نماد پشتهσ ∈ F* و رشتهٔ α ∈ (N ∪ T)* از نمادهای غیرترمینال و ترمینال، (α)σ نتیجهٔ اتصال (σ) به همهٔ غیرترمینال ها در α را مشخص می کند. برای مثال اگر α برابر a B C d E باشد به طوریکه a,d ∈ T ترمینال، و B,D,E ∈ N نمادهای غیرترمینال، آنگاه{{. C d E[σ}} را مشخص می کند. با استفاده از این نشانه گذاری، هر تولید در P به این فرم می باشد:
که A, B ∈ N نمادهای غیرترمینال، f ∈ F ایندکس، σ ∈F رشته از نمادهای ایندکس و (α ∈ (N ∪ T رشته از نمادهای ترمینال و غیرترمینال. بعضی نویسنده ها به جای "σ" ".." را برای نماد پشته در قوانین تولید می نویسند. قوانین نوع۱٬۲ و۳ به ترتیب به صورت A→α, A→B A→α, خوانده می شود.