Машина Тьюринга

• Машина Тьюринга – абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году. 
• Машина Тьюринга состоит из ленты, головки и конечного автомата, который управляет выполнением инструкций. 
• Модель машины Тьюринга позволяет описать любые вычислимые функции. 
• В контексте машин Тьюринга “состояние” может означать две вещи: текущую команду и текущее состояние системы в целом. 
• Машина Тьюринга эквивалентна автомату pushdown с одним стеком и двухкомпонентному КПК со стандартной семантикой LIFO. 
• Некоторые простые модели оказываются эквивалентными по Тьюрингу, обладая той же вычислительной мощностью. 
• Актуальный вопрос заключается в том, являются ли вычислительные модели, представленные конкретными языками программирования, эквивалентными по Тьюрингу. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.