دستور زبان منظم: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
FreshmanBot (بحث | مشارکت‌ها)
جز ←‏قدرت مؤثر: اصلاح فاصله مجازی + اصلاح نویسه با ویرایشگر خودکار فارسی
Cri-ac-mhd (بحث | مشارکت‌ها)
لینک کردن برخی واژه ها
خط ۳:
 
== قواعد محکم دستور زبان ==
یک [[دستور زبان|گرامر]] منظم راست (که گرامر خطی از راست نیز نامیده می‌شود) دستور زبان رسمی است (N,∑ , p, S) که تمامی قواعد مجموعهٔ p به یکی از اشکال زیر در آن وجود دارند:
:
:# B -> B-a نماد غیرپایانی از N است و α یک ترمینال (پایان) از ∑
خط ۱۰:
 
در گرامر منظم چپ (که گرامر خطی از چپ نیز نامیده می‌شود) تمامی قواعد از قالب‌های زیر تبعیت می‌کنند:
:
:# A -> a که A یک نماد غیرپایانی و جزئی از N است و α یک ترمینال (پایان) و جزئی از ∑
:# A -> Ba که A و B جزئی از N هستند و α جزئی از ∑
سطر ۵۹ ⟵ ۵۸:
 
== ترکیب قواعد منظم چپ و راست ==
اگر ترکیب قواعد منظم چپ و راست مجاز باشد، ما هنوز هم یک [[گرامر خطی]] داریم، اما لزوماً یک گرامر منظم نیست. به‌علاوه، چنین گرامری نیازمند ایجاد یک [[زبان منظم]] نیست: تمامی گرامرهای خطی به سادگی می‌توانند به این شکل درآیند، و بنابراین، چنین گرامرهایی می‌توانند دقیقاً تمامی زبان‌های خطی، از جمله زبان‌های نامنظم را ایجاد کنند.
 
{{پانویس}}