Scienza del computer turing-machines

1

Il non determinismo in un turing machine non deterministico è diverso da quello degli automi finiti e degli automi push down?

Consenti una stringa di input come . Quindi se un NFA è attualmente nello stato (e ha letto l'input fino all'alfabeto ) quindi prima di leggere il simbolo di input successivo l'NFA si divide in due NFA, uno in stato e l'altro in , se c'è una transizione di il …

9 turing-machines finite-automata pushdown-automata computation-models nondeterminism

1

Qual è la relazione tra Turing Machines con un nastro finito e Automi a stati finiti?

Mi sembra di ricordare da una classe universitaria che per una macchina di Turing con un nastro finito esisterà sempre un corrispondente automa a stati finiti, ma non sono stato in grado di trovare questo confermato ovunque su Internet. È davvero così o sto ricordando male?

9 turing-machines finite-automata

6

Le macchine di Turing assumono qualcosa di infinito ad un certo punto?

In una domanda precedente Che cos'è esattamente un algoritmo? , Ho chiesto se avere un "algoritmo" che restituisce il valore di una funzione basata su una matrice di valori pre-calcolati fosse un algoritmo. Una delle risposte che ha attirato la mia attenzione è stata questa: L'esempio fattoriale entra in un …

9 turing-machines computation-models

2

Macchina di Turing a due stati per l'abbinamento delle parentesi

Al college abbiamo imparato la teoria del calcolo in generale e le macchine di Turing in modo più specifico. Uno dei grandi risultati teorici è che al costo di un alfabeto (simboli) potenzialmente grande, è possibile ridurre il numero di stati fino a solo 2. Stavo cercando esempi di diverse …

9 turing-machines context-free parsers

2

Una variante della funzione di castoro occupato

Leggendo questa domanda " Problemi indecidibili di RE naturale ma non completi di Turing " mi è venuta in mente la seguente lingua: Se Σ(⋅)Σ(⋅)\Sigma(\cdot) è la funzione di castoro occupato (punteggio massimo raggiungibile tra tutte le macchine di Turing a stato n con 2 simboli di arresto del tipo …

9 computability turing-machines

2

Perché i numeri calcolabili (nel senso di Turing) sono enumerabili?

Perché i numeri calcolabili (nel senso di Turing) sono enumerabili? Deve essere molto ovvio, ma al momento non lo vedo.

9 computability turing-machines enumeration

2

Macchina di Turing alfabeto infinito

Una macchina di Turing a cui è consentito leggere e scrivere simboli da un alfabeto infinito è più potente di una normale TM (questa è l'unica differenza, la macchina ha ancora un numero finito di stati)? L'intuizione non mi dice, dal momento che hai bisogno di un numero infinito di …

9 computability turing-machines reductions simulation

1

La prova che

Vorrei utilizzare il vostro aiuto per il seguente problema: . Mostra che L ∉ R E ∪ C o R E .L = { ⟨ M⟩ ∣ L ( M) è privo di contesto }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L ∉ R E∪ Co R EL∉RE∪CoREL \notin …

9 formal-languages computability context-free turing-machines

2

Le funzioni booleane sono complete

Una funzione booleana è una funzione .f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} La base booleana è nota come Turing completa in quanto consente di capovolgere o lasciare invariata qualsiasi sequenza s ∈ { 0 , 1 } . Lo stesso si può dire delle porte …

9 turing-machines turing-completeness boolean-algebra

1

Esiste un algoritmo per l'ottimizzazione della complessità tempo / spazio degli algoritmi?

Negli anni '50 sono stati inventati numerosi metodi per minimizzare i circuiti per le funzioni booleane . Esiste un'estensione di questi metodi o qualcosa di simile per ottimizzare la complessità temporale o spaziale degli algoritmi? Ad esempio, un'implementazione dell'ordinamento a bolle come input per tale algoritmo produrrebbe un'implementazione di un …

9 algorithms turing-machines time-complexity optimization space-complexity

2

Questo articolo implica che Turing-Computability non è la stessa di "effettivamente calcolabile"?

Prima di tutto, mi scuso se mi è stato chiesto, ma in realtà non ho trovato nulla. Mi sono imbattuto in questo articolo . Dice che esiste un problema che solo i computer quantistici possono risolvere. Secondo la mia comprensione, ciò dovrebbe significare, intuitivamente, che questo problema è "effettivamente calcolabile", …

8 turing-machines quantum-computing church-turing-thesis

1

Ho costruito un computer meccanico alimentato da marmi. Quali sono i suoi limiti teorici?

Negli ultimi due anni ho costruito un computer meccanico alimentato da marmi e ne ho ricavato un gioco. È simile al vecchio Digi-Comp II, ad eccezione di due differenze chiave: Le parti sono riposizionabili sulla scheda. Puoi collegare più 'bit' insieme usando gli ingranaggi. Quando uno di questi bit viene …

8 complexity-theory turing-machines computer-architecture computation-models

1

Prova n! è completamente costruibile nel tempo

Abbiamo appena finito la lezione di "Costruibilità del tempo" in classe la scorsa settimana e, per esempio, lo abbiamo dimostrato nK,2nnK,2nn^k, 2^n sono completamente costruibili nel tempo, cioè esiste una macchina di Turing (deterministica multi-nastro) che per nnn dato, si ferma esattamente dopo f( n )f(n)f(n) passi e ho appena …

8 complexity-theory turing-machines time-complexity

2

Dato un TM , lascia mai lo stato iniziale quando il nastro di avvio è vuoto?

Voglio determinare se questo problema di decisione è decidibile. Ho provato a stabilire riduzioni da Halt e "Accetta stringhe vuote", ma non ho ancora trovato una soluzione. Qualcuno mi può aiutare?

8 computability turing-machines undecidability

2

Come può un sistema di tag ciclico arrestarsi con un output?

Ad esempio, possiamo dire di avere un programma astratto che, data una stringa binaria finita come input, rimuove tutti gli zeri (cioè 0010001101011 restituisce 111111), che è sicuramente una funzione calcolabile di Turing. Come può un sistema di tag ciclico calcolare questo (che può, per definizione, essendo Turing completo) quando …

8 computability turing-machines

Domande taggate «turing-machines»