رد: استفسارات فى مادة المترجمات compilers !

من طرف **حسن** في الثلاثاء يناير 11, 2011 2:01 am

NourEl2mar كتب:هو ال action table
معانا ؟

طالما لم يتم شرحه يبقي لا

من طرف **soso** في الثلاثاء يناير 11, 2011 2:06 am

جزاك الله خيرا يابشمهندس

معلش يابشمهندس هو ازاى نعرف ان الجرامر اللى عندنا LL(1) أو مش LL(1)

تانى سؤال ال ambigous مش واضحة برده يابشمهندس

مش احنا بنبص على ال symbols اللى عندنا ونشوف هل هى بادئة بنفس ال symbol ولو مكنش فيه ترتيب للاولويات؟

إنما المشكلة دلوقتى فى مسألة الامتحان وخصوصا الاولى مش هى المفروض تبقى مش ambigous?

من طرف **حسن** في الثلاثاء يناير 11, 2011 2:15 am

الموحده كتب:فى المثال اللى حضرتك حليته القاعده الثالثة للفولو لم تنطبق على الفولو لل إيه ؟
لان الفرست للبى سى لا تحتوى على ابسلون لأن السى ترمنال

لو غيرنا فى المثال وكان مثلا السى تحتوى ابسلون فبالتالى اصبح الفرست للبى سى يحتوى ابسلون هنضيف للفولو الناتج لل إيه الفولو الخاص بالستارت سيمبول.
تمام كده ولا انا فاهمة غلط
سؤال كمان:معطى فى المسألة جرامر وبيسأل
which of these strings are in L(G1)the language generated by g1
ومعطى ايضا مجموعة استرنج مش فاهمة السؤال؟

أولا:
هذا فعلا هو سبب عدم تطبيق القاعدة الثالثة

ثانيا:
نفرض أن C كانت non-terminal و ال first(C) contains ε
في هذه الحالة first(BC) will contains ε ----------وبالتالي فإن follow(A)+=follow(S)
وأيضا follow(B)+=follow(S) وذلك لأن الB بعدها C وال first(C) contains ε

مش بس كده ده كمان هتبقي القاعدة اللي بتقول non-terminal مفيش بعده حاجة متحققة وبالتلي follow(C)+=follow(S)

ثالثا:
السؤال ده معناه لكل string من ال strings الموجودة
مين بينتمي للغة ومين لا ينتمي وطبعا الstring ينتمي للغة إذا أمكن عمل derivation لهذا الstring من القواعد المعطاة

من طرف **حسن** في الثلاثاء يناير 11, 2011 2:25 am

soso كتب:
جزاك الله خيرا يابشمهندس

معلش يابشمهندس هو ازاى نعرف ان الجرامر اللى عندنا LL(1) أو مش LL(1)

تانى سؤال ال ambigous مش واضحة برده يابشمهندس

مش احنا بنبص على ال symbols اللى عندنا ونشوف هل هى بادئة بنفس ال symbol ولو مكنش فيه ترتيب للاولويات؟

إنما المشكلة دلوقتى فى مسألة الامتحان وخصوصا الاولى مش هى المفروض تبقى مش ambigous?

أولا LL(1)
أولا لو فيه left recursion أو فيه أكثر من قاعدة لنفس ال non-terminal بتبدأ بنفس الحرف يبقي not LL(1)
طيب لو مفيش حاجة منهم
نقوم برسم ال parsing table وإذا كان هناك أي خانة تحتوى على أكثر من معادلة تكون ال grammar not LL(1)

ثانيا: موضوع ambiguous
إذا كان لأي string فيه 2 left most derivations مختلفين وبالتلي يمون هناك 2 parse trees مختلفين تكون ambiguous
أو 2 right most derivations مختلفين

بالنسبة لسؤال الامتحان
المسأالة الأولي
الstring adc يمكن الحصول علي 2 leftmost derivation مختلفين له وبالتالي هتكون ambiguous grammar

حسن كتب:
بالنسبة لسؤال الامتحان
المسأالة الأولي
الstring adc يمكن الحصول علي 2 leftmost derivation مختلفين له وبالتالي هتكون ambiguous grammar

بس مفيش فى المسالة string أطبق عليه

فهل المفروض انى أجرب وأطلع أنا string له حلين عشان يكون فى ambiguous

من طرف **الموحده** في الثلاثاء يناير 11, 2011 2:35 am

x-->YaYb|ZbZa
y-->epsilon
Z-->epsilon

follow(Y)=frist(aYb)-epsilon={a}

first(aYb)={a} هل ده صح؟
فى الكتاب محلولة
follow(y)={a,b}
مش المفروض وانا بطبق القاعدة الثالثة فى الفرست بجيب الفرست لأكتر من حاجة مضروبين فى بعض هوقف لما اوصل ل terminal
أو حاجة لا تحتوى على ابسلون ولا هكمل بعها؟
s-->ABcD
a-->a|eps
B-->b|ëps
D-->d|eps

follow(A)=frist(BcD)-eps={b,c}
يعنى هوقف لما أوصل للسى سواء بعدها ترمينال أو لأ الباقى مش هيدخل معانا فى حسابات الفرست

من طرف **حسن** في الثلاثاء يناير 11, 2011 2:42 am

الطامعة بمغفرة الله كتب:
حسن كتب:
بالنسبة لسؤال الامتحان
المسأالة الأولي
الstring adc يمكن الحصول علي 2 leftmost derivation مختلفين له وبالتالي هتكون ambiguous grammar

بس مفيش فى المسالة string أطبق عليه

فهل المفروض انى أجرب وأطلع أنا string له حلين عشان يكون فى ambiguous

نعم

من طرف **حسن** في الثلاثاء يناير 11, 2011 2:52 am

الموحده كتب:x-->YaYb|ZbZa
y-->epsilon
Z-->epsilon

follow(Y)=frist(aYb)-epsilon={a}

first(aYb)={a} هل ده صح؟
فى الكتاب محلولة
follow(y)={a,b}
مش المفروض وانا بطبق القاعدة الثالثة فى الفرست بجيب الفرست لأكتر من حاجة مضروبين فى بعض هوقف لما اوصل ل terminal
أو حاجة لا تحتوى على ابسلون ولا هكمل بعها؟
s-->ABcD
a-->a|eps
B-->b|ëps
D-->d|eps

follow(A)=frist(BcD)-eps={b,c}
يعنى هوقف لما أوصل للسى سواء بعدها ترمينال أو لأ الباقى مش هيدخل معانا فى حسابات الفرست

أولا:
هو X-->YaYb
يبقي follow(Y)+=first(aYb)-epsilon
وكمان علشان فيه Y تانية
follow(Y)+=first(b)-epsilon

ثانيا:
s-->ABcD
follow(A)+=first(BcD)- epsilon
follow(B)+=first(cD)-epsilon

هي أساس القاعدة non-terminal وبعده حاجة

أنا متلخبطة خالص يا باشمهندس في ال ambigous

وحاولت اقرا رد حضرتك على زمايلي بس حسة اني مفهمتش حاجه ممكن تقولها باسلوب ابسط شوية

2. LL(1)

من طرف **CATY_GIRL** في الثلاثاء يناير 11, 2011 4:18 am

[quote="حسن"]

الموحده كتب:x-->YaYb|ZbZa
y-->epsilon
Z-->epsilon

follow(Y)=frist(aYb)-epsilon={a}

first(aYb)={a} هل ده صح؟
فى الكتاب محلولة
follow(y)={a,b}
مش المفروض وانا بطبق القاعدة الثالثة فى الفرست بجيب الفرست لأكتر من حاجة مضروبين فى بعض هوقف لما اوصل ل terminal
أو حاجة لا تحتوى على ابسلون ولا هكمل بعها؟
s-->ABcD
a-->a|eps
B-->b|ëps
D-->d|eps

follow(A)=frist(BcD)-eps={b,c}
يعنى هوقف لما أوصل للسى سواء بعدها ترمينال أو لأ الباقى مش هيدخل معانا فى حسابات الفرست

أولا:
هو X-->YaYb
يبقي follow(Y)+=first(aYb)-epsilon
وكمان علشان فيه Y تانية
follow(Y)+=first(b)-epsilon

ثانيا:
s-->ABcD
follow(A)+=first(BcD)- epsilon
follow(B)+=first(cD)-epsilon

هي أساس القاعدة non-terminal وبعده حاجة[/qu
يعنى كده يا بشمهندس انا ع طول بفرض ان الالفا ب واحد ولا ايه؟

من طرف **حسن** في الثلاثاء يناير 11, 2011 4:32 am

أمة الله كتب:أنا متلخبطة خالص يا باشمهندس في ال ambigous

وحاولت اقرا رد حضرتك على زمايلي بس حسة اني مفهمتش حاجه ممكن تقولها باسلوب ابسط شوية

ثانيا LL(1)

أولا:
تكون القواعد ambiguous إذا كان هناك string من الممكن الوصول إليه بشكلين مختلفين left most derivation وبالتالي ينتج 2 different parse tree
أو إذا كان من الممكن الوصول بشكلين مختلفين rightmost derivation
فمثلا في امتحان السنة الماضية
Q2-b

1- try doing derivation for adc
هيطلع 2 trees وبالتالي ambiguous
2-try doing derivation for -id-id
هيطلع 2 trees وبالتالي ambiguous

ثانيا:
تكون الgrammar not LL(1)
إذا كان فيه
left recursion
أو اتنين productions أو أكثر لنفس ال non-terminal تبدأ بنفس الحرف
يعني نقدر نكتشف أن هي not LL(1) بمجرد النظر
طيب لو الحاجتين دول مش موجودين يبقى هذا لا يكفي أننا نقول أن هي LL(1)
طيب نعمل ايه ؟ نرسم ال parsing table ولو كان فيه خانه فيه فيها أكثر من production يبقى الgrammar not LL(1)
طيب لو مفيش خانة فيها أكثر من one production يبقى LL(1)

من طرف **حسن** في الثلاثاء يناير 11, 2011 4:38 am

[quote="CATY_GIRL"]

حسن كتب:
الموحده كتب:x-->YaYb|ZbZa
y-->epsilon
Z-->epsilon

follow(Y)=frist(aYb)-epsilon={a}

first(aYb)={a} هل ده صح؟
فى الكتاب محلولة
follow(y)={a,b}
مش المفروض وانا بطبق القاعدة الثالثة فى الفرست بجيب الفرست لأكتر من حاجة مضروبين فى بعض هوقف لما اوصل ل terminal
أو حاجة لا تحتوى على ابسلون ولا هكمل بعها؟
s-->ABcD
a-->a|eps
B-->b|ëps
D-->d|eps

follow(A)=frist(BcD)-eps={b,c}
يعنى هوقف لما أوصل للسى سواء بعدها ترمينال أو لأ الباقى مش هيدخل معانا فى حسابات الفرست

أولا:
هو X-->YaYb
يبقي follow(Y)+=first(aYb)-epsilon
وكمان علشان فيه Y تانية
follow(Y)+=first(b)-epsilon

ثانيا:
s-->ABcD
follow(A)+=first(BcD)- epsilon
follow(B)+=first(cD)-epsilon

هي أساس القاعدة non-terminal وبعده حاجة[/qu
يعنى كده يا بشمهندس انا ع طول بفرض ان الالفا ب واحد ولا ايه؟

لا مش شرط
مثلا
YaYb
أول مرة الألفا مش موجودة ب epsilon
والبي هي Y الأولى
والبيتا هي الaYb

وثاني مرة الألفا هي Ya
والبي Y الثانية
والبيتا هي b
هو موضوع ألفا وبي وبيتا مش مهم هو احنا بندور على non-terminal وبعده حاجة

من طرف **CATY_GIRL** في الثلاثاء يناير 11, 2011 4:41 am

جزاك الله خيرا يا بشمهندس

من طرف **CATY_GIRL** في الثلاثاء يناير 11, 2011 4:43 am

طيب بالنسبه لسؤال
write the recursive predictive parsing procedures
دا علينا انا شايفه حله عباره عن شرح المثال ؟؟؟؟؟؟

من طرف **حسن** في الثلاثاء يناير 11, 2011 4:46 am

CATY_GIRL كتب:طيب بالنسبه لسؤال
write the recursive predictive parsing procedures
دا علينا انا شايفه حله عباره عن شرح المثال ؟؟؟؟؟؟

أنا مش عارف بس طالما لم يتم شرحه يبقى لا

من طرف **engy** في الثلاثاء يناير 11, 2011 4:55 am

بشمهندس بعد اذنك هو النظرى ال فى الاول مهم ؟
اصلى مش شايفه نظرى خالص فى الامتحانات

من طرف **حسن** في الثلاثاء يناير 11, 2011 4:59 am

engy كتب:بشمهندس بعد اذنك هو النظرى ال فى الاول مهم ؟
اصلى مش شايفه نظرى خالص فى الامتحانات

مش عارف بس لو فيه وقت ممكن تبصوا عليه
حتى لو كان فيه نظرى هيبقى جزء صغير بالمقارنة بالمسائل لأن غالبية المنهج مسائل

جزاك الله خيرا يا باشمهندس

بس ازاي بحدد ان الجدول فيه اتنين ولا واحد production

من طرف **hazem** في الثلاثاء يناير 11, 2011 5:17 am

الف شكر يا بشمهندس على مجهودك وتعبك معانا

انا بجد استفد من اللى حضرتك قلته

وزمايلى سألوا فى اللى انا كنت عايز اسأله الف شكر مره تانيه

من طرف **حسن** في الثلاثاء يناير 11, 2011 5:22 am

أمة الله كتب:جزاك الله خيرا يا باشمهندس

بس ازاي بحدد ان الجدول فيه اتنين ولا واحد production

فيه مثال
S --> i C t S E | a
E --> e S | ε
C --> b
عند رسم الجدول
هيكون فيه خانة فيها
eS
ε
موجود في آخر سكشن المثال قبل الأخير

انا شوفت المثال بس ليه الخانة دي بالذات اللي فيها كده ؟

من طرف **حسن** في الثلاثاء يناير 11, 2011 5:28 am

أمة الله كتب:انا شوفت المثال بس ليه الخانة دي بالذات اللي فيها كده ؟

بعد حساب ال
first
و
follow
ورسم الجدول طلع كده

من طرف **shadoa** في الثلاثاء يناير 11, 2011 5:33 am

أول مثال في السكشن بتاع التحويل من
NFA--> DFA
مش فيه إبسنون في ال NFA
هيتحل إزاي ؟؟

من طرف **حسن** في الثلاثاء يناير 11, 2011 5:38 am

shadoa كتب:أول مثال في السكشن بتاع التحويل من
NFA--> DFA
مش فيه إبسنون في ال NFA
هيتحل إزاي ؟؟

ε-‐closure(0)={0}
move(0,a)=ε-‐closure(1,2)={1,2}=A
move(0,b)=ε-‐closure()={}
move(A,a)=ε-‐closure(1,2)=A
move(A,b)=ε-‐closure(1,3)={1,3}=B
move(B,a)=ε-‐closure(1,2)=A
move(B,b)=ε-‐closure()={}

This is the solution

ممكن بعد اذنك يا باشمهندس طريقة مبسطة لل
first

flow

لاني متلخبطة جدا

انا عارفة اننا تقلنا على حضرتك

كله في مزان حسناتك ان شاء الله