گرامر اس ال ار

گرامر اس ال آر. در علوم کامپیوتر گرامرهای SLR کلاسی از گرامرهای رسمی هستندکه توسط پارسرهای LR ساده پذیرفته می شوند. همه گرامرهای (LR(0 زیر مجموعه گرامرهای SLR هستند و گرامرهای SLRزیر مجموعه همه گرامرهای (LALR(1 و (LR(1 هستند.وقتی که پردازش با پارسر SLR تمام شد گرامر SLR به جدول تجزیه تبدیل می شود که هیچ کدام از اختلالات کاهش-کاهش یا کاهش- انتقال را برای هیچ یک از ترکیبات حالتهای تجزیه کننده (LR(0 و سیمبل lookahead مورد نظر ندارد. اگر گرامر SLR نباشد جدول تجزیه اختلالات کاهش-کاهش یا انتقال-کاهش را برای تعدادی از حالت ها و سیمبل های lookahead دارد.
"Compiler Construction: Principles and Practice" by Kenneth C. Louden.
تجزیه کننده نمی تواند تصمیم بگیرد که انتقال انجام دهد یا کاهش یا از بین کاندیدای کاهش کدام را انجام دهد. پارسر SLR با استفاده از محاسبه (FOLLOW(A سیمبل های lookahead مورد نظر را برای هر متغیر کامل شده انتخاب می کند.گرامری که مبهم باشد با هر روشی از تجزیه LR اختلالات کاهش-کاهش یا انتقال-کاهش را خواهد داشت. یک راه مرسوم برای گرامرهای زبان ماشین مبهم این است که برخی از متغیرها هم بازگشتی چپ داشته باشد هم بازگشتی راست:
قانون .B → y در داخل یک حالت از ماشین (SLR(1 گفته می شود غیرقابل کاهش یا در حالت کاهش یافته است زیرا گسترشش کامل شده و با هر تابع انتقالی نمی تواند به جایی برود.قوانین در این حالت یک نقطه دارند که نشان دهنده موقعیت lookahead فعلی است که تعیین کننده سمت راست ترین پایان از RHS می باشد.
گرامری را (SLR(1 می گویند اگر و تنها اگر برای هر حالت s هیج یک از قوانین زیر نقض نشود:۱. برای هر کاهش قانون A → a.Xb در حالت s (جایی که X هر ترمینالی باشد) نباید چند قانون کاهش وجود داشته باشد. .B → a در حالت s به طوری که مجموعه(FOLLOE(B شامل ترمینال X باشد. در اصطلاح رسمی تر اشتراک مجموعه حاوی ترمینال X و محموعه (FOLLOW(B تهی باشد. قانون اختلالات -انتقال-کاهش نقش می شود.۲. برای هر دو قانون .A → a و .B → b اشتراک مجموعه (FOLLOW(A و (FOLLOW(B تهی باشد. قانون اختلالات کاهش-کاهش نقض می شود.