سلام
ابهامی برای بعضی از دوستانی که آزمون پارسه داده بودند پیش اومده مبنی بر اینکه
آیا زبان زیر مستقل از متن قطعی است؟ و چرا؟
[tex]L= \left \{ a^nb^na^mb^m| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
و این چه فرقی با این یکی از لحاظ قطعی بودن داره
[tex]L= \left \{ a^nb^na^mb^{2m}| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
(18 آبان 1392 10:56 ب.ظ)zimenswall نوشته شده توسط: [ -> ]سلام
ابهامی برای بعضی از دوستانی که آزمون پارسه داده بودند پیش اومده مبنی بر اینکه
آیا زبان زیر مستقل از متن قطعی است؟ و چرا؟
[tex]L= \left \{ a^nb^na^mb^m| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
و این چه فرقی با این یکی از لحاظ قطعی بودن داره
[tex]L= \left \{ a^nb^na^mb^{2m}| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
من این سوال رو اینجا پرسیدم، این جوابو دادن
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
زبان اول رو میشه با یه dpda ساخت، ولی زبان دوم از اونجایی که اول کار نمی دونیم قسمت اول هستیم یا دوم، به خاطر همین نمیدونیم که یه دونه 0 بزاریم تو پشته یا 2 تا 0، به همین خاطر مجبوریم به صورت non deterministic عمل کنیم.
(19 آبان 1392 12:16 ق.ظ)SnowBlind نوشته شده توسط: [ -> ] (18 آبان 1392 10:56 ب.ظ)zimenswall نوشته شده توسط: [ -> ]سلام
ابهامی برای بعضی از دوستانی که آزمون پارسه داده بودند پیش اومده مبنی بر اینکه
آیا زبان زیر مستقل از متن قطعی است؟ و چرا؟
[tex]L= \left \{ a^nb^na^mb^m| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
و این چه فرقی با این یکی از لحاظ قطعی بودن داره
[tex]L= \left \{ a^nb^na^mb^{2m}| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
من این سوال رو اینجا پرسیدم، این جوابو دادن
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
زبان اول رو میشه با یه dpda ساخت، ولی زبان دوم از اونجایی که اول کار نمی دونیم قسمت اول هستیم یا دوم، به خاطر همین نمیدونیم که یه دونه ۰ بزاریم تو پشته یا ۲ تا ۰، به همین خاطر مجبوریم به صورت non deterministic عمل کنیم.
من که انگلیسی خیلی بلد نیستم البته ایشون که به شما جواب داده خیلی مطمئن نبوده و گفته probably
ولی انگار همون چیزی که توی بحث و بررسی آزمون گفتم درست بوده
"ما توی زبان اولی وقتی a اومد تمام aها را میخونیم و مطمئن هستیم که تعداد bها هم باید مساوی a باشه. حالا چه قسمت اول و یا چه قسمت دوم
اگر بعد از این مورد a ای اومد که باز همون روش بالا و اگر نیومد که کار تمومه"
(19 آبان 1392 12:29 ق.ظ)zimenswall نوشته شده توسط: [ -> ] (19 آبان 1392 12:16 ق.ظ)SnowBlind نوشته شده توسط: [ -> ] (18 آبان 1392 10:56 ب.ظ)zimenswall نوشته شده توسط: [ -> ]سلام
ابهامی برای بعضی از دوستانی که آزمون پارسه داده بودند پیش اومده مبنی بر اینکه
آیا زبان زیر مستقل از متن قطعی است؟ و چرا؟
[tex]L= \left \{ a^nb^na^mb^m| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
و این چه فرقی با این یکی از لحاظ قطعی بودن داره
[tex]L= \left \{ a^nb^na^mb^{2m}| n\geqslant 0 , m\geqslant 1 \right \}[/tex]
من این سوال رو اینجا پرسیدم، این جوابو دادن
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
زبان اول رو میشه با یه dpda ساخت، ولی زبان دوم از اونجایی که اول کار نمی دونیم قسمت اول هستیم یا دوم، به خاطر همین نمیدونیم که یه دونه ۰ بزاریم تو پشته یا ۲ تا ۰، به همین خاطر مجبوریم به صورت non deterministic عمل کنیم.
من که انگلیسی خیلی بلد نیستم البته ایشون که به شما جواب داده خیلی مطمئن نبوده و گفته probably
ولی انگار همون چیزی که توی بحث و بررسی آزمون گفتم درست بوده
"ما توی زبان اولی وقتی a اومد تمام aها را میخونیم و مطمئن هستیم که تعداد bها هم باید مساوی a باشه. حالا چه قسمت اول و یا چه قسمت دوم
اگر بعد از این مورد a ای اومد که باز همون روش بالا و اگر نیومد که کار تمومه"
بله درسته، همون استدلاله .