Risultati della ricerca

{{U|Teoria della calcolabilità|matematica|marzo 2015}} La '''teoria della computabilità effettiva''' si occupa della esistenza o meno di [[algoritmo|algoritmi]] risolutivi di problemi. Fra i s ...

* [[Problema della terminazione]] [[Categoria:Teoria della computazione]] ...

...ath> è un problema su un alfabeto <math>A</math> allora esso è un problema della classe <math>coNP</math> se e solo se <math>A^* \backslash S = S^c</math> è ...l loro corso; ossia per avere la certezza che <math>w \in S</math> nessuna computazione si dovrebbe arrestare mentre se <math>w \not\in S</math> allora almeno una ...

...ta nel [[1936]] dal matematico [[Alan Turing]], insieme alla dimostrazione della sua [[Decidibilità|indecidibilità]]. ...ina di Turing T che decide L_H e che per un qualsiasi input x la computazione T(x) va ...

...e calcolabile|calcolabile]] a prescindere dal fatto che sia anche [[teoria della complessità computazionale|trattabile]], cioè a prescindere dalla quantità ...ismo delle funzioni parziali ricorsive ha la stessa espressività di quello della [[macchina di Turing]]. La dimostrazione si basa sull'implementazione di un ...

In [[teoria della ricorsione]], il '''teorema <math>S_{n}^{m}</math>''' è un risultato di bas Si dividono le variabili della funzione in due blocchi dove il primo rimane variabile e il secondo costant ...

...ioni calcolabili, ma che non può essere utilizzato per ottenere il teorema della forma normale di Kleene.</ref> ...pplicata ''f''. Il terzo argomento fornisce una sequenza ''x'' di passi di computazione che simulano la valutazione di ''f'' su ''i'' (come una catena di equazioni ...

...à)|NP]]'''. Più formalmente, '''#P''' è la classe dei problemi di funzione della forma "computa ''&fnof;''(''x'')", dove ''&fnof;'' è il numero di percorsi ...sottoinsiemi di una lista di interi che danno come somma zero? ([[problema della somma di sottoinsiemi]]) ...

...n una probabilità di errore minore o uguale a 1/3. È l'analogo quantistico della classe [[BPP (complessità)|BPP]]. ==Computazione quantistica== ...

...ortogonale|ortogonale]], [[Matrice simmetrica|simmetrica]], [[Involuzione (teoria degli insiemi)|involutiva]] su 2m [[Numero reale|numeri reali]] (o [[Numero == Applicazioni in computazione quantistica == ...

Nella [[teoria della complessità algoritmica]], il '''teorema di Cook-Levin''', dimostrato da [[ Usiamo una tabella per codificare tutti gli stati di un ramo di una computazione di una macchina non deterministica. Quindi l'alfabeto dei simboli che compa ...

<!-- Questa pagina è essenziale alla comprensione della pagina Bisimulazione, se si vuole cancellarla riportare le informazioni qui ...sizione di stati''' è una [[macchina astratta]] usata nella [[teoria della computazione]]. In letteratura viene indicato con LTS dal nome inglese Labelled Transiti ...

* [[Teoria della calcolabilità]] [[Categoria:Teoria della computazione]] ...

Nella [[Teoria della complessità algoritmica|teoria della complessità]] i problemi '''NC''' sono i problemi efficientemente paralleli ...C è necessario introdurre un opportuno criterio di misura del costo di una computazione o equivalentemente di un [[algoritmo]] o problema. Come è noto ogni problem ...

...Turing]] deterministica usando una quantità [[polinomiale]] di [[tempo di computazione]], o [[tempo polinomiale]]. ...

...ej Andreevič Markov (1903)|Andrej Andreevič Markov]], è una [[tautologia]] della [[logica classica]] che non è [[Logica intuizionista|intuizionisticamente]] Nel linguaggio della [[teoria della calcolabilità]], il principio di Markov è l'espressione formale dell'afferm ...

[[File:Hmm-Viterbi-algorithm-med.png|thumb|upright=1.4|Diagramma a traliccio della sequenza a distanza minima con i=5 stati al passo t=5]] ...i uno solo sarà quello a distanza minima ''fino a quel passo''. La ricerca della soluzione ottima con una tecnica esaustiva diventa rapidamente inapplicabil ...

...originale della dimostrazione di Turing è in realtà basata sul [[problema della fermata]], detto anche problema dell'arresto; si dimostra cioè che non può [[Categoria:Teoremi nella teoria della computazione|Turring]] ...

...tematica)|funzione coppia di Cantor]], vengono spesso usate nella [[teoria della calcolabilità]] per dimostrare molti teoremi riguardanti i vari [[modello d ...>x</sub>. Tale numero x sarà l'indice del programma p_x o indice della funzione φ_x^(k) calcolata proprio da p_x. Pe ...

...rica]], il '''teorema di Rice''' costituisce un importante risultato nella teoria delle [[funzione ricorsiva|funzioni ricorsive]] e delle [[funzione calcolab #Consideriamo una qualunque [[Enumerazioni nella teoria della calcolabilità#Enumerazione delle funzioni ricorsive|enumerazione delle funz ...