. متن داده‌شده را خلاصه کن

متن: قانون. b → y در داخل یک حالت از ماشین (slr (۱ گفته می‌شود غیرقابل کاهش یا در حالت کاهش یافته‌است زیرا گسترشش کامل شده و با هر تابع انتقالی نمی‌تواند به جایی برود. قوانین در این حالت یک نقطه دارند که نشان‌دهنده موقعیت lookahead فعلی است که تعیین‌کننده سمت راست‌ترین پایان از rhs می‌باشد. گرامری را (slr (۱ می‌گویند اگر و تنها اگر برای هر حالت s هیج یک از قوانین زیر نقض نشود: ۱. برای هر کاهش قانون a → a. xb در حالت s (جایی که x هر ترمینالی باشد) نباید چند قانون کاهش وجود داشته باشد.. b → a در حالت s به طوری که مجموعه (folloe (b شامل ترمینال x باشد. در اصطلاح رسمی‌تر اشتراک مجموعه حاوی ترمینال x و محموعه (follow (b تهی باشد. قانون اختلالات -انتقال-کاهش نقش می‌شود. ۲. برای هر دو قانون. a → a و. b → b اشتراک مجموعه (follow (a و (follow (b تهی باشد. قانون اختلالات کاهش-کاهش نقض می‌شود. به گرامری (slr (۱ می‌گوییم اگر در پیروی از نتایج lr ساده هیچ ابهامی وجود نداشته باشد. ۱. اگر حالت s شامل هر تعدادی item از فرم a -> a. xb اگر x یک ترمینال و token بعدی از رشته ورودی باشد، token ورودی فعلی به پشته انتقال داده می‌شود و حالتی که a -> a. xb در آن قرار دارد هم در پشته قرار داده می‌شود. ۲. اگر حالت s شامل آیتم کامل شده. a -> y و token بعدی از رشته ورودی هم در (follow (a وجود داشته باشد، سپس عمل کاهش توسط قانون a ->. y انجام می‌شود. کاهش توسط قانون s' -> s اگر s حالت شروع‌کننده باشد، به معنای پذیرش است. این حالت تنها زمانی اتفاق می‌افتد که تنها token باقی‌مانده از رشته ورودی علامت باشئ. در موارد دیگر حالت جدید توسط follow محاسبه می‌شود. حذف شروع y و همه حالتهای مرتبط با آن از پشته تجزیه.۳. در صورتی که token بعدی از رشته ورودی به گونه‌ای باشد که با دو مورد بالا اجرا نشود، خطا اعلام بشود. 
خلاصه:
در علوم کامپیوتر گرامرهای slr کلاسی از گرامرهای رسمی هستندکه توسط پارسرهای lr ساده پذیرفته می‌شوند . همه گرامرهای (lr (۰ زیر مجموعه گرامرهای slr هستند و گرامرهای slrزیر مجموعه همه گرامرهای (lalr (۱ و (lr (۱ هستند . وقتی که پردازش با پارسر slr تمام شد گرامر slr به جدول تجزیه تبدیل می‌شود که هیچ‌کدام از اختلالات کاهش-کاهش یا کاهش- انتقال را برای هیچ یک از ترکیبات حالتهای تجزیه کننده (lr (۰ و سیمبل lookahead مورد نظر ندارد . اگر گرامر slr نباشد جدول تجزیه اختلالات کاهش-کاهش یا انتقال-کاهش را برای تعدادی از حالت‌ها و سیمبل‌های lookahead دارد . تجزیه کننده نمی‌تواند تصمیم بگیرد که انتقال انجام دهد یا کاهش یا از بین کاندیدای کاهش کدام را انجام دهد .