Macchina di Turing e Teorema di Cook-Levin

Scorciatoie: Differenze, Analogie, Jaccard somiglianza Coefficiente, Riferimenti.

Differenza tra Macchina di Turing e Teorema di Cook-Levin

Macchina di Turing vs. Teorema di Cook-Levin

In informatica, una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite. Nella teoria della complessità algoritmica, il teorema di Cook-Levin, dimostrato da Stephen Cook nel suo articolo "Complessità delle Procedure di Dimostrazione dei Teoremi" ("The Complexity of Theorem Proving Procedures") del 1971, afferma che il problema di soddisfacibilità booleana è NP-completo.

Analogie tra Macchina di Turing e Teorema di Cook-Levin

Macchina di Turing e Teorema di Cook-Levin hanno 1 cosa in comune (in Unionpedia): Turing equivalenza.

Turing equivalenza

La Turing equivalenza è la proprietà dei modelli di calcolo che hanno lo stesso potere computazionale di una macchina di Turing universale (MdTu).

Macchina di Turing e Turing equivalenza · Teorema di Cook-Levin e Turing equivalenza · Mostra di più »

La lista di cui sopra risponde alle seguenti domande

In quello che appare come Macchina di Turing e Teorema di Cook-Levin
Che cosa ha in comune Macchina di Turing e Teorema di Cook-Levin
Analogie tra Macchina di Turing e Teorema di Cook-Levin

Confronto tra Macchina di Turing e Teorema di Cook-Levin

Macchina di Turing ha 93 relazioni, mentre Teorema di Cook-Levin ha 12. Come hanno in comune 1, l'indice di Jaccard è 0.95% = 1 / (93 + 12).

Riferimenti

Questo articolo mostra la relazione tra Macchina di Turing e Teorema di Cook-Levin. Per accedere a ogni articolo dal quale è stato estratto informazioni, visitare:

Unionpedia è una mappa concettuale o rete semantica organizzata come un'enciclopedia o un dizionario. Esso fornisce una breve definizione di ogni concetto e le sue relazioni.

Si tratta di una mappa mentale in linea gigante che serve come base per gli schemi concettuali, immagini o sintesi sinaptica. E 'gratuito - liberi, liberi di usare e ogni elemento o documento può essere scaricato. E 'uno strumento, risorsa o di riferimento per lo studio, la ricerca, l'istruzione, la formazione o istruzione che gli insegnanti possono utilizzare, insegnanti, professori, educatori, alunni e studenti; o la scuola per il mondo accademico, a scuola, primaria, secondaria, di mezzo, università, laurea tecnica, college, università, laurea, master o dottorati; per documenti, relazioni, documenti, progetti, idee, documentazione, riassunti, sondaggi o tesi. Ecco la definizione, spiegazione, descrizione, o il significato di ogni significativo su cui avete bisogno di informazioni, e una lista o un elenco di concetti correlati come appare un glossario. Disponibile in italiano, inglese, spagnolo, portoghese, giapponese, cinese, francese, tedesco, polacco, olandese, russo, arabo, hindi, svedese, ucraino, ungherese, catalano, ceco, ebraico, danese, finlandese, indonesiano, norvegese, rumeno, turco, vietnamita, coreano, tailandese, greco, bulgaro, croato, slovacca, lituano, filippina, lettone, estone e sloveno. Altre lingue presto.

Le informazioni si basano su articoli di Wikipedia e altri progetti Wikimedia, e sono disponibili sotto la Licenza Creative Commons Attribuzione-Condividi allo stesso modo.

Unionpedia non è supportata o affiliata alla Wikimedia Foundation.

Google Play, Android e il logo di Google Play sono marchi di Google Inc.

Politica sulla riservatezza

In altre lingue