Apakah ada hubungan antara Mesin Turing dan kalkulus Lambda - atau apakah mereka muncul secara
Mesin Turing adalah model dasar perhitungan, terutama dalam pekerjaan teoretis.
Apakah ada hubungan antara Mesin Turing dan kalkulus Lambda - atau apakah mereka muncul secara
Saya memiliki tiga subquestions terkait, yang disorot oleh poin-poin di bawah ini (tidak, mereka tidak dapat dibagi, jika Anda bertanya-tanya). Andrej Bauer menulis, di sini , bahwa beberapa fungsi dapat diwujudkan melalui mesin Turing, tetapi tidak melalui lambda-calculus. Langkah utama dari...
Ini pemahaman saya bahwa model Turing telah menjadi "standar" ketika menjelaskan perhitungan. Saya tertarik untuk mengetahui mengapa hal ini terjadi - yaitu, mengapa model TM menjadi lebih banyak digunakan daripada model lain yang setara secara teori (sepengetahuan saya), misalnya urs-Rekursi...
Komputer nyata memiliki memori yang terbatas dan hanya sejumlah negara terbatas. Jadi mereka pada dasarnya automata terbatas. Mengapa ilmuwan komputer teoretis menggunakan mesin Turing (dan model lain yang setara) untuk mempelajari komputer? Apa gunanya mempelajari model yang jauh lebih kuat ini...
Dapatkah setiap fungsi yang dapat dihitung dalam waktu pada mesin Turing pita tunggal menggunakan alfabet ukuran dapat dihitung dalam waktu pada mesin Turing single-tape menggunakan alfabet ukuran (katakanlah, dan kosong)?f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k =...
Saya mencari jawaban pasti untuk apakah generasi angka "benar-benar acak" Turing dapat dihitung. Saya tidak tahu bagaimana mengucapkannya dengan tepat. Pertanyaan StackExchange tentang "algoritma efisien untuk pembuatan angka acak" ini hampir menjawab pertanyaan saya. Charles Stewart mengatakan...
Paul Wegner dan Dina Goldin telah lebih dari satu dekade menerbitkan makalah dan buku dengan alasan utama bahwa tesis Church-Turing sering salah diartikan dalam komunitas Teori CS dan di tempat lain. Yaitu, ia disajikan sebagai mencakup semua perhitungan padahal sebenarnya itu hanya berlaku untuk...
Dalam pengantar dan penjelasan kompleksitas P dan NP sering diberikan melalui mesin Turing. Salah satu model perhitungan adalah lambda-calculus. Saya mengerti, bahwa semua model perhitungan adalah setara (dan jika kita dapat memperkenalkan apa pun dalam istilah mesin Turing, kita dapat...
Jika seseorang membatasi Mesin Turing ke pita hingga (yaitu, untuk menggunakan ruang terbatas ), maka masalah penghentian dapat ditentukan, pada dasarnya karena setelah sejumlah langkah (yang dapat dihitung dari jumlah negara , dan , dan ukuran alfabet), konfigurasi harus diulang.SSSQQQSSS...
Saya ingin menyandikan mesin Turing sederhana dalam aturan permainan kartu. Saya ingin menjadikannya mesin Turing universal untuk membuktikan kelengkapan Turing. Sejauh ini saya telah membuat status permainan yang mengkode mesin Turing 2-simbol, 3-simbol Alex Smith . Namun, tampaknya (diakui...
Komputer yang diberi aliran tak terbatas dari bit yang benar-benar acak lebih kuat daripada komputer tanpa itu. Pertanyaannya adalah: apakah ini cukup kuat untuk menyelesaikan masalah penghentian? Artinya, dapatkah komputer probabilistik menentukan apakah suatu program deterministik berhenti atau...
Jika kita membaca buku (atau versi lain dari spesifikasi bahasa jika Anda mau), berapa banyak daya komputasi yang dapat dimiliki oleh implementasi C? Perhatikan bahwa "implementasi C" memiliki arti teknis: itu adalah contoh khusus dari spesifikasi bahasa pemrograman C di mana perilaku yang...
Dalam artikel wikipedia ini tentang Turing Completeness disebutkan bahwa: Kalkulus lambda yang tidak diketik adalah Turing lengkap, tetapi banyak kalkulus lambda yang diketik, termasuk Sistem F, tidak. Nilai dari sistem yang diketik didasarkan pada kemampuan mereka untuk mewakili sebagian besar...
Kita tahu bahwa (lihat, misalnya, Teorema 1 dan 3 dari [1]), secara kasar, dalam kondisi yang sesuai, fungsi yang dapat dihitung secara efisien oleh mesin Turing dalam waktu polinomial ("efisien yang dapat dihitung") dapat diekspresikan oleh jaringan saraf polinomial dengan ukuran yang wajar, dan...
Misalkan saya ingin memformalkan bukti Turing mengenai masalah penghentian sehingga mesin dapat memeriksanya. Beberapa sistem pembuktian teorema otomatis yang terkenal meliputi Mizar, Coq, dan HOL4. Saya mengunduh dan bereksperimen dengan Coq, tetapi tidak memiliki perpustakaan untuk mesin Turing....
Mari kita perbaiki pengkodean Turing-mesin yang bebas awalan dan universal Turing-machine UUU yang pada input (T,x)(T,x)(T,x) (dikodekan sebagai kode bebas-awalan dari TTT diikuti oleh xxx ) menghasilkan keluaran apa pun TTTpada input xxx (mungkin keduanya berjalan selamanya). Tentukan kompleksitas...
Saya tidak bisa memikirkan model seperti itu, mungkin semacam kalkulus lambda yang diketik? beberapa otomat seluler dasar? Ini hampir akan menyangkal "Prinsip Kesetaraan Komputasi" dari Wolfram: Hampir semua proses yang tidak sederhana dapat dilihat sebagai perhitungan kecanggihan yang...
Pertanyaan yang sangat spesifik, saya sadar, dan saya ragu itu akan dijawab oleh siapa pun yang belum terbiasa dengan aturan Sihir. Diposting silang ke Draw3Cards . Berikut adalah aturan komprehensif untuk game Magic: the Gathering . Lihat pertanyaan ini untuk daftar semua Kartu Ajaib. Pertanyaan...
Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak...
Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang...