Definisi himpunan operasi yang diizinkan yang digunakan untuk perhitungan dan biaya masing-masing. Beberapa contoh model termasuk mesin Turing, fungsi rekursif, kalkulus lambda, dan sistem produksi.
Saya telah membaca tentang kalkulus Lambda baru-baru ini tetapi anehnya saya tidak dapat menemukan penjelasan mengapa ini disebut "Lambda" atau dari mana ungkapan itu berasal. Adakah yang bisa menjelaskan asal usul istilah
Saya seorang sarjana CS. Saya mengerti bagaimana Turing menghasilkan mesin abstraknya (memodelkan seseorang yang melakukan perhitungan), tetapi bagi saya tampaknya adalah abstraksi yang canggung dan tidak masuk akal. Mengapa kita mempertimbangkan "pita", dan kepala mesin menulis simbol, mengubah...
Saya setuju bahwa Mesin Turing dapat melakukan "semua kemungkinan masalah matematika". Tapi itu karena itu hanya representasi mesin dari suatu algoritma: pertama lakukan ini, kemudian lakukan itu, akhirnya keluaran itu. Maksud saya apa pun yang dapat dipecahkan dapat diwakili oleh suatu algoritma...
Dalam perhitungan kuantum, apa model yang setara dari mesin Turing? Sangat jelas bagi saya bagaimana sirkuit kuantum dapat dibangun dari gerbang kuantum, tetapi bagaimana kita dapat mendefinisikan mesin Turing kuantum (QTM) yang benar-benar dapat mengambil manfaat dari efek kuantum, yaitu, bekerja...
Ketika mempertimbangkan bagaimana multi-thread-friendly program kami harus, tim saya bingung tentang apakah ada sesuatu yang benar - benar tidak dapat dilakukan pada CPU single-core. Saya berpendapat bahwa pemrosesan grafis memerlukan pemrosesan paralel secara besar-besaran, tetapi mereka...
Kompleksitas algoritma dirancang untuk tidak tergantung pada detail level yang lebih rendah tetapi didasarkan pada model imperatif, mis. Akses array dan memodifikasi sebuah node dalam sebuah pohon membutuhkan waktu O (1). Ini tidak terjadi dalam bahasa fungsional murni. Daftar Haskell membutuhkan...
Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan...
Apa perbedaan dan hubungan antara algoritma acak dan algoritma nondeterministic? Dari Wikipedia Sebuah algoritma acak merupakan algoritma yang mempekerjakan tingkat keacakan sebagai bagian dari logika. Algoritme biasanya menggunakan bit acak seragam sebagai input bantu untuk memandu...
Saya menemukan pernyataan di bawah ini oleh Alan M. Turing di sini : "Pandangan bahwa mesin tidak dapat menimbulkan kejutan adalah karena, saya percaya, pada kekeliruan yang menjadi fokus para filsuf dan matematikawan. Ini adalah asumsi bahwa segera setelah sebuah fakta disajikan di benak semua...
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan...
Baru-baru ini di kelas CS saya, saya diperkenalkan dengan Mesin Turing. Setelah kelas, saya menghabiskan lebih dari 2 jam mencoba mencari tahu apa hubungan antara kaset dan mesin. Saya sama sekali tidak menyadari keberadaan kaset komputer atau bagaimana kaset dan mesin berinteraksi sampai hari...
Per rekomendasi saya memposting ulang ini dari Stack Overflow . Baru-baru ini saya telah memikirkan masalah berikut. Pertimbangkan kode untuk standar "Halo dunia!" program: main() { printf("Hello World"); } Sekarang hampir semua perubahan dalam kode ini akan membuatnya benar-benar tidak...
Ketika mempertimbangkan model mesin dari perhitungan, hierarki Chomsky biasanya ditandai oleh (dalam urutan), automata terbatas, automata push-down, automata terikat linier dan Mesin Turing. Untuk level pertama dan terakhir 1 (bahasa reguler dan bahasa yang berulang secara berulang), tidak ada...
Saya mencari penjelasan tentang bagaimana seseorang dapat membuktikan bahwa dua model perhitungan adalah setara. Saya telah membaca buku-buku tentang masalah ini kecuali bahwa bukti kesetaraan dihilangkan. Saya punya ide dasar tentang apa artinya dua model perhitungan menjadi setara (tampilan...
Saya baru-baru ini mendengar analogi yang menarik yang menyatakan bahwa bukti Turing tentang ketidakpastian masalah penghentian sangat mirip dengan paradoks tukang cukur Russell. Jadi saya bertanya-tanya: matematikawan akhirnya berhasil membuat teori himpunan konsisten dengan beralih dari...
Saya tahu bahwa komputer kuantum dapat memproses superposisi semua keadaan yang mungkin dengan sekali melewati logika. Tampaknya itulah yang ditunjuk orang sebagai apa yang membuat komputer kuantum istimewa atau berguna. Namun setelah Anda memproses input superposisi, Anda memiliki hasil...
Aku pernah mendengar motto interaksi lebih kuat daripada algoritma dari Peter Wegner . Dasar dari ide ini adalah bahwa (klasik) Turing Machine tidak dapat menangani interaksi, yaitu, komunikasi (input / output) dengan dunia luar / lingkungan. Bagaimana ini bisa begitu? Bagaimana bisa sesuatu...
Saya mulai membaca buku tentang Kompleksitas Komputasi dan Mesin Turing. Berikut ini kutipannya: Algoritma (yaitu, mesin) dapat direpresentasikan sebagai string bit setelah kami memutuskan beberapa pengkodean kanonik. Pernyataan ini diberikan sebagai fakta sederhana, tetapi saya tidak bisa...
Operasi apa yang perlu dilakukan untuk melakukan perhitungan analog sewenang-wenang ? Apakah penambahan, pengurangan, penggandaan, dan pembagian cukup? Juga, apakah ada yang tahu persis masalah apa yang dapat ditelusuri menggunakan perhitungan analog, tetapi tidak dengan
Ketika mengembangkan algoritma dalam komputasi kuantum, saya perhatikan bahwa ada dua model utama di mana ini dilakukan. Beberapa algoritma - seperti untuk masalah pohon Hamiltonian NAND (Farhi, Goldstone, Guttman) - pekerjaan dengan merancang Hamiltonian dan beberapa keadaan awal, dan kemudian...