/forum/ Sun, 10 May 2026 14:56:51 +0000 MyBB /forum/thread-29161.html Mon, 02 Feb 2015 12:53:14 +0000 /forum/thread-29161.html در مورد گزینه دوم توضیح می خواستم:

2.jpg
اندازه فایل: 43.14 KB

]]> در مورد گزینه دوم توضیح می خواستم:

2.jpg
اندازه فایل: 43.14 KB

]]> /forum/thread-29126.html Sun, 01 Feb 2015 11:48:46 +0000 /forum/thread-29126.html ببخشد دوستان تو مواجهه با پاسخ تست ها دچار شبهه شدم
وقتی در سوال به طور کلی میپرسه که زبان های مسفقل از متن تحت اجتماع یا مکمل یا الحاق و...بسته اند؟و حالت قطعی و غیر قطعیش رو در نظر نمیگیره باید حالت مستقل از متن قطعی رو در نظر نگیریم؟؟؟]]> ببخشد دوستان تو مواجهه با پاسخ تست ها دچار شبهه شدم
وقتی در سوال به طور کلی میپرسه که زبان های مسفقل از متن تحت اجتماع یا مکمل یا الحاق و...بسته اند؟و حالت قطعی و غیر قطعیش رو در نظر نمیگیره باید حالت مستقل از متن قطعی رو در نظر نگیریم؟؟؟]]> /forum/thread-29083.html Fri, 30 Jan 2015 19:37:58 +0000 /forum/thread-29083.html _ ارشد پارسال که دادم، سنجش زبان "An B2n An" را غیر مستقل ازمتن اعلام کرده! (A,B عضو الفبا. n توان)
مگه این رشته عضو w wR نیست؟!! به نظر من چون نیاز به دانستن وسط رشته هم میباشد، مستقل ازمتن غیرقطعی میباشد!
ممنون میشم کمکی بکنید]]> _ ارشد پارسال که دادم، سنجش زبان "An B2n An" را غیر مستقل ازمتن اعلام کرده! (A,B عضو الفبا. n توان)
مگه این رشته عضو w wR نیست؟!! به نظر من چون نیاز به دانستن وسط رشته هم میباشد، مستقل ازمتن غیرقطعی میباشد!
ممنون میشم کمکی بکنید]]> /forum/thread-29074.html Fri, 30 Jan 2015 15:51:42 +0000 /forum/thread-29074.html در حالت کلی اجتماع و اشتراک یک زبان جساس به متن با مستقل از متن یا منظم . مستقل از به متنه؟یا بستگی به دشبه هایی که تولید میشه داره؟

مثلا ایا اجتماع و اشتراک این دو زبان

[tex]L1=\{ww^Rww^R|\in(Sigma Sigma)^{\cdot}\}[/tex]

[tex]L2=\{w|w=xy,x,y\in(Sigma)^{\cdot}\}[/tex] وy زیر رشته ای ازx است.

[tex]L2\cup L1[/tex]

[tex]L2\cap L1[/tex]]]> در حالت کلی اجتماع و اشتراک یک زبان جساس به متن با مستقل از متن یا منظم . مستقل از به متنه؟یا بستگی به دشبه هایی که تولید میشه داره؟

مثلا ایا اجتماع و اشتراک این دو زبان

[tex]L1=\{ww^Rww^R|\in(Sigma Sigma)^{\cdot}\}[/tex]

[tex]L2=\{w|w=xy,x,y\in(Sigma)^{\cdot}\}[/tex] وy زیر رشته ای ازx است.

[tex]L2\cup L1[/tex]

[tex]L2\cap L1[/tex]]]> /forum/thread-29064.html Fri, 30 Jan 2015 11:27:36 +0000 /forum/thread-29064.html
1-آیا مجموعه زبانهای بازگشتی (R ) شمارا هستند؟
2-آیا مجموعه زبانهای بازگشتی فهرست پذیر(RE) شمارا هستند؟]]>
1-آیا مجموعه زبانهای بازگشتی (R ) شمارا هستند؟
2-آیا مجموعه زبانهای بازگشتی فهرست پذیر(RE) شمارا هستند؟]]> /forum/thread-29043.html Thu, 29 Jan 2015 12:09:40 +0000 /forum/thread-29043.html
پس چرا بنظر من منظمه خب طول w رو برابر ۳ میگیریم

]]>
پس چرا بنظر من منظمه خب طول w رو برابر ۳ میگیریم

]]> /forum/thread-29042.html Thu, 29 Jan 2015 12:07:55 +0000 /forum/thread-29042.html

]]>

]]> /forum/thread-29022.html Wed, 28 Jan 2015 15:16:10 +0000 /forum/thread-29022.html
چه روشی وجود داره که بفهمیم یک زبان از نوع خطی هست؟!]]>
چه روشی وجود داره که بفهمیم یک زبان از نوع خطی هست؟!]]> /forum/thread-28990.html Tue, 27 Jan 2015 09:16:52 +0000 /forum/thread-28990.html
[tex]L=\{a^mb^mc^n:0≤m≤n≤2m\}[/tex]]]>
[tex]L=\{a^mb^mc^n:0≤m≤n≤2m\}[/tex]]]> /forum/thread-28977.html Mon, 26 Jan 2015 23:02:10 +0000 /forum/thread-28977.html
خانواده زبانهای منظم تحت اشتراک نامتناهی بسته هستند؟(پارسه گفته بسته هستند ولی پوران گفته نه!)]]>
خانواده زبانهای منظم تحت اشتراک نامتناهی بسته هستند؟(پارسه گفته بسته هستند ولی پوران گفته نه!)]]> /forum/thread-28964.html Mon, 26 Jan 2015 14:19:51 +0000 /forum/thread-28964.html
درستی گزاره های زیر رو میخواستم:
1-اگر یک pda برای هرورودی کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.
2-اگر یک pda برای هرورودی بطول n کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.]]>
درستی گزاره های زیر رو میخواستم:
1-اگر یک pda برای هرورودی کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.
2-اگر یک pda برای هرورودی بطول n کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.]]> /forum/thread-28963.html Mon, 26 Jan 2015 14:09:47 +0000 /forum/thread-28963.html
اگر زبان L منظم و دارای [tex]\lambda[/tex] باشه آنگاه یک nfa با یک وضعیت نهایی وجود دارد که L را بپذیرد؟چرا؟

درحالی که میدانیم اگر زبان منظم فاقد [tex]\lambda[/tex] باشد چنین nfaای برای آن وجود دارد.]]>
اگر زبان L منظم و دارای [tex]\lambda[/tex] باشه آنگاه یک nfa با یک وضعیت نهایی وجود دارد که L را بپذیرد؟چرا؟

درحالی که میدانیم اگر زبان منظم فاقد [tex]\lambda[/tex] باشد چنین nfaای برای آن وجود دارد.]]> /forum/thread-28962.html Mon, 26 Jan 2015 14:04:18 +0000 /forum/thread-28962.html
1-آیا میتوان یک dfa که دارای چندین حالت نهایی هست رو به یک dfa که دارای یک حالت نهایی هست تبدیل کرد؟اگر بله چجوری؟
2-آیا dfa میتونه چندین حالت شروع داشته باشه؟
3-اگر جواب سوال2 بله هست،آیا میتوان یک dfa که دارای چندین حالت شروع هست رو به یک dfa که فقط یک حالت شروع دارد تبدیل کرد؟به چه شکل؟]]>
1-آیا میتوان یک dfa که دارای چندین حالت نهایی هست رو به یک dfa که دارای یک حالت نهایی هست تبدیل کرد؟اگر بله چجوری؟
2-آیا dfa میتونه چندین حالت شروع داشته باشه؟
3-اگر جواب سوال2 بله هست،آیا میتوان یک dfa که دارای چندین حالت شروع هست رو به یک dfa که فقط یک حالت شروع دارد تبدیل کرد؟به چه شکل؟]]> /forum/thread-28954.html Mon, 26 Jan 2015 08:25:54 +0000 /forum/thread-28954.html (در صورتی که میدونیم [tex]L=\{ww^R:w\in(b^{ } a^{ })^{\ast}\}[/tex] قطعی نیستش.)]]> (در صورتی که میدونیم [tex]L=\{ww^R:w\in(b^{ } a^{ })^{\ast}\}[/tex] قطعی نیستش.)]]> /forum/thread-28924.html Sat, 24 Jan 2015 18:31:58 +0000 /forum/thread-28924.html
[tex]L=\{w\: v\: w^R:v,w\in\{a,b\}^ \}[/tex]]]>
[tex]L=\{w\: v\: w^R:v,w\in\{a,b\}^ \}[/tex]]]> /forum/thread-28897.html Fri, 23 Jan 2015 19:45:44 +0000 /forum/thread-28897.html ببخشید چ نوع مسائلی تصمیم پذیرند؟؟یعنی چی؟
]]> ببخشید چ نوع مسائلی تصمیم پذیرند؟؟یعنی چی؟
]]> /forum/thread-28895.html Fri, 23 Jan 2015 19:43:47 +0000 /forum/thread-28895.html ]]> ]]> /forum/thread-28894.html Fri, 23 Jan 2015 19:41:17 +0000 /forum/thread-28894.html ببخشید من ویژگی های زبان مستقل از متن قطعی رو نمیدونم ... کتاب پوران هم گفته مراجعه شود به کتاب مرجع!
بسته بودن یعنی چه؟
بیزحمت به ترتیب توضیح دهید:
]]> ببخشید من ویژگی های زبان مستقل از متن قطعی رو نمیدونم ... کتاب پوران هم گفته مراجعه شود به کتاب مرجع!
بسته بودن یعنی چه؟
بیزحمت به ترتیب توضیح دهید:
]]> /forum/thread-28870.html Thu, 22 Jan 2015 23:55:19 +0000 /forum/thread-28870.html دوستان میشه راهنمایی کنین چجوری باید تشخیص بدم که گزینه 1 و 2 عبارت منظم مورد نظر نیس من که هرجور فک میکنم هست!
یعنی در واقع نمیدونم چجوری یه مثال نقض برای یک و دو پیدا کنم.
ممنون میشم راهنمایی کنین.
]]> دوستان میشه راهنمایی کنین چجوری باید تشخیص بدم که گزینه 1 و 2 عبارت منظم مورد نظر نیس من که هرجور فک میکنم هست!
یعنی در واقع نمیدونم چجوری یه مثال نقض برای یک و دو پیدا کنم.
ممنون میشم راهنمایی کنین.
]]> /forum/thread-28867.html Thu, 22 Jan 2015 22:02:41 +0000 /forum/thread-28867.html آیا این تعریف برای زبانی که توسط یک nfa پذیرفته نمیشود(مکمل L(m) ) قابل قبوله؟
تا جایی که یادمه دکترکارگهی گفته بودن اشتباهه ولی پوران میگه درسته!


[tex]L(M)'=\{w:w\epsilon Sigma^{\ast},\delta^{\ast}(q_0,w)\cap(Q-F)\ne\varnothing\}[/tex]]]> آیا این تعریف برای زبانی که توسط یک nfa پذیرفته نمیشود(مکمل L(m) ) قابل قبوله؟
تا جایی که یادمه دکترکارگهی گفته بودن اشتباهه ولی پوران میگه درسته!


[tex]L(M)'=\{w:w\epsilon Sigma^{\ast},\delta^{\ast}(q_0,w)\cap(Q-F)\ne\varnothing\}[/tex]]]>