ماشین تورینگ: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
Yamaha5Bot (بحث | مشارکت‌ها) جز تمیزکاری زیربخش‌ها، + ماژول اصلاح زیربخش با استفاده از AWB |
جز ربات ردهٔ همسنگ (۳۰) +مرتب (۱۴.۹ core): + رده:علوم رایانه در ۱۹۳۶ (میلادی) |
||
خط ۲:
{{تورینگ}}
[[پرونده:Maquina.png|بندانگشتی|300px|نمایش هنری یک ماشین تورینگ]]
'''ماشین تورینگ''' {{انگلیسی|Turing machine}} یک دستگاه فرضی است که روی نشان‌های روی یک قطعه نوار بر اساس جدول قوانین دست‌کاری انجام می‌دهد. با وجود اینکه مکانیزم ماشین تورینگ مقدماتی است، مفهومش برای پوشش عملکردهای بسیار پیچیده کافی و گسترده‌است. ماشین تورینگ می‌تواند برای شبیه‌سازی هر [[الگوریتم]] [[کامپیوتر
== تاریخچه ==
زمینه‌های تاریخی:ماشین محاسباتی
معرفی ماشین تورینگ توسط دانشمند [[انگلیس
آنالیز گندی در مورد ماشین تحلیلی بابیج پنج عملیات زیر را توضیح می‌دهد:
خط ۲۶:
* <math>Q \!</math> [[مجموعه (ریاضی)|مجموعه‌ای]] است متناهی، از حالات داخلی.<ref>Internal States</ref>
* <math>\Gamma \!</math> مجموعه‌ای متناهی موسوم به الفبای نوار<ref>Tape alphabet</ref> و حاوی نمادی مخصوص <math>B \!</math> برای نمایش یک فاصلهٔ خالی روی نوار ماشین است.
* <math>\Sigma \!</math> [[زیرمجموعه
* <math>\delta \!</math> عبارت است از یک تابع جزئی،<ref>Partial function</ref> موسوم به تابع انتقال<ref>Transition function</ref> از دامنهٔ <math> Q \times \Gamma \!</math> به برد <math>Q \times \Gamma \times \{L, R\} \!</math>.
* <math>q_0 \!</math> حالت شروع نام دارد، یعنی، حالتی از ماشین است که محاسبه را درآن آغاز می‌کنیم.
خط ۱۲۳:
[[رده:روش‌های صوری]]
[[رده:زبان‌های صوری]]
[[رده:علوم رایانه در ۱۹۳۶ (میلادی)]]
[[رده:علوم رایانه در ۱۹۳۷ (میلادی)]]
[[رده:علوم نظری رایانه]]
| |||