Ada ruangwaktu relativistik (mis. Ruangwaktu MH; lihat Hogarth 1994) di mana garis dunia durasi tak terbatas dapat dimuat di masa lalu dari pengamat terbatas. Ini berarti bahwa pengamat normal dapat memiliki akses ke langkah perhitungan jumlah yang tak terbatas. Dengan asumsi itu mungkin bagi...
Saya tahu bahwa gerbang NAND dapat digunakan untuk membuat sirkuit yang menerapkan setiap tabel kebenaran, dan komputer modern dibangun dari gerbang NAND. Apa hubungan teoritis antara gerbang NAND dan kelengkapan Turing? Sepertinya saya bahwa sirkuit gerbang NAND lebih dekat ke automata terbatas...
Saya memiliki pertanyaan-pertanyaan ini dari ujian lama yang saya coba selesaikan. Untuk setiap masalah, input adalah encoding dari beberapa Turing mesin .MMM Untuk bilangan bulat , dan tiga masalah berikut:c>1c>1c>1 Benarkah bahwa untuk setiap input , M tidak lulus posisi saat...
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...
Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat...
Saya mencoba memahami keberadaan bahasa yang tidak dikenali. Untuk mendapatkan ini, saya perlu tahu mengapa mesin Turing hanya mengenali satu bahasa, bukan beberapa. Kenapa
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...
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....
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...
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...
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...
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...
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...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Saya membaca beberapa kali bahwa tidak mungkin membalik jawaban NDTM secara efisien. Namun, saya tidak mengerti mengapa. Misalnya, mengingat NDTM yang berjalan di , teks ini (bagian 3.3) menyatakan bahwa tidak jelas bagaimana NDTM dapat menentukan dalam waktu cara membalikkan
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
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...
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...
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...
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...