Однозначная машина Тьюринга - Википедия - Unambiguous Turing machine

Машины Тьюринга
Машина
Эквиваленты машины Тьюринга Примеры машины Тьюринга Галерея машин Тьюринга
Варианты
Переменная машина Тьюринга Дифференцируемый нейронный компьютер Недетерминированная машина Тьюринга Квантовая машина Тьюринга Машина Пост-Тьюринга Вероятностная машина Тьюринга Машина Тьюринга только для чтения Право движущиеся машины Тьюринга только для чтения Многолента машина Тьюринга Многодорожечная машина Тьюринга Симметричная машина Тьюринга Общая машина Тьюринга Однозначная машина Тьюринга Универсальная машина Тьюринга Зенон машина
Наука
Алан Тьюринг Категория: машина Тьюринга

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

Формальное определение

А недетерминированная машина Тьюринга представлен формально 6-кратный, ${ Displaystyle M = (Q, Sigma, iota, sqcup, A, delta)}$, как объяснено на странице недетерминированная машина Тьюринга.An однозначная машина Тьюринга - недетерминированная машина Тьюринга такая, что для всех входных ш = а₁а₂ ... а_п, существует не более одной последовательности конфигураций c₀,c₁, ..., c_м со следующими условиями:

1. c₀ это начальная конфигурация с вводом ш
2. c_я+1 является преемником c_я и
3. c_м это принимающая конфигурация.

Другими словами, если ш принимается M, есть ровно одно принимающее вычисление.

Выразительность

(Детерминированная) машина Тьюринга - это однозначная машина Тьюринга. Действительно, для каждого входа возможно ровно одно вычисление.

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

С другой стороны, однозначное недетерминированное полиномиальное время считается менее выразительным, чем недетерминированное полиномиальное время.

Рекомендации

Лейн А. Хемаспандра и Йорг Роте, Однозначные вычисления: булевы иерархии и разреженные полные множества по Тьюрингу, SIAM J. Comput., 26 (3), 634–653