В 1936 году англичанин Алан Тьюринг и американец Алонзо Черч, оба — математики, официально предложили алгоритм, описывающий способ числовой обработки информации, и представили модель развития компьютерной технологии. Тезис, известный под названием тезиса Черча-Тьюринга, по существу, утверждает, что если функция поддается вычислению, то ее можно вычислить с помощью компьютера. Теория обращается к основным свойствам вычислительных устройств, таких как электронные компьютеры, и утверждает, что любое...

Машина Тьюринга – это теоретическая модель вычислений, предложенная Аланом Тьюрингом в 1936 году. Она представляет собой абстрактное устройство, состоящее из: 1. Бесконечной ленты: Лента разделена на ячейки, каждая из которых содержит один символ из конечного алфавита. Лента может быть как бесконечной вправо, так и вправо и влево, но важно, чтобы она была бесконечной в каком-то направлении. 2. Головки чтения/записи: Головка может двигаться по ленте влево или вправо, читать символ в текущей ячейке, записывать в неё другой символ и изменять своё состояние...