زبان نمایه سازی شده

زبان های نمایه سازی شده یک دسته از زبان های صوری می باشند که توسط آلفرد آهو (Alfred Aho) کشف شده است، آن ها توسط گرامرهای نمایه سازی شده شرح داده می شوند و می توانند با ماشین پشته ای مشبک شناخته شوند.
گرامرهای نمایه سازی شده آهو (Aho)
ماشین پشته ای مشبک یک طرفه آهو (Aho)
گرامر ماکرو فیشر (Fischer)
اتوماتای گریباخ (Greibach) با پشته هایی از پشته ها
ویژگی های جبری میبیوم (Maibaum)
زبان های نمایه سازی شده یک زیر مجموعهٔ مناسب از زبان های حساس به متن می باشند. آن ها به عنوان یک خانواده انتزاعی از زبان ها (علاوه بر AFL کامل) واجد شرایط می باشند و ازین رو بسیار از خصوصیات بستاری را برآورده کنند. با این حال، آنها تحت اشتراک یا متمم بسته نیستند.
دسته زبان های نمایه سازی شده اهمیت عملی بسیاری در پردازش زبان طبیعی به عنوان محاسباتی مقرون به صرفه در تعمیم زبان های مستقل از متن دارد، چرا که گرامر نمایه سازی شده می تواند بسیاری از محدودیت های غیرمحلی که در زبان های طبیعی رخ می دهد را توصیف کند.
جرالد گزدلر (۱۹۸۸) و ویجی-شنکر (۱۹۸۷) یک گروه از زبان حساس به متن ملایم را که در حال حاضر به عنوان گرامر نمایه سازی شده خطی (LIG) شناخته شده است را معرفی کردند.گرامر نمایه سازی شده خطی محدودیت های بیشتری نسبت به گرامر نمایه سازی شده (IG) دارند.گرامر نمایه سازی شده خطی هم ارزی ضعیفی (از نظر تولید همان دسته از زبان) در مقابل گرامر درخت مجاورت می باشد.