Domande taggate «turing-completeness»

Quante coppie di staffe sono sufficienti per completare Brainfuck Turing?

Brainfuck è un linguaggio di programmazione completo di Turing che utilizza solo 8 simboli (6 se si ignora l'I / O). I due più importanti che lo spingono alla completezza di Turing sono [e ], essenzialmente, l'etichetta e il goto di Brainfuck. Normalmente, i programmi in Brainfuck utilizzano più set …

12 turing-completeness

Ogni algoritmo automodificante può essere modellato da un algoritmo non automodificante?

Se abbiamo qualche programma informatico arbitrario che può modificare le sue istruzioni, è possibile simulare quel programma con un programma che non può modificare le sue istruzioni? Modificare: Sono nuovo di StackExchange, quindi non sono sicuro di poter fare una NUOVA domanda qui, ma qui va: Ok, quindi la prova …

12 computability computation-models turing-completeness church-turing-thesis

C'è una lingua in grado di esprimere il proprio compilatore Turing-complete?

Un commento su tex.SE mi ha fatto meravigliare. La dichiarazione è essenzialmente: Se riesco a scrivere un compilatore per la lingua X nella lingua X, allora X è Turing completo. In termini di calcolabilità e linguaggi formali, questo è: Se decide e , allora .L ⊆ L T M ⟨ …

12 computability turing-completeness

Esiste un duplice concetto di "Turing Complete" nella logica?

È possibile dimostrare che due modelli di calcolo sono completi se ciascuno può codificare un simulatore universale per l'altro. È possibile dimostrare che due logiche sono complete se una codifica delle regole di inferenza (e forse degli assiomi se presenti) di ciascuna viene mostrata come teorema dell'altra. Nella calcolabilità ciò …

10 computability logic turing-completeness

Come può una macchina di Turing universale simulare quelle "più grandi"?

Sto cercando di trovare le risposte a due domande sulla Universal Turing machine. In che modo la macchina Universal Turing può simulare una macchina Turing se quella che viene simulata ha un numero maggiore di stati? Come può la macchina Universal Turing simulare una macchina Turing se quella che viene …

10 computability turing-machines simulation turing-completeness

Chiaro, completo, prova che una lingua è Turing Competere?

Ho visto siti web che pretendono di "dimostrare" che HTML5 + CSS è Turing Complete. Ho visto siti Web che pretendono di "dimostrare" che SQL è Turing Complete. Ho visto un sacco di siti web che pretendono di "spiegare" cosa significa essere Turing Complete. Abbastanza! Dove posso trovare un libro …

10 computability turing-machines automata turing-completeness church-turing-thesis

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

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.