مناقشة الأوتومات واللغات الصورية

كل ما يتعلق بمادة اللغات الصورية من استفسارات و مناقشات و محاضرات...........

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Maya » الأربعاء يونيو 23, 2010 1:29 pm

person كتب:
person كتب:ممكن لو سمحتوا ....

حدا يحط أية لغة و يشرحلنا على ..
كيف منعرف أنو لغة منتهية أو لا (من خلال المثال )؟؟؟
كيف منعرف أنو لغة فارغة أو لا (من خلال المثال )؟؟؟

مشكورين طبعا"


ياريت يلي بيعرف يخبرنا كيف؟؟؟.... (على أي مثال )
لانو متل على هالنمط قال الدكتور رح يجيب :
لغة ما ....
منتهية - غير منتهية - فارغة - غير فارغة

هلأ بالنسبة للغة المنتهية او غير منتهية
اول شي بتطلع النموذج القواعدي للغة
بعدين بترسم البيان تبعو
اذا طلع فيو حلقات يعني غير منتهية
اذا ما فيو حلقات يعني منتهية
في مثال بالكتاب صفحة 125 و126 المثال فورا عاطي النموذج القواعدي
بالنسبة اذا اللغة فارغة
اذا قدرت تعطي سلسلة وحدة بتنتمي للغة فهي غير فارغة ما في مثال :imb:
Maya
عضو فعال
عضو فعال
 
مشاركات: 395
اشترك في: الأربعاء مارس 05, 2008 10:43 pm
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Mu_Nizar » الأربعاء يونيو 23, 2010 1:38 pm

سؤال لو سمحتم ..
بالكتاب صفحة 46:
السؤال الثامن: كيف نبرهن صحة العلاقة الثالثة ؟
السؤال التاسع :
العلاقة الأولى صحيحة , الثانية و الثالثة خطأ ؟ أليس كذلك ؟
{لا تحزن إن الله معنا}

يالمحاسن التقدير الإلهي :mrgreen: :ism: عم قول لحالي ليش حارتنا منورة
و إن شاء الله دوما بتبقى منورة :ism:
صورة العضو الشخصية
Mu_Nizar
مشرف منتدى الخوارزميات العام
مشرف منتدى الخوارزميات العام
 
مشاركات: 2465
اشترك في: الاثنين مارس 10, 2008 2:49 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Maya » الأربعاء يونيو 23, 2010 2:23 pm

Mu_Nizar كتب:سؤال لو سمحتم ..
بالكتاب صفحة 46:
السؤال الثامن: كيف نبرهن صحة العلاقة الثالثة ؟
السؤال التاسع :
العلاقة الأولى صحيحة , الثانية و الثالثة خطأ ؟ أليس كذلك ؟

السؤال التامن ما عرفت كيف ياريت يلي بيعرف يقلنا
السؤال التاسع مزبوط الأولى صح والتانية والتالتة خطأ
Maya
عضو فعال
عضو فعال
 
مشاركات: 395
اشترك في: الأربعاء مارس 05, 2008 10:43 pm
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Yamen Ali » الأربعاء يونيو 23, 2010 2:45 pm

person كتب:
person كتب:ممكن لو سمحتوا ....

حدا يحط أية لغة و يشرحلنا على ..
كيف منعرف أنو لغة منتهية أو لا (من خلال المثال )؟؟؟
كيف منعرف أنو لغة فارغة أو لا (من خلال المثال )؟؟؟

مشكورين طبعا"


ياريت يلي بيعرف يخبرنا كيف؟؟؟.... (على أي مثال )
لانو متل على هالنمط قال الدكتور رح يجيب :
لغة ما ....
منتهية - غير منتهية - فارغة - غير فارغة

لأحكي يلي أنا فهمانو بالموضوع :
1- في اللغات المنتظمة :
1- 1- مسألة اللغة الفارغة :
( الفكرة النظرية): حتى لا تكون لغة ما فارغة يجب أن تحوي سلسلة واحدة على الأقل ( الإبسلون تعبتر سلسلة ) و لتسهيل البحث عن سلسلة تنتمي للغة سوف نبحث فقط في السلاسل الّتي طولها أصغر من ( n ) أي أصغر من طول الأوتومات المنتهي الأصغر ي.
( الفكرة المطروحة بكتاب ( introduction to automata ) ) : حتى لا تكون لغة ما فارغة يجب أن نجد طريق واحد على الأقل يصل بين الحالة البدائية و إحدى الحالات النهائية للأوتومات .
ما لقيت مثال على هذا النوع من اللغات بس هي مثال من عندي بتوقع يكون شغال :
اللغة الممثلة بالأوتومات التالي :
الحالات : q0 - q1 - q2 - الحالة البدائية : q0 - الحالة النهائية : q2 - الأبجدية هي : 0
تابع الانتقال :
q0 ,0 = q1 - q1,0=q1 - q2,0=q2
بنلاحظ بالمثال أن من المستحيل إيجاد طريق بين q0 و q2 لذلك فاللغة فارغة .
1- 2- مسألة اللغة المنتهية :
حتى تكون اللغة غير منتهية لازم نوجد سلسلة طولها أكبر من ( n ) تنتمي للغة لأن إذا وجدنا هيك سلسلة فبالتأكيد يوجد حلقة ما داخل اللغة ( أي بالأوتومات الخاص باللغة ) مكّنتنا توليد هذه السلسلة ، و لتسهيل موضوع البحث
بكفي ندور بالمجال أصغر من 2n و أكبر من n . مشان الحلقة هي أي رمز أو تتالي من الرموز بتسمحلنا اللغة أن نكرره أكثر من مرّة مثل ( 1* - 1*0* - (111101)* - 1+ - .......... ) .
مثال على لغة منتهية :
اللغة الممثلة بالأوتومات التالي :
الحالات : q0 - q1 - q2 - الحالة البدائية : q0 - الحالة النهائية : q2 - الأبجدية هي : a ,b
تابع الانتقال :
q0 ,a = q1 - q1,a or b=q2 - q0,b=q2
بنلاحظ بالمثال أنّ السلاسل المقبولة فقط هي b , aab .
==================
2- اللغة خارج السياق :
2-1 - مسألة اللغة الفارغة :
( الفكرة النظرية): حتى لا تكون لغة ما فارغة يجب أن نستطيع توليد سلسلة واحدة على الأقل عن طريق نموذجها القواعدي .
( الفكرة المطروحة بكتاب ( introduction to automata ) ) : حتى لا تكون لغة ما فارغة يجب أن لا يحذف الرمز البدائي
( s )عند تطبيق الخوارزمية الأولى لاختصار الرموز عديمة الفائدة ( أي الخوارزمية التي تحذف الرموز التي لا تصل إلى رموز نهائية ) فإذا طبّقنا هذه الخوارزمية فحذف ( s ) فهذا يعني أنّ اللغة فارغة أ ي لن نستطيع توليد أي سلسلة اعتباراً من
( s ) .
مثال ( كمان من عندي ) :
S->A B->a
هذا النموذج القواعدي بعبّر عن لغة فارغة على اعتبار ما بنقدر نولّد أي سلسلة من رموز نهائية .
طبعاً من الممكن يكون النموذج أعقد من هيك و ما ببين مباشرة بس بتطبيق الخوارزمية الأولى لحذف الرموز عديمة الفائدة بيمشي الحال .
2 -2- مسألة اللغة المنتهية :
بنبني البيان المعبّر عن قواعد اللغة و إذا كان في حلقات فاللغة غير منتهية و إذا ما لقينا أي حلقة بتكون اللغة منتهية
في مثال محلول على هي الخوارزمية بمحاضرة العملي العاشرة .
Nothing is impossible, the word itself says : I'm possible
صورة العضو الشخصية
Yamen Ali
عضو جديد
عضو جديد
 
مشاركات: 40
اشترك في: الأربعاء يونيو 09, 2010 4:00 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الرابعة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Mu_Nizar » الأربعاء يونيو 23, 2010 4:14 pm

سؤال غريب شوي :???:
بفرض:
A <=> B
B <=> C
C <=> D
SO: A,B,C,D are Equivalent Classes
and the Index of this Equivalent Relationship =4
+
و نستطيع القول أن الـ index لأي علاقة تكافؤ هو حتما أكبرأو يساوي 2
؟
آخر تعديل بواسطة Mu_Nizar في الأربعاء يونيو 23, 2010 4:15 pm، عدل 1 مرة
{لا تحزن إن الله معنا}

يالمحاسن التقدير الإلهي :mrgreen: :ism: عم قول لحالي ليش حارتنا منورة
و إن شاء الله دوما بتبقى منورة :ism:
صورة العضو الشخصية
Mu_Nizar
مشرف منتدى الخوارزميات العام
مشرف منتدى الخوارزميات العام
 
مشاركات: 2465
اشترك في: الاثنين مارس 10, 2008 2:49 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة farah_online » الأربعاء يونيو 23, 2010 4:15 pm

هلأ القواعد الأحادية بحذفها بجميع الحالات إلا إذا كان في بالقاعدة عودة مو هيك ؟؟ :???:
و استشهد السلام في وطن السلام .. !!
farah_online
عضو نشيط جدا
عضو نشيط جدا
 
مشاركات: 2871
اشترك في: الثلاثاء يناير 29, 2008 9:45 am
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Gardenia » الأربعاء يونيو 23, 2010 4:39 pm

سؤال آلة تورينغ أكيد مو داخلة معنا ؟؟
«... وَيَسْأَلُونَكَ عَنِ الرُّوحِ قُلِ الرُّوحُ مِنْ أَمْرِ رَبِّي وَمَا أُوتِيتُم مِّن الْعِلْمِ إِلاَّ قَلِيلاً ...»
صورة العضو الشخصية
Gardenia
عضو فعال
عضو فعال
 
مشاركات: 863
اشترك في: الخميس يناير 31, 2008 5:14 pm
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة N.Sham » الأربعاء يونيو 23, 2010 4:46 pm

Gardenia كتب:سؤال آلة تورينغ أكيد مو داخلة معنا ؟؟

يس يس يس قال انو الدكتور بآخر محاضرة حذفها
على قدر النية يكون العون من الله
صورة العضو الشخصية
N.Sham
عضو نشيط جدا
عضو نشيط جدا
 
مشاركات: 3642
اشترك في: الاثنين يناير 28, 2008 6:00 pm
الجتس: أنثى
الشهادة الثانوية: إماراتية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة العقاب 210 » الأربعاء يونيو 23, 2010 4:48 pm

خوارزمية (CYK) هل نحن مطالبون بها؟
صورة العضو الشخصية
العقاب 210
عضو جديد
عضو جديد
 
مشاركات: 27
اشترك في: الخميس فبراير 21, 2008 5:47 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الرابعة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة life moon » الأربعاء يونيو 23, 2010 5:51 pm

العقاب 210 كتب:خوارزمية (CYK) هل نحن مطالبون بها؟


أكيد مطالبين فيها
والدكتور أكّد عليها .. شكلها جاية ..
life moon
عضو نشيط
عضو نشيط
 
مشاركات: 1085
اشترك في: الخميس يناير 31, 2008 7:45 am
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة the master » الأربعاء يونيو 23, 2010 6:22 pm

مرحبا يا جماعة.. :ism:
اذا ممكن سؤال بتوطئة الضخ تبع خارج السياق، عنا هي اللغة يلي مثبت انو هي خارج السياق، وفي السلسلة يلي تحتا z هي لازم تنتمي للغة:
pumping lemma.jpg

هلأ لما ناخد i=2 لازم نضخ v مرتين وكمان x مرتين، طيب بهالحالة رح تصير السلسلة z هي: aaaaabbbb !
شو مشان ساعتها ما بتنتمي للغة وبتصير هي اللغة مانا خارج السياق؟ حدا عندو فكرة ليش؟
إلها علاقة بإنو v ما لازم يكون هيك وضعها أو الشغلة إلها علاقة بشروط الضخ؟؟
هلأ طيب سؤالي كمان نحنا بتوطئة الضخ تبع اللغات المنتظمة كانت n هي عدد حالات الأوتومات المنتهي الحتمي الأصغري (يخزي العين على هالاسم شو حلو :mrgreen: )، طيب هون بخارج السياق شو بتمثل n؟؟
وشكراً :iok:
No Comment..
the master
مشرف عام
مشرف عام
 
مشاركات: 3441
اشترك في: السبت يناير 19, 2008 2:52 pm
مكان: دمشق
الجتس: ذكر
الشهادة الثانوية: إماراتية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Pure Man » الأربعاء يونيو 23, 2010 6:24 pm

life moon كتب:
العقاب 210 كتب:خوارزمية (CYK) هل نحن مطالبون بها؟


أكيد مطالبين فيها
والدكتور أكّد عليها .. شكلها جاية ..


متى أعطاها؟؟

كيف لا نتفائل ..
وشعارنا من أربعة عشر قرناً
لا تحزن إن الله معنا

صورة العضو الشخصية
Pure Man
عضو جديد
عضو جديد
 
مشاركات: 244
اشترك في: الخميس مارس 06, 2008 11:28 am
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: غير ذلك
الاختصاص: غير ذلك

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة the master » الأربعاء يونيو 23, 2010 6:25 pm

Pure Man كتب:
life moon كتب:
العقاب 210 كتب:خوارزمية (CYK) هل نحن مطالبون بها؟


أكيد مطالبين فيها
والدكتور أكّد عليها .. شكلها جاية ..


متى أعطاها؟؟

المواضيع التالية ما عطاها ومطالبين فيها:
CNF
GNF
CYK
هدول التلاتة قال مطلوبين بس ما عطاهون واعتمد قال على العملي :ism:
No Comment..
the master
مشرف عام
مشرف عام
 
مشاركات: 3441
اشترك في: السبت يناير 19, 2008 2:52 pm
مكان: دمشق
الجتس: ذكر
الشهادة الثانوية: إماراتية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Maya » الأربعاء يونيو 23, 2010 6:39 pm

the master كتب:مرحبا يا جماعة.. :ism:
اذا ممكن سؤال بتوطئة الضخ تبع خارج السياق، عنا هي اللغة يلي مثبت انو هي خارج السياق، وفي السلسلة يلي تحتا z هي لازم تنتمي للغة:
pumping lemma.jpg

هلأ لما ناخد i=2 لازم نضخ v مرتين وكمان x مرتين، طيب بهالحالة رح تصير السلسلة z هي: aaaaabbbb !
شو مشان ساعتها ما بتنتمي للغة وبتصير هي اللغة مانا خارج السياق؟ حدا عندو فكرة ليش؟
إلها علاقة بإنو v ما لازم يكون هيك وضعها أو الشغلة إلها علاقة بشروط الضخ؟؟
هلأ طيب سؤالي كمان نحنا بتوطئة الضخ تبع اللغات المنتظمة كانت n هي عدد حالات الأوتومات المنتهي الحتمي الأصغري (يخزي العين على هالاسم شو حلو :mrgreen: )، طيب هون بخارج السياق شو بتمثل n؟؟
وشكراً :iok:

شو ثابت التوطئة يلي اخترتو !!
هلأ هون ثابت التوطئة n وبالتالي عندك شرط مو محقق هو v w x <=n
يعني التقسيم غلط
هيك بتوقع
بالنسبة ل n شو بتمثل بخارج السياق ما بعرف :imb:

نصيحة اقرا الملخص يلي بأسئلة الدورات تبع مكتبة الشرق وريح راسك من توطئة الضخ :iok:
Maya
عضو فعال
عضو فعال
 
مشاركات: 395
اشترك في: الأربعاء مارس 05, 2008 10:43 pm
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Yamen Ali » الأربعاء يونيو 23, 2010 7:01 pm

the master كتب:مرحبا يا جماعة.. :ism:
اذا ممكن سؤال بتوطئة الضخ تبع خارج السياق، عنا هي اللغة يلي مثبت انو هي خارج السياق، وفي السلسلة يلي تحتا z هي لازم تنتمي للغة:
pumping lemma.jpg

هلأ لما ناخد i=2 لازم نضخ v مرتين وكمان x مرتين، طيب بهالحالة رح تصير السلسلة z هي: aaaaabbbb !
شو مشان ساعتها ما بتنتمي للغة وبتصير هي اللغة مانا خارج السياق؟ حدا عندو فكرة ليش؟
إلها علاقة بإنو v ما لازم يكون هيك وضعها أو الشغلة إلها علاقة بشروط الضخ؟؟
هلأ طيب سؤالي كمان نحنا بتوطئة الضخ تبع اللغات المنتظمة كانت n هي عدد حالات الأوتومات المنتهي الحتمي الأصغري (يخزي العين على هالاسم شو حلو :mrgreen: )، طيب هون بخارج السياق شو بتمثل n؟؟
وشكراً :iok:

في فكرتين لازم تعرفهن هون.
أولاً : في خطأ بتقسيمك للسلسلة لأنك أخذت vwx=abba و هي السلسلة طولها أكبر من n=3 يعني هي السلسلة مو محسوبة . طبعاً هالحكي بفرض إنّك مختار ثابت التوطئة هو n .
ثانياً : على فرض أن السلسلة ما فيها مشكلة فأنت أثبتت أن السلسلة لا تنتمي للغة بعد الضخ عليها بس من اجل تقسيم واحد مو من أجل جميع التقاسيم الممكنة للسلسلة .
يعني النقاش هون بصير كمايلي :
1- vwx = aaa : سواءً كانت w|=0 | أم لا من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
2- vwx=bbb : سواءً كانت w|=0 | أم لا من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
3- vwx=aab : إذا كانت v=a , x=ab من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
إذا كانت v=a , w=a , x=b مهما قمنا بالضخ على x ,v من المستحيل أن تخرج السلسلة من اللغة .
طبعاً لسا في تقسيمات أخرى للسلسلة بس على اعتبار في أحد التقسيمات ( التقسيم السابق ) ما قدرنا نوجد اي قيمة لـ i تخرجه من اللغة هذا يعني السلسلة المختارة ما فينا نثبت عليها توطئة الضخ . لذلك بننتقل لسلسلة ثانية و بنحاول ، طبعاً هون مهما كانت السلسلة يلي بنختارها دائماً بتصير معنا الحالة السابقة من التقسيم يعني لما بكون v عبارة عن رموز a فقط و x هي عبارة عن رموز b فقط و طول x يساوي طول v .
و بالنسبة لسؤالك الثاني ما بعرف ما مرق معي أن n بعبّر عن شي يمكن هو مجرّد عدد اختياري .
Nothing is impossible, the word itself says : I'm possible
صورة العضو الشخصية
Yamen Ali
عضو جديد
عضو جديد
 
مشاركات: 40
اشترك في: الأربعاء يونيو 09, 2010 4:00 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الرابعة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة the master » الأربعاء يونيو 23, 2010 7:14 pm

Yamen Ali كتب:
the master كتب:مرحبا يا جماعة.. :ism:
اذا ممكن سؤال بتوطئة الضخ تبع خارج السياق، عنا هي اللغة يلي مثبت انو هي خارج السياق، وفي السلسلة يلي تحتا z هي لازم تنتمي للغة:
pumping lemma.jpg

هلأ لما ناخد i=2 لازم نضخ v مرتين وكمان x مرتين، طيب بهالحالة رح تصير السلسلة z هي: aaaaabbbb !
شو مشان ساعتها ما بتنتمي للغة وبتصير هي اللغة مانا خارج السياق؟ حدا عندو فكرة ليش؟
إلها علاقة بإنو v ما لازم يكون هيك وضعها أو الشغلة إلها علاقة بشروط الضخ؟؟
هلأ طيب سؤالي كمان نحنا بتوطئة الضخ تبع اللغات المنتظمة كانت n هي عدد حالات الأوتومات المنتهي الحتمي الأصغري (يخزي العين على هالاسم شو حلو :mrgreen: )، طيب هون بخارج السياق شو بتمثل n؟؟
وشكراً :iok:

في فكرتين لازم تعرفهن هون.
أولاً : في خطأ بتقسيمك للسلسلة لأنك أخذت vwx=abba و هي السلسلة طولها أكبر من n=3 يعني هي السلسلة مو محسوبة . طبعاً هالحكي بفرض إنّك مختار ثابت التوطئة هو n .

شكراً إلك يامن، بس ثابت التوطئة هون ضروري ليش يكون 3؟؟ n يلي بالأس تبع a وb مالو علاقة بثابت التوطئة. اذا هاد السبب وراء اختيار n=3 بس أنا ما اخترت ثابت توطئة معين.. أو بالأحرى ليش ضروري نختار ثابت توطئة؟ في مثال حلو الدكتور بالمحاضرة العاشرة نظري تبع a^m. b^m . c^m أخد قيمة معينة لـm بس ما ذكر انو هاد ثابت التوطئة :imb:
ثانياً : على فرض أن السلسلة ما فيها مشكلة فأنت أثبتت أن السلسلة لا تنتمي للغة بعد الضخ عليها بس من اجل تقسيم واحد مو من أجل جميع التقاسيم الممكنة للسلسلة .
يعني النقاش هون بصير كمايلي :
1- vwx = aaa : سواءً كانت w|=0 | أم لا من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
2- vwx=bbb : سواءً كانت w|=0 | أم لا من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
3- vwx=aab : إذا كانت v=a , x=ab من أجل أي قيمة لـ i ستخرج السلسلة من اللغة .
إذا كانت v=a , w=a , x=b مهما قمنا بالضخ على x ,v من المستحيل أن تخرج السلسلة من اللغة .
طبعاً لسا في تقسيمات أخرى للسلسلة بس على اعتبار في أحد التقسيمات ( التقسيم السابق ) ما قدرنا نوجد اي قيمة لـ i تخرجه من اللغة هذا يعني السلسلة المختارة ما فينا نثبت عليها توطئة الضخ . لذلك بننتقل لسلسلة ثانية و بنحاول ، طبعاً هون مهما كانت السلسلة يلي بنختارها دائماً بتصير معنا الحالة السابقة من التقسيم يعني لما بكون v عبارة عن رموز a فقط و x هي عبارة عن رموز b فقط و طول x يساوي طول v .
و بالنسبة لسؤالك الثاني ما بعرف ما مرق معي أن n بعبّر عن شي يمكن هو مجرّد عدد اختياري .

شكراً كتير بس الدكتور بنفس المثال يلي ذكرتو فوق يلي حلو بالمحاضرة عشرة ما جرب غير على تقسيم واحد ليش؟
ولا لأنو هنيك كنا عم نثبت انو اللغة غير منتظمة فبكفي نوجد تقسيمة معينة ما بتخرج فيها السلسلة من اللغة؟
وعفواً على الإطالة :imb:
No Comment..
the master
مشرف عام
مشرف عام
 
مشاركات: 3441
اشترك في: السبت يناير 19, 2008 2:52 pm
مكان: دمشق
الجتس: ذكر
الشهادة الثانوية: إماراتية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة shashi » الأربعاء يونيو 23, 2010 7:15 pm

the master كتب:مرحبا يا جماعة.. :ism:
اذا ممكن سؤال بتوطئة الضخ تبع خارج السياق، عنا هي اللغة يلي مثبت انو هي خارج السياق، وفي السلسلة يلي تحتا z هي لازم تنتمي للغة:
pumping lemma.jpg

هلأ لما ناخد i=2 لازم نضخ v مرتين وكمان x مرتين، طيب بهالحالة رح تصير السلسلة z هي: aaaaabbbb !
شو مشان ساعتها ما بتنتمي للغة وبتصير هي اللغة مانا خارج السياق؟ حدا عندو فكرة ليش؟
إلها علاقة بإنو v ما لازم يكون هيك وضعها أو الشغلة إلها علاقة بشروط الضخ؟؟
هلأ طيب سؤالي كمان نحنا بتوطئة الضخ تبع اللغات المنتظمة كانت n هي عدد حالات الأوتومات المنتهي الحتمي الأصغري (يخزي العين على هالاسم شو حلو :mrgreen: )، طيب هون بخارج السياق شو بتمثل n؟؟
وشكراً :iok:


ومشان السؤال التاني n تمثل قيمة متعلقة بطول أطول طريق بشجرة الاشتقاق مكتوبة النظرية المعتمد عليها لاختيار n بمحاضرات المستقبل المحاضرة التامنة الصفحة 8 بآخر الصفحة عند كلمة برهان :mrgreen:
صورة العضو الشخصية
shashi
عضو فعال
عضو فعال
 
مشاركات: 361
اشترك في: السبت يناير 19, 2008 3:46 pm
الجتس: أنثى
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الرابعة
الاختصاص: هندسة برمجيات

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة محمود كشكش » الأربعاء يونيو 23, 2010 7:53 pm

شباب سؤال بس:
شو هوة الريغيولار اكسبريشن للغة يلي بتقبل اي سلاسل من الاصفار و الواحدات بس بشرط يكون عدد الاصفار يساوي عدد الواحدات ... يعني مثلا :
aaabbb , ababab , aaabbbabab , bababbaa , .........
سوريا الأسد
صورة
صورة العضو الشخصية
محمود كشكش
عضو جديد
عضو جديد
 
مشاركات: 33
اشترك في: الثلاثاء يونيو 08, 2010 7:43 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الثالثة
الاختصاص: شبكات و نظم

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة Yamen Ali » الأربعاء يونيو 23, 2010 7:54 pm

ثابت التوطئة ما إلو علاقة بالأس بس أنا كنت عم قلك بفرض إنك مختاره n و بالنسبة لمسألة اختيار ثابت التوطئة عملياً مو نحن بنختار الثابت نحن بنختار السلسلة يلي بتحقّق توطئة الضخ من أجل أي ثابت بس بالنهاية لازم يكون في علاقة بين ثابت التوطئة و السلسلة يلي عم نختارها .
و بالنسبة للمثال ما فهمت عليك بالضبط شو قصدك بس أنا بذكر أن الدكتور ناقش كل التقسيمات و هذا المثال موجود بالكتاب و موجود بالمحاضرة التاسعة من محاضرات المنتدى و مأخوذ فيه كل التقسيمات ، يعني بتوطئة الضخ لازم نوجد كل التقسيمات الممكنة سواءً عم نحكي على اللغات المنتظمة أو على اللغات خارج السياق .

في طريقة حلوة للتفكير بتوطئة الضخ بكتاب ( introduction to automata ) يمكن توضح الالتباس يلي عم بصير .
لنفرض في لاعبين ( لاعب أول - لاعب ثاني ) .
*- اللاعب الأول بيختار لغة حتى يثبت أنها غير منتظمة .
*- اللاعب الثاني بيختار ( n ) يعني أي عدد بيخطر على باله .
*- اللاعب الأوّل بيختار سلسلة تنتمي للغة طولها أكبر من ( n ) ( الفكرة هون ان اللاعب الأوّل ما بيعرف العدد يلي اختاره اللاعب الثاني مشان هيك لازم يختار سلسلته بحيث تكون محقّقة من اجل أي عدد ممكن و هي الفكرة يلي حطيتها قبل شوي يعني نحن بنختار السلسلة عملياً بحيث تحقّق المطلوب بغض النظر عن ثابت التوطئة ) .
*- اللاعب الثاني يقسّم السلسلة التي اختارها اللاعب الأول بطريقة ما . ( وفق شروط توطئة الضخ ) .
*- إذا قدر اللاعب الأولّ يوجد قيمة لـ i بحيث تخرج السلسلة من اللغة مهما كان التقسيم الذي اختاره اللاعب الثاني عندئذ يربح اللاعب الأول أي يثبت أن اللغة غير منتظمة . ( و هي الفكرة من إيجاد جميع التقاسيم الممكنة يعني أنا أي تقسيم بعطيك ياه لازم تقدر توجد قيمة واحدة لـ i على الأقل بحيث تخرج السلسلة من اللغة . )
و في فكرة تانية ( رأي شخصي ) أن نحن عملياً لما بنشتغل على توطئة الضخ و بنختار سلسلة
الأدق أن ما تكون سلسلة ثابتة يعني لما نختار ( a^nb^n ) بحيث يكون n هو ثابت التوطئة و بشتغل على توطئة الضخ من اجل هي السلسلة بكون ادق من اختيار سلسلة ثابتة (aaabbb ) و الشغل عليها لأن بالأصل في بنفي توطئة الضخ مهما يكن ( n ) يعني مشان نلتزم بنص النظرية ( مرة ثانية هذا رأي شخصي مو اكثر ) .
Nothing is impossible, the word itself says : I'm possible
صورة العضو الشخصية
Yamen Ali
عضو جديد
عضو جديد
 
مشاركات: 40
اشترك في: الأربعاء يونيو 09, 2010 4:00 pm
الجتس: ذكر
الشهادة الثانوية: سورية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الرابعة
الاختصاص: ذكاء صنعي

Re: مناقشة الأوتومات واللغات الصورية

مشاركة غير مقروءةبواسطة N.Sham » الأربعاء يونيو 23, 2010 8:09 pm

هلأ مثال الاوتومات بمكدس اللي مشروح بالمحاضرة بنوطة المستقبل .. مافهمت كيف صارت القصة بمكدس واحد .. ياريت ازا حدا فهمانا بس يشرحلنا شوي عنا :imb:
على قدر النية يكون العون من الله
صورة العضو الشخصية
N.Sham
عضو نشيط جدا
عضو نشيط جدا
 
مشاركات: 3642
اشترك في: الاثنين يناير 28, 2008 6:00 pm
الجتس: أنثى
الشهادة الثانوية: إماراتية
الجامعة: جامعة دمشق
الكلية: الهندسة المعلوماتية
المرحلة الدراسية: السنة الخامسة
الاختصاص: ذكاء صنعي

السابقالتالي

العودة إلى اللغات الصورية

الموجودون الآن

المستخدمون المتصفحون لهذا المنتدى: لا يوجد أعضاء مسجلين متصلين و 1 زائر

cron