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

Когда мир приближался к новому глобальному пожару, в 1930-х годах, наука вычисление Он также продвигался, руководствуясь во многих случаях подготовкой к войне, которую некоторые уже ожидали.

Именно в этом контексте британский математик Алан Тьюринг (апостериори считающийся одним из отцов вычисление современный) развивает свою работу и в 1936 г. постулирует, что станет основой компьютер современный.

Звонок Машина Тьюринга Это теоретическое устройство, способное обрабатывать данные в соответствии с заданными правилами.

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

Мы ясно видим в этой концептуальной модели шаг вперед по сравнению с современными компьютерами: даже если у них есть уровень Имя пользователя просто, вы можете легко увидеть разницу между приложение

«Неизменяемые» (с нюансами, но в данном случае давайте так рассмотрим) и данные, которые могут быть изменены по правилам, которые были бы программирование.

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

Другими словами, если проблема может быть выражена через алгоритм В письменной форме это могло быть обработано - по крайней мере, на теоретическом уровне - машиной Тьюринга.

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

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

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

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

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

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

Темы в машине Тьюринга