Informatica teorica turing-machines

3

Che tipo di automa è Turing Doodle di Google?

In occasione del compleanno di Alan Turing, Google ha pubblicato uno scarabocchio che mostra una macchina. Che tipo di macchina è il doodle? Può esprimere una lingua completa di Turing? Ci sono ovvie differenze con la classica macchina da turismo: un nastro finito, i vincoli su come collegare lo stato, …

10 cc.complexity-theory turing-machines

5

Macchina di Turing distribuita?

Sono uno studente master focalizzato sui sistemi distribuiti ma anche interessato all'informatica teorica. Mi chiedevo se esiste una rappresentazione formale di un sistema distribuito sopra una macchina da turismo? Cioè, è possibile estendere (fare una variante) il concetto di una macchina turing per sfruttare il calcolo distribuito? Un'idea è quella …

10 turing-machines dc.distributed-comp

1

Questa lingua è riconoscibile da una TM a 3 simboli in O (n log n)?

Stavo giocando con l'interessantissima e ancora aperta domanda " Alphabet of single-tape Turing machine " (di Emanuele Viola) e mi è venuta in mente la seguente lingua: L = { x ∈ { 0 , 1 }n st | X | =n= 2m e c o u n t 1 …

10 cc.complexity-theory turing-machines time-complexity

2

Esiste un riferimento definitivo per le macchine di Turing con più nastri oracolari?

La maggior parte della letteratura sembra riguardare macchine con singoli oracoli per problemi specifici, tuttavia sembrano esserci alcuni documenti che considerano macchine con più oracoli. Esiste un buon documento o tesi che fornisce una panoramica di ciò che si sa di tali macchine? In particolare sono interessato a P con …

10 oracles turing-machines

3

Classe di lingue riconoscibile dalle TM a 3 stati a nastro singolo

Sono stato per un po 'curioso di Turing Machines con esattamente un nastro ed esattamente 3 stati (ovvero lo stato iniziale , lo stato accettazione q a c c e p t e lo stato di rifiuto q r e j e c t ). Si noti che consento alfabeti …

9 automata-theory turing-machines cellular-automata

1

Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?

Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari? Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti …

9 automata-theory turing-machines regular-language space-bounded

2

Macchine di Turing la cui terminazione non è dimostrabile?

Ho una domanda ingenua: esiste una macchina di Turing la cui terminazione è vera ma non dimostrabile da una teoria naturale, coerente e finemente assiomatizzabile? Chiedo una semplice prova dell'esistenza piuttosto che un esempio specifico. Questo potrebbe avere qualche connessione con l' analisi ordinale . In effetti, per una macchina …

9 turing-machines proof-theory halting-problem

Domande taggate «turing-machines»