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...
Jika kita melihat teorema hierarki DTIME, kita punya log karena overhead dalam simulasi Mesin Turing deterministik oleh mesin universal: D TsayaM.E( flogf) ⊊ D TsayaM.E( f)DTsayaM.E(flogf)⊊DTsayaM.E(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Kami belum memiliki overhead semacam ini untuk...
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...
Ini adalah reformulasi program tata bahasa Are? sebelumnya ditanya oleh Vag dan dengan banyak saran dari para komentator. Dalam hal apa tata bahasa dapat dilihat sebagai spesifikasi model komputasi? Misalnya, jika kita mengambil tata bahasa bebas konteks sederhana seperti G ::= '1' -> '0' '+'...
Saya mencari kombinator universal terkecil yang mungkin , diukur dengan jumlah abstraksi dan aplikasi yang diperlukan untuk menentukan kombinator tersebut dalam kalkulus lambda . Contoh-contoh kombinator universal meliputi: ukuran 23: λf.f (fS (KKKI)) K ukuran 18: λf.f (fS (KK)) K ukuran 14:...
Apakah ada aplikasi praktis untuk model pemrograman non-von Neumann? Apa bahasa pemrograman non-von Neumann yang paling banyak
Greg Egan dalam fiksinya "Dark Integers" (cerita tentang dua alam semesta dengan dua matematika berbeda yang berkomunikasi dengan membuktikan teorema tentang ketidakkonsistenan dalam aritmatika) mengklaim bahwa adalah mungkin untuk membangun komputer tujuan umum hanya pada router internet yang ada...
Ada trik lama untuk menuliskan algoritma yang, jika P = NP, memecahkan SAT dalam waktu polinomial. Pada dasarnya, satu daftar semua mesin waktu polinomial dan multi-tugas di atasnya. Apakah ada trik analog untuk fungsi satu arah (atau bahkan fungsi pintu jebakan satu arah)? Yaitu, dapatkah kita...
Ada beberapa gagasan yang berbeda (mungkin tidak setara) tentang universalitas komputasi (lihat misalnya beberapa halaman terakhir dari http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) dan tidak ada konsensus di antara ahli tentang gagasan mana yang paling benar (lihat...
Dalam makalah seminal Bernstein dan Vazirani "Teori Kompleksitas Kuantum", mereka menunjukkan bahwa transformasi kesatuan dimensi dapat secara efisien didekati dengan produk dari apa yang mereka sebut "rotasi dekat-sepele" dan "pergeseran fase dekat-sepele".ddd "Rotasi Near-trivial" adalah matriks...
Robin Gandy adalah murid Alan Turing . Gandy melakukan analisis Mesin Analitik Babbage (lihat 'Gandy - The Confluence of Ideas pada tahun 1936' dikutip dalam 'Herken, Rolf - Mesin Universal Turing - Sebuah Survei Setengah Abad . Springer Verlag') - dan mengatakan hal itu terjadi (lih. hlm....
Mari kita perbaiki penyandian mesin-Turing dan mesin-Turing universal, U, yang pada input (T, x) menghasilkan output T apa pun pada input x (mungkin keduanya berjalan selamanya). Tentukan kompleksitas Kolmogorov dari x, K (x), sebagai panjang dari program terpendek, p, sehingga U (p) = x. Apakah...
Saya mencari sumber tentang gagasan formal tentang program. Ini tampaknya terkait erat dengan korespondensi Curry-Howard, tetapi orang juga bisa melacak ini kembali ke Mesin Universal Turing dan kemampuannya untuk membaca deskripsi dan input dari setiap TM. Ketika membaca tentang koresponden...