Определение на машината на Тюринг

Когато светът се насочва към нов глобален пожар, през 30-те години, науката за изчислителна техника Той също напредваше, воден в много случаи от подготовката за военните усилия, които някои вече очакваха да пристигнат.

В този контекст британският математик Алън Тюринг (a posteriori счита за един от бащите на изчислителна техника модерни) развива работата си и през 1936 г. постулира какви ще бъдат основите на компютър модерен.

Повикването Машина на Тюринг Това е теоретично устройство, способно да обработва данни съгласно дадени правила.

Както правилата, така и данните са отделни; всъщност Тюринг си представяше, че правилата ще се съхраняват на някакъв фиксиран носител, докато данните ще се съхраняват на ленти, които същата машина може да модифицира според таблицата на правила.

Ние ясно виждаме в този концептуален модел напредък в това, което ще бъдат съвременните компютри: дори ако някой има ниво на Потребителско име просто, лесно можете да видите разликата между

ап "Неизменим" (с нюанси, но в този случай нека го вземем по този начин) и данните, които могат да бъдат променяни следвайки правилата, които биха били програмиране.

Въпреки че теоретичната машина на Тюринг е ужасно проста, изпълнявайки само много основни операции като промяна на състоянието, четене и писане, той е в състояние да извърши всички математически изчисления, които механичен компютър може да извърши с помощта на алгоритъм.

С други думи, ако проблемът може да бъде изразен чрез a алгоритъм В писмен вид тя може да бъде обработена - поне на теоретично ниво - от машина на Тюринг.

Алън Тюринг го замисли като упражнение, за да покаже, че има математически проблеми, които компютрите не могат да решат.

Лентата с данни, която Тюринг е замислил като безкрайна, може да се премества от машината отдясно наляво и отляво надясно, като стара касета или филмова лента, която може да се пренавие или да се премине към нея дискретност.

Наборът от правила може да се разбира и като език за програмиране, тъй като трябва да има синтаксис логика и последователен.

Погледнато назад, други математици са направили по-сложни версии на машината на Тюринг.

По този начин има машини с две ленти, детерминисти или дори квантова машина на Тюринг, които могат Помощта, както и нейният прославен предшественик, поставя основите на дългоочакваното изчисление квантов.

Photo Fotolia: Крисдорни / Стив Симънс

Теми в машината на Тюринг