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

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

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

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

$S'\: \longrightarrow\: S$

$S\: \longrightarrow\: AaAb\: |\: BbBa$

$A\: \longrightarrow\: \lambda$

$B\: \longrightarrow\: \lambda$

محاسبه‌ی $first(S')$ و $first(S)$ :


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

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

در نتیجه

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

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

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

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

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

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