Informatica teorica turing-machines

2

Una lingua totale che solo una lingua completa di Turing può interpretare

Qualsiasi lingua che non sia completa di Turing non può scrivere da sola un interprete. Non ho idea di dove l'ho letto, ma l'ho visto usato diverse volte. Sembra che questo dia origine a una sorta di linguaggio definitivo "ultimo" non turing; quello (i) che può soloessere interpretato da una …

16 computability turing-machines

2

(Come) Potremmo scoprire / analizzare i problemi NP in assenza del modello di calcolo di Turing?

Da un punto di vista matematico / di ragionamento puramente astratto (come) si potrebbe persino scoprire o ragionare su problemi come 3-SAT, somma dei sottoinsiemi, commesso viaggiatore ecc.? Saremmo ancora in grado di ragionare su di loro in modo significativo con il solo funzionale punto di vista? Sarebbe anche possibile? …

15 soft-question lambda-calculus turing-machines functional-programming np

3

Si può determinare se la lingua L si trova in NP?

Dato un linguaggio L definito da una macchina di Turing che lo decide, è possibile determinare algoritmicamente se L si trova in NP?

15 cc.complexity-theory computability turing-machines

1

Calcolo della lunghezza dell'input su una macchina Turing a nastro singolo

In relazione a questa domanda , mi sono chiesto: qual è la complessità temporale di una macchina di Turing a testa singola a nastro singolo per calcolare la lunghezza del suo input? Per essere precisi, supponiamo che l'alfabeto del nastro sia , l'input è una stringa in circondata da spazi …

13 turing-machines

2

Limite inferiore dell'emulazione di Turing Machine

Esiste una prova che l'emulazione di una macchina di Turing su una macchina di Turing ignara non può essere eseguita in meno di O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) dove mmm è il numero di passi che la macchina di Turing utilizza? O è solo un limite superiore? Nel documento di Paul Vitányi sulle …

13 cc.complexity-theory turing-machines

1

Circuiti con oracoli vs. Macchine di Turing con oracoli

In parole povere: qual è la corrispondenza tra macchine di Turing con oracoli e famiglie di circuiti uniformi con oracoli? Come vengono definiti questi ultimi al fine di ottenere lo stesso modello computazionale, per una data macchina Oracle Turing? Questa potrebbe essere una domanda elementare, ma non è ovvio dove …

13 cc.complexity-theory turing-machines oracles circuit-families

1

Quanto può essere buono un rilevatore di arresto?

Esiste una macchina di Turing che può decidere se quasi tutte le altre macchine di Turing si fermano? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. Quali caratterizzazioni del valore minimo …

12 turing-machines halting-problem

1

Comprimere informazioni sul problema di arresto per le macchine Oracle Turing

Il problema dell'arresto è noto per essere incontestabile. Tuttavia, è possibile "comprimere" in modo esponenziale le informazioni sul problema di arresto, in modo che la decompressione sia calcolabile. Più precisamente, è possibile calcolare da una descrizione di Macchine di Turing e un consiglio -bit indica la risposta al problema di …

12 computability lower-bounds turing-machines communication-complexity oracles

1

Gerarchie temporali in DSPACE (O (s (n)))

Il teorema della gerarchia temporale afferma che le macchine turing possono risolvere più problemi se hanno (abbastanza) più tempo. Tiene in qualche modo se lo spazio è limitato asintoticamente? In che modo DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) si a DTISP ( f ( n ) , O ( s ( n ) ) …

12 cc.complexity-theory complexity-classes turing-machines space-bounded time-hierarchy

2

Alla ricerca di fonti di letteratura per la seguente idea

Sono abbastanza certo di non essere il primo a intrattenere l'idea che presenterò. Tuttavia, sarebbe utile se riuscissi a trovare qualsiasi letteratura relativa all'idea. L'idea è di costruire una Turing Machine M con la proprietà che se P = NP allora M risolverà 3-SAT in tempo polinomiale. (La scelta di …

12 reference-request turing-machines p-vs-np

1

È

Definisci come la classe di lingue che può essere accettata da una macchina di Turing (multitape) nel tempo . (" " è solo per semplificare la notazione ed evitare confusione.) Notare che non c'è attorno a .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 È vero che ?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) = \mathsf{DTIME}(2n) Usando il …

12 cc.complexity-theory time-complexity turing-machines time-hierarchy

3

Esistono prove non costruttive dell'esistenza di "piccole" macchine di Turing / NFA?

Dopo aver letto una domanda correlata , sulle prove di esistenza non costruttive degli algoritmi, mi chiedevo se ci sono metodi per mostrare l'esistenza di macchine di calcolo "piccole" (diciamo, per quanto riguarda lo stato) senza effettivamente costruirlo. formalmente: supponiamo che ci venga dato un po 'di linguaggio e risolto …

11 cc.complexity-theory automata-theory turing-machines

6

Un piccolo linguaggio di tipo C che le macchine di turing possono simulare

Sto cercando un linguaggio di piccole dimensioni che aiuti a "convincere" gli studenti che i turing machine sono un modello di calcolo sufficientemente generale. Cioè, una lingua che assomiglia alle lingue a cui sono abituati, ma è anche facile da simulare su una macchina da turismo. Papadimitriou usa macchine RAM …

11 turing-machines

3

P contiene lingue incomprensibili? (Wiki della community TCS)

Risposta: non nota Mille grazie a tutti coloro che hanno contribuito a perfezionare questa domanda e le definizioni ad essa associate. Le definizioni di questo wiki hanno fornito il punto di partenza per il più recente wiki di TCS " P contiene linguaggi la cui esistenza è indipendente da PA …

11 cc.complexity-theory complexity-classes turing-machines decidability

1

Robin Gandy, studente di Alan Turing, ha affermato che Charles Babbage non aveva idea di una macchina informatica universale?

Robin Gandy era uno studente di Alan Turing . Gandy fece un'analisi del motore analitico di Babbage (vedi "Gandy - La confluenza delle idee nel 1936" citato in "Herken, Rolf - The Universal Turing Machine - A Half-Century Survey . Springer Verlag") - e disse che lo fece (cfr. pagg. …

10 turing-machines universal-computation charles-babbage

Domande taggate «turing-machines»