Pertanyaan yang diberi tag «turing-machines»

Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat diputuskan dan karenanya TM tidak dapat menyelesaikannya! Karena LBA didefinisikan sebagai …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Saya agak baru, tetapi sangat tertarik pada bidang teori komputasi dan kompleksitas, dan saya ingin memperjelas pemahaman saya tentang bagaimana masalah kelas, dan seberapa kuat masalah terkait dengan mesin yang digunakan untuk menyelesaikannya. Pemahaman saya Standard Turing Machine - Mesin Turing yang memiliki alfabet terbatas, jumlah negara terbatas dan satu …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Definisi mesin Turing selalu eksplisit tentang simbol kosong yang tidak menjadi bagian dari alfabet input. Aku bertanya-tanya apa yang salah ketika Anda akan menjadikannya bagian dari alfabet input, karena secara efektif simbol kosong sudah tampaknya menjadi bagian dari input. Untuk menjelaskan bahwa 'sepertinya' di kalimat terakhir, pertimbangkan yang berikut ini. …

12 turing-machines 

Latar belakang: Saya orang awam yang lengkap dalam ilmu komputer. Saya membaca tentang angka-angka Sibuk Berang-berang di sini , dan saya menemukan bagian berikut: Kemanusiaan mungkin tidak pernah tahu nilai BB (6) untuk yang pasti, apalagi BB (7) atau angka yang lebih tinggi dalam urutan. Memang, sudah lima pesaing teratas …

12 turing-machines  number-theory  busy-beaver 

Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat mudah. Namun, ketika saya ingin menggunakan DFA ini …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Saya melihat Gödelization dalam kursus Theory of Computation. Saya dapat memahami konsep penomoran Gödel, tetapi tidak dapat memahami pentingnya konsep Theory of Computation. Adakah yang bisa tolong tunjukkan beberapa bahan yang baik atau tunjukkan pentingnya.

12 formal-languages  turing-machines 

Saya sedang membahas definisi Wikipedia tentang bahasa yang peka konteks dan saya menemukan ini: Setiap kategori bahasa adalah bagian yang tepat dari kategori yang tepat di atasnya. Otomat apa pun dan tata bahasa apa pun di setiap kategori memiliki otomat atau tata bahasa yang setara dalam kategori tepat di atasnya. …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Apa perbedaan antara mesin Turing deterministic dan nondeterministic? Model NDTM yang berbeda namun setara. Secara khusus, apa frasa yang sering digunakan ini "menebak nondeterministis"? Cara menggunakannya dengan benar, dan contoh penggunaan yang salah. Tujuan saya adalah membuat pertanyaan referensi.

12 turing-machines  nondeterminism 

Saya bertanya-tanya mengapa kaset itu bukan bagian dari definisi formal dari Mesin Turing. Pertimbangkan, misalnya, definisi formal mesin Turing di halaman Wikipedia . Definisi, mengikuti Hopcroft dan Ullman, meliputi: himpunan terbatas status , alfabet pita Γ , simbol kosong b ∈ Γ , keadaan awal q 0 ∈ Q , …

11 turing-machines  computation-models 

Apakah keberadaan masalah yang tidak dapat dipastikan segera menyiratkan tidak dapat diprediksinya sistem fisik? Mari kita pertimbangkan masalah penghentian, pertama kita membangun UTM fisik, katakanlah menggunakan konstruksi berbasis sirkuit yang biasa. Maka tidak ada teori fisik yang dapat diputuskan yang dapat menentukan, mengingat pengaturan input dari sirkuit, apakah sirkuit akan …

11 computability  turing-machines  undecidability  physics 

Saya telah melihat mesin turing beeing diwakili dengan kaset tak terbatas dalam satu, dan dalam dua arah. Apakah ada perbedaan dalam kekuatan mesin turing tersebut, atau apakah pada dasarnya setara? Di kepala saya, saya pikir mereka setara, karena saya kira harus ada beberapa cara untuk mewakili pita tak terbatas dua …

11 turing-machines 

Saya membaca Sipser dan saya merasa sulit untuk memahami apa prosesnya sehingga jika Anda memberi saya mesin Turing dengan kaset k, saya dapat memuntahkan mesin Turing yang setara dengan hanya satu kaset. Sebuah contoh akan menyenangkan. Sebenarnya, contoh yang menunjukkan bagaimana untuk pergi dari TM yang memiliki kaset ke yang …

11 turing-machines  simulation 

Saya sedang membaca jawaban untuk pertanyaan baru-baru ini, dan semacam pemikiran fana yang aneh muncul di benak saya. Saya bertanya ini mungkin mengkhianati bahwa teori saya kurang serius (sebagian besar benar) atau terlalu dini bagi saya untuk membaca situs ini. Sekarang, dengan disclaimer keluar dari jalan ... Ini adalah hasil …

11 turing-machines  undecidability  halting-problem 

Biarkan Apakah ada mesin Turing R yang memutuskan (maksud saya tidak mengenali) bahasa L ∅ ?L.∅= { ⟨ M⟩ ∣ M adalah Turing Machine dan L ( M) = ∅ } .L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L.∅L∅L_\emptyset …

11 turing-machines  computability  undecidability 

Saya diberitahu bahwa komputer kuantum tidak lebih kuat secara komputasi daripada mesin Turing. Bisakah seseorang dengan ramah membantu memberikan beberapa referensi literatur yang menjelaskan fakta itu?

11 computability  reference-request  turing-machines  quantum-computing