Macchina di Turing

La macchina di Turing in oggetto è un meccanismo, formale, ma potenzialmente realizzabile concretamente, che costituisce un modello di calcolo; è retta da regole elementari di natura molto semplice. Ha potere computazionale massimo, ed è equivalente a ogni altro modello di calcolo molto più complesso.

Di conseguenza si è consolidata la convinzione, accettata e attualmente non dimostrabile, che per ogni problema calcolabile ne esista una in grado di risolverlo (congettura di Church-Turing).

Ti potrebbero anche interessare:

Nuovo Algoritmo di Google che vede oggetti nei video e nelle immagini

Google si fa gli occhi.

Si chiama Automatic Large Scale Video Object Recognition (Riconoscimento automatico su larga scala di oggetti video) il nuovissimo algoritmo gia brevettato da Google che avrebbe l'incredibile capacità di poter leggere direttamente nei video e nelle immagini.

Blog: 

Sezione Hosting per Drupal!

E' attualmente in sviluppo una sezione del sito interamente dedicata agli hosting per drupal, quindi hosting linux configurati e pensati appositamente per sfruttare al massimo delle risorse il nostro caro cms. La sezione sarà arricchita da classifiche, comparazioni e caratteristiche vincenti e non di ogni singolo provider e relativa offerta.
Blog: