(۱۸ دى ۱۳۹۴ ۱۱:۵۴ ق.ظ)iCanDoIt نوشته شده توسط:  

-------------------------------------------------------------------------------

(۱۸ دى ۱۳۹۴ ۱۱:۵۴ ق.ظ)iCanDoIt نوشته شده توسط:  چرا توی first S و 'first S عبارت لاندار رو ننوشته!!!!

گرامر مورد نظر این هستش:

[tex]S'\: \longrightarrow\: S[/tex]

[tex]S\: \longrightarrow\: AaAb\: |\: BbBa[/tex]

[tex]A\: \longrightarrow\: \lambda[/tex]

[tex]B\: \longrightarrow\: \lambda[/tex]

محاسبه‌ی [tex]first(S')[/tex] و [tex]first(S)[/tex] :


حال چون [tex]A\: \longrightarrow\: \lambda[/tex] ، پس [tex]first(AaAb)\: =\: first(aAb) = \{a\}[/tex]

و چون [tex]B\: \longrightarrow\: \lambda[/tex] ، پس [tex]first(BbBa)\: =\: first(bBa)\: =\: \{b\}[/tex]

در نتیجه

-------------------------------------------------------------------------------

(۱۸ دى ۱۳۹۴ ۱۱:۵۴ ق.ظ)iCanDoIt نوشته شده توسط:  مگه توی قسمت پیشگویی هایی که می کنیم نباید follow A و follow B رو بنویسیم ولی نمی دونم چرا اینجا اومده فقط یکیشون رو نوشته.

اگه علامت نقطه قبل از یک متغیر (A) بیاد(مثلا بصورت [tex]X\: \longrightarrow\: a.AB\: ,\: \{\gamma\}[/tex] )،آنگاه بایستی اون متغیر(A) رو گسترش بدیم و مجموعه پیش‌گویی آن برابر [tex]first(B\gamma)[/tex] خواهد بود.

در این سوال هم در [tex]S\: \longrightarrow\: .\: AaAb\: ,\: \{\: \$\: \}[/tex] ، چونکه نقطه قبل از متغیر A اومده،پس باید متغیر A رو گسترش بدیم و مجموعه پیش‌گویی آن برابر [tex]first(aAb\$)[/tex] یعنی [tex]\{a\}[/tex] خواهد شد.
پس عبارت [tex]A\: \longrightarrow\: .\: , \{a\}[/tex] اضافه خواهد شد.

از طرفی در [tex]S\: \longrightarrow\: .BbBa\: , \{\$\: \}[/tex] ، چونکه نقطه قبل از متغیر B اومده،پس باید متغیر B رو گسترش بدیم و مجموعه پیش‌گویی آن برابر [tex]first(bBa\$)[/tex] یعنی [tex]\{b\}[/tex] خواهد شد.
پس عبارت [tex]B\: \longrightarrow\: .\: , \{b\}[/tex] اضافه خواهد شد.

در ضمن این نکته رو هم بگم،که در محاسبه مجموعه پیش‌گویی، از follow(A) یا follow(B) استفاده نمیشه ، بلکه از زیرمجموعه‌ای از follow(A) یا follow(B) استفاده شده. یعنی مجموعه پیش‌گویی مربوط به متغیر A، زیر مجموعه‌ای از follow(A) خواهد بود نه لزوما خود follow(A) .