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 bersamaan menggunakan roda gigi. Ketika salah satu dari bit-bit ini dibalik, itu membalik bit-bit lain yang terhubung dengannya.
Tautan di atas menjelaskan cara kerjanya. Pertanyaan saya adalah, apa batasan teoretisnya? Latar belakang komputasi teoretis saya lemah, jadi tolong ELI5.
sunting: Saya tidak tertarik dengan batasan yang jelas: kecepatan (tidak akan memenangkan balapan di sana ...), ukuran papan, atau # kelereng. Saya lebih tertarik pada keterbatasan teoretisnya. Mungkin akan membantu untuk membaginya menjadi dua pertanyaan:
- Bagaimana bisa dibuktikan (atau tidak terbukti) menjadi Turing-complete?
- Jika lebih dari 3 bit gigi dihubungkan bersama, gesekan menjadi terlalu besar untuk sebuah kelereng untuk mengubah semuanya sekaligus. Apakah itu menciptakan batasan tambahan?
Terima kasih - Saya sangat senang membaca jawaban Anda! Saya sudah memikirkan hal ini sejak lama.
3
Apakah Anda ingin mempertimbangkan model ideal (ukuran grid tak terbatas, kelereng tak terhingga banyaknya), atau mesin khusus yang ada? Melihat melagne dari tag yang Anda pilih, dapatkah Anda mempersempit pertanyaan yang ingin Anda atasi? Apa yang bisa dihitung? Seberapa cepat hal-hal dapat dihitung? Apa pertanyaan tentang arsitektur yang ada dalam pikiran Anda?
—
Raphael
Cara termudah untuk mempersempit kemampuan model Anda adalah menjawab pertanyaan-pertanyaan ini. 1) Apa itu input dan output? 2) Gerbang logis mana yang bisa Anda modelkan? Saya bertanya 2) karena jelas bahwa Anda tidak memiliki komputer universal di sana; setiap konfigurasi papan adalah program tetap, dan yang berhubungan erat dengan sirkuit. Jadi, jika Anda dapat mensimulasikan set lengkap gerbang (misalnya gerbang NAND), Anda memiliki model Turing-complete (dengan asumsi semuanya tak terbatas). Karena Anda tidak memiliki komponen statis dengan dua input dan satu output, saya tidak segera melihat apa yang terjadi.
—
Raphael
Yang mengatakan, proyek menarik! Harap beri tahu kami di Obrolan Ilmu Komputer saat diluncurkan.
—
Raphael
Dalam video, Anda berkata: jika Anda membuat papan yang cukup besar, itu bisa melakukan apa yang bisa dilakukan komputer mana pun. Ya, ya dan tidak: dengan komputer, Anda dapat (secara teoritis) membangun papan yang cukup besar, tetapi dengan papan, Anda dapat membangun komputer yang membutuhkan papan yang lebih besar - dan itu berarti papan Anda tidak Turing lengkap. Kelengkapan Turing membutuhkan pengoperasian pada memori besar yang sewenang-wenang , sesuatu yang tidak bisa dilakukan papan Anda. Setiap mesin Turing adalah batas rangkaian tak terbatas dari mesin Turing pita-terbatas, tetapi itu tidak membuat mesin Turing pita-terbatas Turing lengkap.
—
reinierpost
Jika Anda membuat memperbesar bagian papan dari operasi mesin, mereka menjadi Turing lengkap.
—
reinierpost