Визначення машини Тьюрінга

Коли світ рухався до нового глобального спалаху, в 1930-х рр. Наука про обчислювальної техніки Він також просувався вперед, керуючись у багатьох випадках підготовкою до військових зусиль, які деякі вже передбачали.

Саме в цьому контексті британський математик Алан Тьюрінг (апостеріорі вважається одним із батьків обчислювальної техніки сучасний) розробляє свою роботу і, в 1936 р., постулює, що буде основою комп'ютер сучасний.

Виклик Машина Тьюрінга Це теоретичний пристрій, здатний обробляти дані відповідно до заданих правил.

І правила, і дані є окремими; насправді, Тьюрінг уявляв, що правила зберігатимуться на якомусь фіксованому носії, тоді як дані будуть зберігатися на стрічках, які та сама машина може модифікувати відповідно до таблиці правила.

У цій концептуальній моделі ми чітко бачимо випередження того, якими будуть сучасні комп’ютери: навіть якщо рівень має рівень Ім'я користувача просто, ви можете легко побачити різницю між додаток "Незмінні" (з нюансами, але в даному випадку давайте візьмемо це так) і дані, які можна змінити, дотримуючись правил, якими

Хоча теоретична машина Тьюрінга надзвичайно проста, виконуючи лише дуже основні операції, такі як зміна стану, читання та письмо, він здатний проводити всі математичні обчислення, які механічний комп'ютер може виконати за допомогою алгоритм.

Іншими словами, якщо проблему можна виразити через алгоритм У письмовій формі це може бути оброблено - принаймні на теоретичному рівні - машиною Тьюрінга.

Алан Тьюрінг задумав це як вправу, щоб показати, що існують математичні проблеми, які комп’ютери не можуть вирішити.

Стрічка даних, яку Тьюрінг задумав як нескінченну, може рухатися машиною справа наліво і зліва направо, як стара касета або плівка, яку можна перемотати або пересунути розсуд.

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

Оглянувшись назад, інші математики зробили більш досконалі версії машини Тьюрінга.

Таким чином, існують машини з двома смугами, детерміністи або навіть квантова машина Тьюрінга, яка може допомога, як це зробив її прославлений предок, заклала основи довгоочікуваного обчислення квантовий.

Photo Fotolia: Chrisdorney / Steve Simmons