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