1 janv. 1936 - Машина Тьюринга (МТ)
Description:
Абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма.
Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча — Тьюринга, способна имитировать всех исполнителей (с помощью задания правил перехода), каким-либо образом реализующих процесс пошагового вычисления, в котором каждый шаг вычисления достаточно элементарен.
То есть, всякий интуитивный алгоритм может быть реализован с помощью некоторой машины Тьюринга.
Ajouté au bande de temps:
Date: