Scienza del computer turing-machines

5

Importanza pratica delle macchine di Turing?

Sono un ingegnere elettrico, e ho avuto un solo corso CS al college 26 anni fa. Tuttavia, sono anche un devoto utente di Mathematica. Ho la sensazione che le macchine di Turing siano molto importanti nell'informatica. L'importanza è solo nella teoria dell'informatica? Se ci sono implicazioni / applicazioni pratiche, quali …

27 turing-machines

5

Differenza tra una macchina turing e una macchina a stati finiti?

Sto facendo una presentazione sulle macchine Turing e volevo fornire alcune informazioni sulle FSM prima di presentare le macchine Turing. Il problema è che davvero non so cosa sia MOLTO diverso l'uno dall'altro. Ecco cosa so che è diverso: L'FSM ha stati sequenziali a seconda della condizione corrispondente soddisfatta mentre …

27 terminology turing-machines finite-automata machine-models

6

Esiste un'analogia fisica con la Turing Machine?

Recentemente nella mia classe CS sono stato presentato alla Turing Machine. Dopo la lezione, ho trascorso oltre 2 ore a cercare di capire qual è la relazione tra un nastro e una macchina. Ero completamente inconsapevole dell'esistenza di nastri per computer o di come i nastri e le macchine interagivano …

27 turing-machines computation-models

6

L'ingresso in una macchina di Turing può avere una lunghezza infinita?

Considerando solo l'alfabeto , le stringhe che possono essere fornite come input per le macchine di Turing provengono dall'insieme . Ma ha senso che l'input sia una stringa binaria infinita? Ad esempio, se una macchina Turing accetta tutte le stringhe che iniziano con uno 0, una stringa binaria di zeri …

26 turing-machines

4

Prova dell'indecidibilità del problema dell'arresto

Ho difficoltà a comprendere la prova dell'indecidibilità del problema di Halting. Se restituisce se il programma o meno un soste in ingresso b , perché dobbiamo far passare il codice di P sia un e bH(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb ? Perché non possiamo alimentare con P e qualche input arbitrario, diciamo, x ?H()H()H()PPPxxx

25 computability turing-machines

6

Definizione di linguaggio ricorsivo e ricorsivamente enumerabile per un laico

Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 6 anni fa . Ho trovato molte definizioni di linguaggi ricorsivi e ricorsivamente enumerabili. Ma non riuscivo a capire cosa fossero. Qualcuno può dirmi cosa sono in parole …

24 formal-languages computability turing-machines

4

Esistono linguaggi indecidibili nella logica costruttivista?

La logica costruttivista è un sistema che rimuove la Legge del Medio Escluso, nonché la Doppia Negazione, come assiomi. È descritto su Wikipedia qui e qui . In particolare, il sistema non consente prove per contraddizione. Mi chiedo, qualcuno ha familiarità con come questo influisce sui risultati riguardanti le macchine …

24 formal-languages turing-machines logic proof-techniques undecidability

1

Quantum Computing and Turing Machines: Le macchine di Turing sono ancora una misura accurata?

Durante la lezione della scorsa settimana, il mio professore ha commentato e detto che le macchine di Turing sono usate come misura / modello standard di ciò che è calcolabile e sono una base utile di discussione per quell'argomento. Ha anche affermato che tutte le varianti delle macchine di Turing …

24 turing-machines quantum-computing

5

Perché i linguaggi funzionali di Turing sono completi?

Forse la mia comprensione limitata dell'argomento non è corretta, ma questo è quello che ho capito finora: La programmazione funzionale si basa su Lambda Calculus, formulato da Alonzo Church. La programmazione imperativa si basa sul modello della macchina di Turing, realizzato da Alan Turing, studente della Chiesa. Il calcolo Lambda …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

4

Una macchina che non si ferma mai fa sempre un ciclo?

Una macchina di Turing che ritorna ad uno stato precedentemente incontrato con la sua testina di lettura / scrittura sulla stessa cella dello stesso identico nastro verrà catturata in un ciclo. Tale macchina non si ferma. Qualcuno può fare un esempio di una macchina che non si ferma mai e …

22 computability turing-machines halting-problem

5

Il problema di Halting potrebbe essere "risolto" sfuggendo a una descrizione di livello superiore del calcolo?

Di recente ho sentito un'interessante analogia che afferma che la prova di Turing dell'indecidibilità del problema di arresto è molto simile al paradosso del barbiere di Russell. Quindi mi sono chiesto: i matematici alla fine sono riusciti a rendere coerente la teoria degli insiemi passando dalla formulazione ingenua del campo …

21 computability turing-machines computation-models halting-problem

2

Problemi che richiedono evidentemente un tempo quadratico

Sto cercando esempi di problemi che hanno un limite inferiore di ) per l'ingresso x .Ω ( | x |2Ω(|x|2\Omega(|x|^2Xxx Il problema deve avere le seguenti proprietà: prova di runtime per qualsiasi algoritmo - la prima priorità è di avere l'argomento limite inferiore il più semplice possibile.Ω ( n2)Ω(n2)\Omega(n^2) algoritmo, …

19 complexity-theory turing-machines time-complexity lower-bounds

1

Come posso convertire la macchina di Turing che riconosce la lingua

Secondo questo articolo di Wikipedia , le grammatiche senza restrizioni sono equivalenti alle macchine di Turing. L'articolo osserva che posso convertire qualsiasi macchina Turing in una grammatica senza restrizioni, ma mostra solo come convertire una grammatica in una macchina Turing. Come posso effettivamente farlo e convertire la macchina di Turing …

19 formal-grammars turing-machines simulation

2

Una macchina Turing senza la capacità di scrivere su celle vuote è meno potente della normale Turing?

Una macchina Turing senza la capacità di scrivere su celle vuote è meno potente della normale Turing? Penso che la risposta sia sì, ma non sono in grado di trovare un calcolo che la macchina di Turing standard può fare ma questa macchina non può. Qualche idea?

18 formal-languages turing-machines computability automata

4

Definizione del problema di arresto per automi non deterministici

La definizione principale di Turing machine (TM), almeno nel mio manuale di riferimento (Hopcroft + Ullman 1979) è deterministica. Quindi la mia comprensione del problema dell'arresto è principalmente per la TM deterministica, anche se sono consapevole che può essere considerata per altri tipi di automi. Ho anche notato che il …

18 turing-machines automata nondeterminism halting-problem linear-bounded-automata

Domande taggate «turing-machines»