Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Automa a stati finiti e Tesi di Church-Turing

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

Differenza tra Automa a stati finiti e Tesi di Church-Turing

Automa a stati finiti vs. Tesi di Church-Turing

Un automa a stati finiti (ASF o FSA, dall'inglese Finite State Automata) o macchina a stati finiti (FSM dall'inglese Finite State Machine) è un tipo di automa che permette di descrivere con precisione e in maniera formale il comportamento di molti sistemi. Nella teoria della calcolabilità la tesi di Church-Turing è un'ipotesi che afferma: "se un problema è umanamente calcolabile, allora esisterà una macchina di Turing (o un dispositivo equivalente, come il computer) in grado di risolverlo (cioè di calcolarlo)." Più formalmente possiamo dire che la classe delle funzioni calcolabili coincide con quella delle funzioni calcolabili da una macchina di Turing.

Analogie tra Automa a stati finiti e Tesi di Church-Turing

Automa a stati finiti e Tesi di Church-Turing hanno 1 cosa in comune (in Unionpedia): Macchina di Turing.

Macchina di Turing

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.

Automa a stati finiti e Macchina di Turing · Macchina di Turing e Tesi di Church-Turing · Mostra di più »

La lista di cui sopra risponde alle seguenti domande

Confronto tra Automa a stati finiti e Tesi di Church-Turing

Automa a stati finiti ha 19 relazioni, mentre Tesi di Church-Turing ha 30. Come hanno in comune 1, l'indice di Jaccard è 2.04% = 1 / (19 + 30).

Riferimenti

Questo articolo mostra la relazione tra Automa a stati finiti e Tesi di Church-Turing. Per accedere a ogni articolo dal quale è stato estratto informazioni, visitare:

Ehi! Siamo su Facebook ora! »