در مورد  ماشين تورينگ

 

فهرست مطالب

تعريف ماشين تورينگ و مقايسه آن با ماشينهای واقعی 2

مقدمه 2

1. مقايسه با ماشينهاي واقعي 3

روشهاي مختلفي براي پاسخ به آن وجود دارد 3

2.يک تعريف از ماشين تورينگ 6

1-2. معني رسمی 7

آزمون تورینگ 8

بررسي آزمون تورينگ در فلسفه ذهن 10

نگاهي به رياضيات ماشين تورينگ 11

هوش مصنوعي 12

آزمون تورينگ 13

انتقادات از كاركردگرايي 13

رهيافت نو 15

آلن تورینگ 16

کودکی و جوانی 16

دانشگاه و کار وی در شمارش پذیری 18

تجزیه وتحلیل رمز 19

بامب تورینگ-ولچمن 20

هات ۸ وانیگمای نیروی دریایی 21

کامپیوترهای اولیه و آزمایش تورینگ 23

فرم الگو و زیست شناسی ریاضیاتی 24

مرگ 24

قدردانی پس از مرگ 25

 

تعريف ماشين تورينگ ومقايسه آن با ماشينهای واقعی

مقدمه

هر ماشين تورينگ يک تابع ثابت  قابل محاسبه معين را از روي رشته ورودي الفبايش محاسبه مي کند. از اين جهت مانند يک کامپيوتر با يک برنامه ثابت رفتار مي کند. بهر حال ما قادريم که جدول عمليات  هر ماشين تورينگي را در يک رشته کدگذاري کنيم. بنابراين مي توانيم يک ماشين تورينگ را که درانتظار يک رشته شرح دهنده ي جدول عمليات و بدنبالش يک رشته شرح دهنده نوار ورودي است را ايجاد کنيم , تا  نواري که ماشين تورينگ کدشده محاسبه مي کند را محاسبه نمايد بعبارت ديگر جدول عمليات يک ماشين تورينگ  را به صورت يک  رشته ورودي به يک ماشين تورينگ  ديگر داده ايم تا محاسباتي که ماشين اول مي بايست انجام مي داد را ماشين مقصد انجام دهد. آقاي تورينگ چنين ساختاري را با جزئيات بيشتر در مقاله اي در سال 1936 شرح داد.

در 1937اولين بارماشين تورينگ توسط آلن تورينگ توصيف شد.ماشين تورينگ ابزارمحاسبه اي ساده اي است که قصددارند به  توسعه ومحدود کردن چيزهاي که محا سبه مي شوند رسيدگي کند.

وي چنين اظهار نمود

مي توان نشان داد که يک ماشين خاص منفرد از اين نوع را مي توان ساخت که بتواند کار همه ماشينها را انجام دهد.در حقيقت مي توان چنين ماشيني ساخت تا به صورت يک مدل براي هر ماشين ديگري کار کند.

اين گفته ,شايد , اولين نظريه مقدماتي  براي سيستم عامل باشد؛ يک برنامه براي اجراي کنترل شده برنامه هاي ديگر. او همچنين نشان داد که چنين ماشيني وجود دارد و اينرا که مي توان بصورت عملي چنين مدلي داشت را براي اذهان قابل قبول کرد.

با کدکردن جداول عملياتي به صورت رشته هاي ورودي , بعنوان يک اصل براي ماشينهاي تورينگ  ممکن شد که به سوالاتي درباره رفتار ماشينهاي تورينگ ديگر پاسخ دهند. بسياري از اين پرسشها تصميم ناپذيرند, بدين معني که تابع مورد سوال به صورت مکانيکي قابل محاسبه نيست. بعنوان مثال , مسئله  اينکه " آيا  يک ماشين تورينگ مشخص  براي يک ورودي خاص  , يا براي همه وروديها توقف خواهد نمود؟"  _که با عنوان" مسئله توقف مشهور است _ در مقاله اصلي تورينگ نشان داده شده که بطور کلي اين مسئله تصميم ناپذير است . قضيه Rice   نشان مي دهد که هر سوال غير بديهي در باره رفتار يا خروجي يک ماشين تورينگ، تصميم ناپذير است .

 

1. مقايسه با ماشينهاي واقعي

اغلب گفته مي شود که ماشينهاي تورينگ برخلاف ديگر آتاماتاهاي ساده تر  توان و قدرت ماشينهاي واقعي را داراست , وقادر است که هر عملياتي که يک ماشين واقعي مي تواند اجرا کند را اجرا نمايد.چيزي که در اين جمله به آن توجه نشده آن است که تقريبا هر برنامه خاصي که بر روي يک ماشين خاص در حال اجراست در واقع هيچ چيزي نيست مگر يک  خودکارسازي محدود قطعي چراکه  ماشيني که آنرا اجرا مي کند فقط مي تواند بصورت محدود در پيکربندي هاي زيادي قرار بگيرد . ماشينهاي تورينگ درواقع با ماشيني که داراي مقدار فضاي ذخيره سازي نا محدودي است معادلند .ممکن است بپرسيم که چرا ماشينهاي تورينگ مدلهاي مفيدي براي کامپيوتر هاي واقعي هستند؟

 

روشهاي مختلفي براي پاسخ به آن وجود دارد

1-  هر چيزي که يک کامپيوتر واقعي قادر به محاسبه آن است , ماشين تورينگ نيز قادر به آن است , بنابراين هر جمله اي درباره محدوديتهاي ماشين تورينگ  بر کامپيوتر هاي واقعي نيز اعمال خواهد شد.

 

--