Saya ingat dari kelas sarjana bahwa untuk Mesin Turing dengan kaset berhingga akan selalu ada Finite State Automata yang sesuai, tetapi saya tidak dapat menemukan ini dikonfirmasi di mana pun di internet. Apakah ini yang sebenarnya terjadi atau saya salah
Mengapa angka yang dapat dihitung (dalam arti Turing) dapat dihitung? Pasti sangat jelas, tetapi saya saat ini tidak
Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu
Kami baru saja selesai kami "Waktu Konstruksi gedung" pelajaran di kelas minggu lalu, dan kami, demi contoh ini, menunjukkan bahwa sepenuhnya waktu constructible, yaitu terdapat (multi-tape deterministik) mesin Turing bahwa untuk diberikan, berhenti setelah tepat langkah, dan hanya bertanya apakah...
Pertama-tama, saya minta maaf jika ini ditanyakan, tetapi saya benar-benar tidak menemukan apa pun. Saya menemukan artikel ini . Dikatakan bahwa ada masalah yang hanya bisa diselesaikan oleh Komputer Quantum. Dalam pemahaman saya, ini harus berarti, secara intuitif, bahwa masalah ini "dapat...
Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang...
Sebagai contoh, kita dapat mengatakan bahwa kita memiliki program abstrak yang, diberi string biner terbatas sebagai input, menghapus semua nol (yaitu 0010001101011 dievaluasi menjadi 111111), yang jelas merupakan fungsi yang dapat dihitung oleh Turing. Bagaimana sistem tag siklik menghitung ini...
Membiarkan CCCmenjadi seperangkat bahasa enumerable rekursif non-sepele ( ) dan biarkan L menjadi set pengkodean mesin Turing yang mengenali beberapa bahasa dalam C : L = \ {\ langle M \ rangle \ mid L (M) \ dalam C \}∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq
Apakah PC kami berfungsi sebagai Mesin Turing? Model Mesin Turing terdiri dari pita memori tak terbatas, yang berarti status tak terbatas. Tapi anggaplah jika PC kita memiliki 128 MB memori dan 30GB disk itu akan memiliki 256 ^ 30128000000 negara dan dengan demikian, ia memiliki status yang...
Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara...
Saya ingin menentukan apakah masalah keputusan ini dapat diputuskan. Saya telah mencoba membuat reduksi dari Halt dan "Terima string kosong", tetapi saya belum menemukan solusi. Adakah yang bisa membantu
Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua...