Pertanyaan yang diberi tag «turing-completeness»

Brainfuck adalah bahasa pemrograman lengkap Turing yang hanya menggunakan 8 simbol (6 jika Anda mengabaikan I / O). Dua yang paling terkenal yang mendorongnya ke kelengkapan Turing adalah [dan ], pada dasarnya, label dan goto Brainfuck. Biasanya, program di Brainfuck menggunakan beberapa set [], tapi saya bertanya-tanya berapa banyak pasang …

12 turing-completeness 

Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan pertanyaan BARU di sini, tapi begini: Ok jadi buktinya mungkin sebenarnya sebenarnya sangat sederhana seperti …

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

Sebuah komentar di tex.SE membuatku bertanya-tanya. Pernyataan itu pada dasarnya: Jika saya dapat menulis kompiler untuk bahasa X dalam bahasa X, maka X adalah Turing-complete. Dalam istilah komputasi dan bahasa formal, ini adalah: Jika memutuskan dan , maka .L ⊆ L T M ⟨ M ⟩ ∈ L F L …

12 computability  turing-completeness 

Dua model komputasi dapat ditunjukkan saling melengkapi jika masing-masing dapat menyandikan simulator universal untuk yang lain. Dua logika dapat ditunjukkan untuk melengkapi jika suatu pengkodean aturan inferensi (dan mungkin aksioma jika ada) dari masing-masing ditunjukkan sebagai teorema dari yang lain. Dalam komputabilitas ini telah mengarah pada gagasan alami kelengkapan Turing …

10 computability  logic  turing-completeness 

Saya mencoba menemukan jawaban dari dua pertanyaan tentang mesin Universal Turing. Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah status yang lebih besar? Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah karakter alfabet yang lebih besar? Adakah yang …

10 computability  turing-machines  simulation  turing-completeness 

Saya telah melihat situs web yang mengaku "membuktikan" bahwa HTML5 + CSS Turing Lengkap. Saya telah melihat situs web yang mengaku "membuktikan" bahwa SQL adalah Turing Lengkap. Saya telah melihat banyak situs web yang dimaksudkan untuk "menjelaskan" apa artinya menjadi Lengkap Turing. Cukup! Di mana saya dapat menemukan buku (ditulis …

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

Fungsi Boolean adalah fungsi .f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boolean basis dikenal sebagai Turing selesai karena memungkinkan urutan s ∈ { 0 , 1 } dibalik atau dibiarkan tidak berubah. Hal yang sama dapat dikatakan untuk gerbang X O R.( ∨ , ∧ )(∨,∧)(\vee,\wedge)s …

9 turing-machines  turing-completeness  boolean-algebra