Pertanyaan yang diberi tag «universal-computation»

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 berdasarkan Wikipedia) bahwa ada beberapa kontroversi mengenai apakah (2, 3) mesin …

31 computability  turing-machines  universal-computation 

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(flog⁡f)⊊DTsayaM.E(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Kami belum memiliki overhead semacam ini untuk NTIME dari DSPACE. Pembenaran dasar berasal dari rincian bukti dengan mempertimbangkan perbedaan antara simulator. …

30 cc.complexity-theory  universal-computation  time-hierarchy 

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 Kolmogorov dari xxx , K(x)K(x)K(x) , sebagai panjang dari program terpendek …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

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 setara

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

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' '+' '1' '1' -> '1' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

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: λf.fKSK ukuran 12: λf.fS (λxyz.x) ukuran 11: λf.fSK …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Apakah ada aplikasi praktis untuk model pemrograman non-von Neumann? Apa bahasa pemrograman non-von Neumann yang paling banyak diadopsi?

16 universal-computation  logic-programming 

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 hanya menggunakan fungsi dasarnya saja. packet switching (dan koreksi checksum, tepatnya). …

14 computability  universal-computation 

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 menuliskan fungsi yang, jika …

13 universal-computation  one-way-function 

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. 52–53): Fungsi aritmatika …

10 turing-machines  universal-computation  charles-babbage 

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 kesatuan dimensi yang bertindak sebagai identitas pada semua kecuali 2 dimensi, tetapi bertindak sebagai …

10 quantum-computing  linear-algebra  universal-computation 

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 misalnya http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Saya mencoba mengatakan sesuatu tentang model perhitungan biomolekuler tertentu. Saya ingin berpendapat bahwa ini …

10 universal-computation 

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 ada N sehingga untuk semua …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

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 Curry-Howard, saya merasa bahwa keutamaan UTM-s dapat merusak penelitian pada …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods