(۱۱ مرداد ۱۳۹۵ ۰۷:۳۵ ب.ظ)jionelmessi نوشته شده توسط:  ...

سلام.
۱)بله گرامر منظم هست.چونکه هم خطی راست و هم خطی چپ هستش.

*گرامر خطی:یک گرامر مستقل از متن است که در سمت راست هر قاعده تولید آن،حداکثر یک متغیر وجود داشته باشد.

*گرامر خطی راست:یک گرامر خطی است که قواعد آن به شکل زیر هستش:
که A , B متغیر(غیر ترمینال) و [tex]x\in T^{\ast}[/tex]

*گرامر خطی چپ:یک گرامر خطی است که قواعد آن به شکل زیر هستش:
که A و B متغیر(غیر ترمینال) و [tex]x\in T^{\ast}[/tex]

*گرامر منظم:گرامری منظم است که تمام قواعد آن به شکل اول(خطی راست) یا تمام قواعد آن به شکل دوم(خطی چپ) باشد.


۲)خیر،یک گرامر منظم نیست.چونکه خطی چپ یا خطی راست نیست.(در سمت راست حداقل یکی از قواعدش،بیش از یک متغیر داره)


۳)خیر،نمیشه گفت هر گرامری...چون اگر گرامری،در سمت چپ حداقل یکی از قواعدش ،تنها یک متغیر نداشته باشه(یعنی سمت چپش بیش از یک متغیر داشته باشه،یا شامل ترمینال باشه و یا هردو)،اونوقت اون گرامر مستقل از متن نیست و در نتیجه منظم هم نخواهد بود.

*اگر گرامر مستقل از متنی در سمت راست هیچکدوم از قواعدش متغیری وجود نداشته باشه،یعنی هم گرامر خطی راست و هم گرامر خطی چپ هستش،پس یک گرامر منظم هستش.
تو این مثال هم،پس یک گرامر منظم هست.(هم خطی چپ و هم خطی راست هستش)