Pertanyaan yang diberi tag «turing-machines»

Mesin Turing adalah model dasar perhitungan, terutama dalam pekerjaan teoretis.


2
(Bagaimana) Bisakah kita menemukan / menganalisis masalah NP tanpa adanya model komputasi Turing?
Dari sudut pandang matematika / komputasi murni abstrak, (bagaimana) seseorang dapat menemukan atau alasan tentang masalah seperti 3-SAT, Subset Sum, Travelling Salesman dll.,? Apakah kita bahkan dapat menalarinya dengan cara yang bermakna hanya dengan sudut pandang fungsional ? Apakah itu mungkin? Saya telah merenungkan pertanyaan ini murni dari sudut penyelidikan …


1
Menghitung panjang input pada mesin Turing satu-pita
Sehubungan dengan pertanyaan ini, terpikir oleh saya untuk bertanya-tanya: apa kompleksitas waktu untuk satu mesin single-head Turing untuk menghitung panjang inputnya? Untuk lebih spesifik, misalkan alfabet tape adalah , inputnya adalah string dalam ( 0 + 1 ) ∗ dikelilingi oleh blank, mesin dimulai pada simbol input paling kiri, dan …

2
Emulasi Turing Machine tidak sadar batas bawah
Apakah ada bukti bahwa emulasi mesin Turing pada mesin Turing yang terlupa tidak dapat dilakukan dalam waktu kurang dari O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) mana mmm adalah jumlah langkah yang digunakan mesin Turing? Atau ini hanya batas atas? Dalam makalah Paul Vitányi tentang relativized mesin Turing dilupakan, Vitányi mengklaim "Mereka [ Pippenger dan …


1
Seberapa baik detektor penghenti itu?
Apakah ada Mesin Turing yang dapat memutuskan apakah hampir semua Mesin Turing lainnya berhenti? Misalkan kita memiliki beberapa enumerasi N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\} dari mesin Turing, dan beberapa gagasan "ukuran" dari satu set bilangan alami ∥⋅∥‖⋅‖\| \cdot \| , dan kami mendefinisikan: f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether …

1
Mengompresi informasi tentang masalah penghentian untuk mesin Turing oracle
Masalah penghentian diketahui tidak dapat diperhitungkan. Namun, dimungkinkan untuk secara "kompres" informasi secara eksponensial tentang masalah penghentian, sehingga pengompresannya dapat dihitung. Lebih tepatnya, adalah mungkin untuk menghitung dari deskripsi mesin Turing dan saran bit menyatakan jawaban atas masalah penghentian untuk semua dari mesin Turing, dengan asumsi bahwa status saran dapat …

1
Hierarki Waktu di DSPACE (O (s (n)))
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) jika fgfg\frac{f}{g} tumbuh cukup cepat? Saya terutama tertarik pada kasus yang s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …

2
Mencari Sumber Sastra untuk Mengikuti ide
Saya cukup yakin bahwa saya bukan yang pertama untuk menghibur gagasan bahwa saya akan hadir. Namun, akan sangat membantu jika saya dapat menemukan literatur yang terkait dengan ide tersebut. Idenya adalah untuk membangun Mesin Turing M dengan properti bahwa jika P = NP maka M akan menyelesaikan 3-SAT dalam waktu …

1
Apakah
Tentukan sebagai kelas bahasa yang dapat diterima oleh mesin Turing (multitape) dalam waktu f ( n ) + 1 . (" + 1 " hanya untuk menyederhanakan notasi dan menghindari kebingungan.) Perhatikan bahwa tidak ada O ( ⋅ ) di sekitar f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ …

3
Adakah bukti non-konstruktif tentang keberadaan mesin Turing / NFA “kecil”?
Setelah membaca pertanyaan terkait , tentang bukti keberadaan algoritma yang tidak konstruktif, saya bertanya-tanya apakah ada metode untuk menunjukkan keberadaan mesin komputasi "kecil" (katakanlah, bijaksana) tanpa benar-benar membangunnya. Secara formal: misalkan kita diberi beberapa bahasa dan memperbaiki beberapa model perhitungan (NFA / mesin turing / dll.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Apakah ada hasil …

6
Bahasa mirip-C kecil yang dapat disimulasikan oleh mesin turing
Saya mencari bahasa kecil yang membantu 'meyakinkan' siswa bahwa mesin turing adalah model komputasi yang cukup umum. Yaitu, bahasa yang mirip dengan bahasa yang biasa mereka gunakan, tetapi juga mudah untuk disimulasikan pada mesin turing. Papadimitriou menggunakan mesin RAM untuk pekerjaan ini, tapi saya takut membandingkan sesuatu yang aneh (sebagai …


1
Apakah mahasiswa Alan Turing, Robin Gandy, menyatakan bahwa Charles Babbage tidak memiliki gagasan tentang mesin komputasi universal?
Robin Gandy adalah murid Alan Turing . Gandy melakukan analisis Mesin Analitik Babbage (lihat 'Gandy - The Confluence of Ideas pada tahun 1936' dikutip dalam 'Herken, Rolf - Mesin Universal Turing - Sebuah Survei Setengah Abad . Springer Verlag') - dan mengatakan hal itu terjadi (lih. hlm. 52–53): Fungsi aritmatika …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.