Scienza del computer undecidability

4

Questo problema con il grafico finito è decidibile? Quali fattori rendono un problema decidibile?

Voglio sapere se il seguente problema è decidibile e come scoprirlo. Ogni problema che vedo posso dire "sì" o "no" ad esso, quindi la maggior parte dei problemi e degli algoritmi sono decidibili tranne alcuni (che viene fornito qui )? Input: Un dirette e grafo finito , con v ed …

17 algorithms computability graph-theory undecidability

1

È determinabile se un automa pushdown riconosce una determinata lingua normale?

Il problema se due automi pushdown riconoscano la stessa lingua è indecidibile. Il problema se un automa pushdown riconosce la lingua vuota è decidibile, quindi è anche decidibile se riconosce una determinata lingua finita. Non è possibile stabilire se la lingua accettata da un automa pushdown sia regolare. Ma ... …

16 computability undecidability pushdown-automata

1

L'insolvibilità del problema N-Body equivale al problema dell'arresto

Non esiste una soluzione analitica generale al problema n-body in grado di produrre una funzione analitica che può essere utilizzata per fornire lo stato di un sistema n-body a tempo arbitrario t con precisione esatta. Tuttavia, ci sono alcuni casi speciali di sistemi n-body per i quali è nota una …

16 computability turing-machines undecidability computation-models

5

Ci sono proprietà indecidibili di automi non turing completi?

Ci sono proprietà indecidibili di automi limitati lineari (evitando il trucco del linguaggio set vuoto)? Che dire di un automa deterministico finito? (metti da parte l'intrattabilità). Vorrei fare un esempio (se possibile) di un problema indecidibile che viene definito senza usare esplicitamente le macchine di Turing . La completezza di …

15 computability automata undecidability

1

È decidibile se una lingua descritta dal numero di occorrenze è regolare?

È noto che la lingua delle parole che contiene lo stesso numero di 0 e 1 non è regolare, mentre la lingua delle parole che contiene lo stesso numero di 001 e 100 è regolare ( vedere qui ). Dato due parolew1,w2w1,w2w_1,w_2 , è decidibile se la lingua delle parole …

14 regular-languages undecidability

1

Per una macchina Turing

Mi chiedo come mai che il seguente linguaggio è in .RR\mathrm R LM1= { ⟨ M2⟩||M2 è una TM e L ( M1) = L ( M2) , E | ⟨ M1⟩ | > | ⟨ M2⟩ | }LM1={⟨M2⟩|M2 è una TM e L(M1)=L(M2), e |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ …

14 computability undecidability

2

È determinabile se una TM raggiunge una posizione sul nastro?

Ho queste domande da un vecchio esame che sto cercando di risolvere. Per ogni problema, l'ingresso è una codifica di qualche macchina di Turing MMM . Per un numero intero c>1c>1c>1 e i seguenti tre problemi: È vero che per ogni input xxx , M non passa il |x|+c|x|+c|x|+c posizione …

14 computability turing-machines undecidability

3

problema indecidibile e la sua negazione è indecidibile

Molti problemi indecidibili "famosi" sono comunque almeno semidecidabili, con il loro complemento indecidibile. Un esempio soprattutto può essere l'arresto del problema e il suo complemento. Tuttavia, qualcuno può darmi un esempio in cui sia un problema che il suo complemento sono indecidibili e non semidecidibili? Ho pensato al linguaggio di …

13 formal-languages computability turing-machines undecidability semi-decidability

3

Decidibilità Decidibile è Decidibile?

Mi chiedo se decidere la decidibilità del problema sia un problema decidibile. Immagino di no, ma dopo le ricerche iniziali non riesco a trovare alcuna letteratura su questo problema.

13 computability undecidability decision-problem

3

Perché il problema di arresto è decidibile per LBA?

Ho letto su Wikipedia e altri testi che Il problema dell'arresto è [...] decidibile per gli automi deterministici lineari (LBA) [e] con memoria finita. Ma prima è stato scritto che il problema dell'arresto è un problema indecidibile e quindi TM non può risolverlo! Poiché gli LBA sono definiti come un …

13 turing-machines automata undecidability halting-problem linear-bounded-automata

2

Tutte le lingue sensibili al contesto sono decidibili?

Stavo attraversando la definizione di Wikipedia di linguaggio sensibile al contesto e ho trovato questo: Ogni categoria di lingue è un sottoinsieme proprio della categoria direttamente sopra di essa. Qualsiasi automa e qualsiasi grammatica in ogni categoria ha un automa o grammatica equivalente nella categoria direttamente sopra di esso. Ho …

12 formal-grammars turing-machines undecidability context-sensitive

4

Operazioni in cui la classe di lingue indecidibili non è chiusa

Esistono lingue indecidibili tali che la loro lingua di unione / intersezione / concatenata è decidibile? Qual è l'interpretazione fisica di tale esempio perché in generale, le lingue indecidibili non sono chiuse in queste operazioni? Cosa possiamo dire della chiusura di Kleene? Ne abbiamo anche degli esempi? Vale a dire …

12 formal-languages undecidability closure-properties

1

Sintesi del programma, decidibilità e problema di arresto

Stavo leggendo una risposta a una domanda recente e mi è venuta in mente una specie di pensiero strano ed effimero. La mia richiesta potrebbe tradire che la mia teoria non è seriamente carente (per lo più vera) o che è troppo presto per leggere questo sito. Ora, con il …

12 turing-machines undecidability halting-problem

6

Problemi indecidibili limitano le teorie fisiche

L'esistenza di problemi indecidibili implica immediatamente la non prevedibilità dei sistemi fisici? Consideriamo il problema dell'arresto, prima costruiamo un UTM fisico, diciamo usando la solita costruzione basata su circuito. Quindi non ci può essere alcuna teoria fisica decidibile che possa determinare, data qualsiasi impostazione di ingresso dei circuiti, se il …

11 computability turing-machines undecidability physics

1

Riduzioni tra problemi indecidibili

Mi dispiace se questa domanda ha qualche banale risposta che mi manca. Ogni volta che studio qualche problema che è stato dimostrato indecidibile, osservo che la prova si basa sulla riduzione di un altro problema che si è dimostrato indecidibile. Capisco che crea una sorta di ordine sul grado di …

11 computability reductions undecidability

Domande taggate «undecidability»