تالار گفتمان مانشت
بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - نسخه‌ی قابل چاپ

صفحه‌ها: ۱ ۲ ۳ ۴ ۵ ۶ ۷
بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - sepidddddddddd - 26 بهمن ۱۳۹۲ ۱۲:۴۵ ق.ظ

جواب: هر گرامر خطی منظم است.
در مورد اون سوال هم که زبان و ماشین و گرامر داشت من گزینه ای رو زدم که همه با هم برابرند. b رو هم می پذیرفت

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - bestgirl - 26 بهمن ۱۳۹۲ ۱۲:۵۲ ق.ظ

(۲۵ بهمن ۱۳۹۲ ۰۳:۴۹ ب.ظ)mahtab69 نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۳:۴۳ ب.ظ)negar.v نوشته شده توسط:  اون سوال که یه عبارت منظم و یه زبان و یه ماشین بود چی میشد؟

Sent from my ME172V using Tapatalk

من زدم LG =! LR , LG=! LM

دلیلشم اینه که LR, LM میتونستن b رو تولید کنند ولی LG نمیتونست یک b تولید کنه


استدلال تولید نکردن b درسته Tongue

(۲۵ بهمن ۱۳۹۲ ۰۵:۵۶ ب.ظ)ali_t1234 نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۵:۴۰ ب.ظ)sarehkar نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۳:۴۳ ب.ظ)negar.v نوشته شده توسط:  اون سوال که یه عبارت منظم و یه زبان و یه ماشین بود چی میشد؟

Sent from my ME172V using Tapatalk
هیچ کدوم مثل هم نبودن من چند بار امتحان کردم

به نظر من اون گزینه ای میشد که گفته بود
گرامر با زبان برابر نیست - گرامر با ماشین برابر نیست

(۲۵ بهمن ۱۳۹۲ ۰۴:۵۱ ب.ظ)mr_asadi نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۳:۵۵ ب.ظ)maziyar_king نوشته شده توسط:  اولی مبهم بود دومی مبهم نبود و به نظرم معادل نبودن.

اولی مبهم دومی غیرمبهم
به نظر من معادل بودن

بقیه دوستانم نظرشونو بدن


من فکر میکنم اون گزینه
اولی مبهم - دومی غیر مبهم - و هر دو معادل هستند


منم بالایی و تایید میکنم

بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - hosein_khoshdel - 26 بهمن ۱۳۹۲ ۱۲:۵۶ ق.ظ

دوستان اون سوال تورینگ چی می شد؟ من برای شماره دوش گفتم که برای تقسیم بر دو باید یه رقم کم بشه بنابراین می شه B/L/-

یعنی گزینه ی سه تو این دفترچه ی D که همه دارن.درسته؟

بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - amir_hossein - 26 بهمن ۱۳۹۲ ۱۲:۵۷ ق.ظ

تورینگ رو چی زدین ؟؟؟

گزینه ۳ دفترچه D ؟؟؟

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - ali_nemo - 26 بهمن ۱۳۹۲ ۰۲:۱۵ ق.ظ

فکر کنم نظریه رو گند زدم....
راستش من جوابام این بود؟
LG != LR , LG != LM

G1 مبهم و G2 غیر مبهم و هر دو معادل

هر زبان خطی ،مستقل از متن قطعی است.
(اینو خیلی شک دارم اما انگار خونده بودم جمبلش رو ی جایی)

I مستقل از متن و بقیه مستقل از متن نیست.

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - Seeb - 26 بهمن ۱۳۹۲ ۰۳:۱۰ ق.ظ

[/quote]

گرامرخطی در صورتی منظم هست که خطی چپ یا راست باشه. اینجا شرایط نقضش اینه که خطی راست و چپ باهم باشه اونموقه گرامر خطی هست اما منظم نیست.
[/quote]

من گزینه ۲ رو زدم

صورت سوال اینجوری بود:
کدامیک از موارد زیر درست است؟
۱) هر گرامر خطی گرامر منظم است
۲) هر زبان خطی ، مستقل از متن قطعی است
۳)هر زبان مستقل از متن غیر قطعی ذاتاً مبهم است
۴)هیچ زبان منظمی نمیتواند غیر قطعی و یا ذاتا مبهم باشد

گزینه یک بنا به همون تعریف بالا منظم نیست . چون گرامر خطی ، نه خطی از چپه نه خطی از راست . و فقط گرامرای خطی از چپ و خطی از راست منظمن

گزینه سه که کلا معلومه نمیشه

گزینه چهار هم قسمت دومش درسته ولی به نظرم قسمت اولش رد بشه ها که گفته هیچ زبان منظمی نمیتواند غیر قطعی باشد . آخه ماشین های غیر قطعی برای توصیفشون رسم میکنیم...؟

(۲۵ بهمن ۱۳۹۲ ۰۳:۴۷ ب.ظ)maryam.raz نوشته شده توسط:  میشه زبان منظم غیرقطعی و مبهم نیست
اون دوتا گرامرها چی میشد؟
من زدم اول مبهم دومی نامبهم ولی معادل

به نظر منم همین میشد

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - ali_nemo - 26 بهمن ۱۳۹۲ ۱۰:۵۸ ق.ظ


گرامرخطی در صورتی منظم هست که خطی چپ یا راست باشه. اینجا شرایط نقضش اینه که خطی راست و چپ باهم باشه اونموقه گرامر خطی هست اما منظم نیست.
[/quote]

من گزینه ۲ رو زدم

صورت سوال اینجوری بود:
کدامیک از موارد زیر درست است؟
۱) هر گرامر خطی گرامر منظم است
۲) هر زبان خطی ، مستقل از متن قطعی است
۳)هر زبان مستقل از متن غیر قطعی ذاتاً مبهم است
۴)هیچ زبان منظمی نمیتواند غیر قطعی و یا ذاتا مبهم باشد

گزینه یک بنا به همون تعریف بالا منظم نیست . چون گرامر خطی ، نه خطی از چپه نه خطی از راست . و فقط گرامرای خطی از چپ و خطی از راست منظمن

گزینه سه که کلا معلومه نمیشه

گزینه چهار هم قسمت دومش درسته ولی به نظرم قسمت اولش رد بشه ها که گفته هیچ زبان منظمی نمیتواند غیر قطعی باشد . آخه ماشین های غیر قطعی برای توصیفشون رسم میکنیم...؟

(۲۵ بهمن ۱۳۹۲ ۰۳:۴۷ ب.ظ)maryam.raz نوشته شده توسط:  میشه زبان منظم غیرقطعی و مبهم نیست
اون دوتا گرامرها چی میشد؟
من زدم اول مبهم دومی نامبهم ولی معادل

منم واسه همین زدم هر زبان خطی مستقل از متن قطعی است چون ما در زبان منظم ان اف آی داریم و ان اف ای لاندا داره و این نشون ازغیر قطعی ب ودن زبان هست......بچه ها شما بگید آیا درست میگم؟ در ضمن اون جمله رو کسی میتونی با استناد رد کنه منظورم این جمله است هر زبان خطی مستق ازمتن قطعی است.

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - damavand_kellap - 26 بهمن ۱۳۹۲ ۱۲:۰۰ ب.ظ

(۲۶ بهمن ۱۳۹۲ ۱۰:۵۸ ق.ظ)ali_nemo نوشته شده توسط:  
(26 بهمن ۱۳۹۲ ۰۳:۱۰ ق.ظ)Seeb نوشته شده توسط:  

گرامرخطی در صورتی منظم هست که خطی چپ یا راست باشه. اینجا شرایط نقضش اینه که خطی راست و چپ باهم باشه اونموقه گرامر خطی هست اما منظم نیست.

من گزینه ۲ رو زدم

صورت سوال اینجوری بود:
کدامیک از موارد زیر درست است؟
۱) هر گرامر خطی گرامر منظم است
۲) هر زبان خطی ، مستقل از متن قطعی است
۳)هر زبان مستقل از متن غیر قطعی ذاتاً مبهم است
۴)هیچ زبان منظمی نمیتواند غیر قطعی و یا ذاتا مبهم باشد

گزینه یک بنا به همون تعریف بالا منظم نیست . چون گرامر خطی ، نه خطی از چپه نه خطی از راست . و فقط گرامرای خطی از چپ و خطی از راست منظمن

گزینه سه که کلا معلومه نمیشه

گزینه چهار هم قسمت دومش درسته ولی به نظرم قسمت اولش رد بشه ها که گفته هیچ زبان منظمی نمیتواند غیر قطعی باشد . آخه ماشین های غیر قطعی برای توصیفشون رسم میکنیم...؟

(۲۵ بهمن ۱۳۹۲ ۰۳:۴۷ ب.ظ)maryam.raz نوشته شده توسط:  میشه زبان منظم غیرقطعی و مبهم نیست
اون دوتا گرامرها چی میشد؟
من زدم اول مبهم دومی نامبهم ولی معادل

منم واسه همین زدم هر زبان خطی مستقل از متن قطعی است چون ما در زبان منظم ان اف آی داریم و ان اف ای لاندا داره و این نشون ازغیر قطعی ب ودن زبان هست......بچه ها شما بگید آیا درست میگم؟ در ضمن اون جمله رو کسی میتونی با استناد رد کنه منظورم این جمله است هر زبان خطی مستق ازمتن قطعی است.
[/quote]

دوست عزیز برای هر ماشین nfa یک dfa معادل وجود داره در ضمن قدرت ماشین dfa و nfa یکیه و فقط قدرت npda و dpda فرق داره پس استدلال شما غلطه

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - bahar1369 - 26 بهمن ۱۳۹۲ ۱۲:۲۵ ب.ظ

(۲۶ بهمن ۱۳۹۲ ۱۰:۵۸ ق.ظ)ali_nemo نوشته شده توسط:  منم واسه همین زدم هر زبان خطی مستقل از متن قطعی است چون ما در زبان منظم ان اف آی داریم و ان اف ای لاندا داره و این نشون ازغیر قطعی ب ودن زبان هست......بچه ها شما بگید آیا درست میگم؟ در ضمن اون جمله رو کسی میتونی با استناد رد کنه منظورم این جمله است هر زبان خطی مستق ازمتن قطعی است.

طبق نمودار چامسکی، هر زبان خطی ۱ زبان مستقل از متن هست، اما لزوما قطعی نیست و میتونه غیرقطعی هم باشه.
اینکه هیچ زبان منظمی نمیتونه غیرقطعی باشه هم غلطه، اما بنظرم چون تو گزینه آخر گفته "یا" (وقتی "یا" بیاد، یکی از جمله ها هم اگه درست باشه، کل عبارت درست میشه) و با توجه به اینکه منظم هیچگاه ذاتا گنگ نیست، همون گزینه آخر میشه.
اینم استدلال من Wink

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - ali_nemo - 26 بهمن ۱۳۹۲ ۰۳:۳۶ ب.ظ

(۲۶ بهمن ۱۳۹۲ ۱۲:۲۵ ب.ظ)bahar1369 نوشته شده توسط:  
(26 بهمن ۱۳۹۲ ۱۰:۵۸ ق.ظ)ali_nemo نوشته شده توسط:  منم واسه همین زدم هر زبان خطی مستقل از متن قطعی است چون ما در زبان منظم ان اف آی داریم و ان اف ای لاندا داره و این نشون ازغیر قطعی ب ودن زبان هست......بچه ها شما بگید آیا درست میگم؟ در ضمن اون جمله رو کسی میتونی با استناد رد کنه منظورم این جمله است هر زبان خطی مستق ازمتن قطعی است.

طبق نمودار چامسکی، هر زبان خطی ۱ زبان مستقل از متن هست، اما لزوما قطعی نیست و میتونه غیرقطعی هم باشه.
اینکه هیچ زبان منظمی نمیتونه غیرقطعی باشه هم غلطه، اما بنظرم چون تو گزینه آخر گفته "یا" (وقتی "یا" بیاد، یکی از جمله ها هم اگه درست باشه، کل عبارت درست میشه) و با توجه به اینکه منظم هیچگاه ذاتا گنگ نیست، همون گزینه آخر میشه.
اینم استدلال من Wink
[/quotب احتمال زیاد نظر شما درسته

(۲۶ بهمن ۱۳۹۲ ۱۲:۲۵ ب.ظ)bahar1369 نوشته شده توسط:  [quote='ali_nemo' pid='252795' dateline='1392445699']


منم واسه همین زدم هر زبان خطی مستقل از متن قطعی است چون ما در زبان منظم ان اف آی داریم و ان اف ای لاندا داره و این نشون ازغیر قطعی ب ودن زبان هست......بچه ها شما بگید آیا درست میگم؟ در ضمن اون جمله رو کسی میتونی با استناد رد کنه منظورم این جمله است هر زبان خطی مستق ازمتن قطعی است.

طبق نمودار چامسکی، هر زبان خطی ۱ زبان مستقل از متن هست، اما لزوما قطعی نیست و میتونه غیرقطعی هم باشه.
اینکه هیچ زبان منظمی نمیتونه غیرقطعی باشه هم غلطه، اما بنظرم چون تو گزینه آخر گفته "یا" (وقتی "یا" بیاد، یکی از جمله ها هم اگه درست باشه، کل عبارت درست میشه) و با توجه به اینکه منظم هیچگاه ذاتا گنگ نیست، همون گزینه آخر میشه.
اینم استدلال من Wink

فکر کنم حق با شماست

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - Jooybari - 26 بهمن ۱۳۹۲ ۰۹:۱۶ ب.ظ

(۲۵ بهمن ۱۳۹۲ ۰۳:۴۹ ب.ظ)mahtab69 نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۳:۴۳ ب.ظ)negar.v نوشته شده توسط:  اون سوال که یه عبارت منظم و یه زبان و یه ماشین بود چی میشد؟

Sent from my ME172V using Tapatalk

من زدم LG =! LR , LG=! LM

دلیلشم اینه که LR, LM میتونستن b رو تولید کنند ولی LG نمیتونست یک b تولید کنه

سلام. با شما موافقم.

(۲۵ بهمن ۱۳۹۲ ۰۳:۳۳ ب.ظ)behnam001 نوشته شده توسط:  گرامر خطی زیر مجموعه مستقل از متن معین نیست

با شما موافقم. زبان [tex]L=\{ww^r\}[/tex] یه نمونشه.

(۲۵ بهمن ۱۳۹۲ ۰۵:۴۸ ب.ظ)mahtab69 نوشته شده توسط:  بچه ها سوال ۵۷ ماشین تورینگ رو کدوم زدین؟؟؟؟
Confused

ماشین رشته رو تا آخر میره. باید آخرین بیت رو حذف کنیم و عدد رو با ۱ جمع کنیم. عمل جمع به این شکله که تا وقتی ۱ دیدیم به ۰ تبدیل میکنیم. اولین ۰ یا بلنک دیده شده رو ۱ میکنیم. گزینه ۳ درسته.

(۲۵ بهمن ۱۳۹۲ ۰۶:۰۸ ب.ظ)sarehkar نوشته شده توسط:  گزینه ها این بود
هر گرامر خطی گرامر منظم است (نگفته که خطی راست یا چپ)
هر زبان خطی مستقل از متن قطعی است (من این گزینه رو زدم Big Grin)
هر زبان مستقل از متن غیر قطعی ذاتا مبهم است
هیچ زبان منظمی نمی تواند غیر قطعی و یا ذاتا مبهم باشد
حلا صد در صد کدوم درسته؟

۱ غلطه. نمونش [tex]S\to aSb|\lambda[/tex].
۲ غلطه. مثالش رو آوردم.
۳ غلطه. همون مثال نقض گزینه ۲ جواب میده. گرامرش [tex]S\to aSa|bSb|\lambda[/tex]. هم خطیه هم غیرمبهمه و هم غیرقطعی.

(۲۵ بهمن ۱۳۹۲ ۰۷:۴۳ ب.ظ)reza6966 نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۷:۴۱ ب.ظ)hubble نوشته شده توسط:  سوال ۵۶ چی میشه؟؟ من همونی رو زدم که گفته بود اولی و چهارمی مستقل از متن اند و دومی و سومی نیستن!

به نظر من درست زدید

نظر من روی مستقل از متن بودن اولیه. بقیه نیستن. (البته با توجه به چیزی که من از این سوال فهمیدم.)

بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - farzadghadami - 27 بهمن ۱۳۹۲ ۰۱:۲۴ ق.ظ

جواب تورینگ این گزینه میشه
۱: ۱/۰/l
۲: -/b/l
کافیه الان بهش رشته بدی که طبق تابع داده شده اول باید تقسیم شه که رقم سمت راست رشته از بین میره بد باید یک بهش اضافه کنیم که اکه صفر بود یه یک جاش میزاریم اگه یک بود باید جاش صفر بزاربم

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - farzad67 - 27 بهمن ۱۳۹۲ ۰۱:۲۷ ق.ظ

(۲۷ بهمن ۱۳۹۲ ۰۱:۲۴ ق.ظ)farzadghadami نوشته شده توسط:  جواب تورینگ این گزینه میشه
۱: ۱/۰/l
۲: -/b/l
کافیه الان بهش رشته بدی که طبق تابع داده شده اول باید تقسیم شه که رقم سمت راست رشته از بین میره بد باید یک بهش اضافه کنیم که اکه صفر بود یه یک جاش میزاریم اگه یک بود باید جاش صفر بزاربم


منم همینو به دست اوردمCool

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - hap777 - 27 بهمن ۱۳۹۲ ۰۲:۵۲ ب.ظ

(۲۵ بهمن ۱۳۹۲ ۰۷:۵۹ ب.ظ)nika نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۷:۴۶ ب.ظ)hubble نوشته شده توسط:  اولی و چهارمی رو ک مطمعنم مستقل از متن اند. جواب یا گزینه سه هست یا ۴ (دفترچه ی D)
یعنی شما میخوای بگی an(bb)nan مستقل ازمتنه ؟! چجوری میخوای واسش ماشین تعریف کنی

این یعنی an bn bn an که همون w wr میشه. من این طور فکر می کنم

RE: بررسی سوالات نظریه زبانهاو ماشینها-کامپیوتر۹۳ - Jooybari - 27 بهمن ۱۳۹۲ ۰۴:۴۰ ب.ظ

(۲۷ بهمن ۱۳۹۲ ۰۲:۵۲ ب.ظ)hap777 نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۷:۵۹ ب.ظ)nika نوشته شده توسط:  
(25 بهمن ۱۳۹۲ ۰۷:۴۶ ب.ظ)hubble نوشته شده توسط:  اولی و چهارمی رو ک مطمعنم مستقل از متن اند. جواب یا گزینه سه هست یا ۴ (دفترچه ی D)
یعنی شما میخوای بگی an(bb)nan مستقل ازمتنه ؟! چجوری میخوای واسش ماشین تعریف کنی

این یعنی an bn bn an که همون w wr میشه. من این طور فکر می کنم

نــــــــه! [tex]a^nb^mb^ma^n[/tex] مستقل از متنه. اون هم مسلماً [tex]ww^r[/tex] نیست.