Vizualizare sursă pentru „Mașina Turing nedeterministă”

{{referințe}}
Spre deosebire de o [[mașină Turing]] [[mașină Turing deterministă|deterministă]], tranziția <math>\delta</math> unei '''mașini Turing nedeterministe''' este o '''relație''' între mulțimile <math> \scriptstyle Q\times\Gamma</math> și <math>\scriptstyle Q\times\Gamma\times\{L, R\}</math> iar nu o funcție.

O relație între elemente ale unei mulțimi <math>A</math> și elemente ale unei mulțimi <math>\scriptstyle B</math> se definiște ca o submulțime a produsului cartezian <math>\scriptstyle A\times B</math>. Asfel, un element <math>\scriptstyle a\in A</math> poate fi pus în relație cu mai multe elemente din mulțimea <math>\scriptstyle B</math>. O funcție definită pe mulțimea <math>\scriptstyle A</math> cu valori in mulțimea <math>\scriptstyle B</math> este o relație cu constrângerea ca fiecare element din <math>\scriptstyle A</math> să fie pus in corespondență cu exact un singur element din <math>\scriptstyle B</math>.

Formal, <math>\scriptstyle \delta \subseteq (Q \times \Gamma) \times (Q \times \Gamma \times \{L, R\})</math> în cazul mașinilor nedeterministe și <math>\scriptstyle \delta : Q \times \Gamma \rightarrow Q \times \Gamma \times \{L, R\}</math> în cazul mașinilor Turing deterministe.

Astfel, în cazul mașinilor Turing nedeterministe, unei stări interne curente și unui simbol curent pe bandă le pot corespunde mai multe stări interne alternative distincte imediat următoare. Mașina Turing nedeterministă efectuază, în mod nedeterminist, oricare dintre mai multele tranziții posibile pentru starea curentă și simbolul aflat pe bandă sub capul de citire. Astfel, există mai multe căi de execuție posibile, adică secvențe de tranziții de stare, deplasări de cap de citire și scrieri de simboluri pe bandă, pentru aceleași date de intrare.

Spunem că mașina nedeterministă se oprește, sau „acceptă” datele de intrare, dacă există cel puțin o secvență de execuție care duce din starea inițială la o stare acceptoare.

Tot așa cum o funcție este un caz particular de relație, o mașină deterministă este un caz particular de mașină nedeterministă. Astfel, mulțimea tuturor mașinilor Turing deterministe este o submulțime a mulțimii tuturor mașinilor Turing nedeterministe. Cu toate acestea, mașinile Turing nedeterministe nu au o „putere computațională” mai mare decât mașinile Turing deterministe. Adică nu există limbaje care să fie acceptate de o mașină nedeterministă și să nu se poată specifica o mașină deterministă care să accepte același limbaj. Aceasta se intâmplă pentru că orice mașină nedeterministă poate fi simulată de o mașină deterministă. Chiar dacă o mașină nedeterministă poate efectua una din mai multele tranziții disponibile pentru o pereche <math>\scriptstyle (q, a)\in(Q\times\Gamma)</math>, numărul alternativelor în fiecare pas al execuției este finit pentru că mulțimile <math>\scriptstyle Q</math>, <math>\scriptstyle \Gamma</math> și implicit <math>\scriptstyle Q\times\Gamma</math> sunt finite. (Faptul că alternativele de execuție sunt finite permite și o ordonare a lor, astfel încât putem vorbi de prima, a doua, ș.a.m.d. cale de execuție.) Astfel, o mașină deterministă ar putea simula una nedeterministă aplicând o strategie de backtracking depth-first. Pentru că mașina deterministă revine la stări interne parcurse deja pentru ca să repornească din ele pe noi căi sugerează că execuția mașinii deterministe ia mai mult timp decât execuția mașinii nedeterministe echivalente pentru aceleași date de intrare.

O clasă specială de mașini Turing nedeterministe au timpul de execuție limitat superior de un polinom a cărui variabilă este dimensiunea datelor de intrare. Acestea aparțin [[clasă de complexitate|clasei de complexitate]] [[NP (teoria complexității)|NP]]. Întrebarea dacă există întotdeauna o mașină Turing deterministă echivalentă care să se execute și ea în timp polinomial nu a putut fi încă răspunsă.

==Note==
<!-- Vedeți http://ro.wikipedia.org/wiki/Wikipedia:Citarea_surselor -->

== Vezi și ==
<!-- Adăugați legături spre alte pagini care tratează subiecte conexe-->
*[[Mașina Turing]]
*[[Mașină Turing deterministă]]
*[[NP (teoria complexității)]]
==Legături externe==
<!-- Introduceți mai jos legături externe spre pagini referitoare la același subiect -->

<!-- Introduceți categoriile din care face parte articolul. Pentru mai multe detalii vedeți http://ro.wikipedia.org/wiki/Wikipedia:Categorizare -->
<!-- Exemplu: articolul Autostradă face parte din [[Categorie:Autostrăzi]]. -->
[[Categorie:Teoria complexității]], [[Categorie:Informatică]]
<!-- Alte limbi -->