تالار گفتمان مانشت

باسلام
ببخشید چ نوع مسائلی تصمیم پذیرند؟؟یعنی چی؟

زبان هایی که با یک الگوریتم و در واقع با استفاده از ماشین تورینگ بتوان به جواب رسید و در حلقه بینهایت گیر نکنیم، تصمیم پذیره یعنی آخرش یه جواب آره یا نه ، بهمون بده.
گزینه یک رو نمی فهمم یعنی چی!!
گزینه سه غلطه چون ماشین تورینگ اگه بازگشتی باشه، روی هر رشته متوقف میشه.
گزینه دو درسته چون برای زبان های بازگشتی مسئله عضویت تصمیم پذیره،
گزینه چهار به نظر غلط نمیاد ولی حتما غلطه دیگه!

(04 بهمن 1393 12:23 ق.ظ)ana9940 نوشته شده توسط: [ -> ]زبان هایی که با یک الگوریتم و در واقع با استفاده از ماشین تورینگ بتوان به جواب رسید و در حلقه بینهایت گیر نکنیم، تصمیم پذیره یعنی آخرش یه جواب آره یا نه ، بهمون بده.
گزینه یک رو نمی فهمم یعنی چی!!
گزینه سه غلطه چون ماشین تورینگ اگه بازگشتی باشه، روی هر رشته متوقف میشه.
گزینه دو درسته چون برای زبان های بازگشتی مسئله عضویت تصمیم پذیره،
گزینه چهار به نظر غلط نمیاد ولی حتما غلطه دیگه!

گزینه 4 به این دلیل غلطه که مثلا ریشته ی معادله ی [tex]3x-1=0[/tex] میشه 1.3333333333333 که محاسبه ش تمومی نداره پس تو لوپ بی نهایت می افته