border=0

Технологія »Машина Тьюринга

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


Коли світ рухався до нового глобального пожежі, в десятиліття 30-х років ХХ століття наука про інформаційні технології також просувалася, керуючись у багатьох випадках підготовкою до військових зусиль, які деякі вже очікували, що вони прийдуть.


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

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

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


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


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

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

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

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

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

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

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

Фото Fotolia: Крісдорні / Стів Сіммонс

Автор: Guillem Alsina González | + QUOTE
Теми в машині Тьюринга

Соціальні мережі