Pertanyaan yang diberi tag «simulation»

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 automata: jika mereka menerima bahasa yang sama). Apakah ada cara lain …

21 proof-techniques  computation-models  simulation 

Menurut artikel Wikipedia ini , tata bahasa tidak terbatas setara dengan mesin Turing. Artikel tersebut mencatat bahwa saya dapat mengubah mesin Turing apa pun menjadi tata bahasa yang tidak dibatasi, tetapi hanya menunjukkan cara mengubah tata bahasa menjadi mesin Turing. Bagaimana saya melakukan itu dan mengubah mesin Turing yang mengenali …

19 formal-grammars  turing-machines  simulation 

Biarkan menjadi fungsi tetap yang dapat dibangun-waktu.fff Hasil simulasi universal klasik untuk TMs (Hennie dan Stearns, 1966) menyatakan bahwa ada dua-tape TM sedemikian rupa sehingga diberikanUUU deskripsi dari TM , dan⟨M⟩⟨M⟩\langle M \rangle string input ,xxx dijalankan untuk langkah dan mengembalikan jawaban M pada x . Dan g dapat dianggap …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Atas pertanyaan tentang penghitungan inversi ini , saya menemukan makalah yang membuktikan batas bawah pada kompleksitas ruang untuk semua algoritma streaming (pasti) . Saya telah mengklaim bahwa batasan ini meluas ke semua algoritma waktu linier. Ini agak berani seperti pada umumnya, algoritma waktu linier dapat melompat-lompat sesuka hati (akses acak) …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Tujuannya adalah membuat DFA dari ekspresi reguler dan menggunakan "Exp reguler> NFA> Konversi DFA" bukan opsi. Bagaimana seharusnya orang melakukan itu? Saya mengajukan pertanyaan ini kepada profesor kami tetapi dia mengatakan kepada kami bahwa kami dapat menggunakan intuisi dan dengan baik hati menolak untuk memberikan penjelasan. Jadi saya ingin bertanya …

12 automata  finite-automata  regular-expressions  simulation 

Saya membaca Sipser dan saya merasa sulit untuk memahami apa prosesnya sehingga jika Anda memberi saya mesin Turing dengan kaset k, saya dapat memuntahkan mesin Turing yang setara dengan hanya satu kaset. Sebuah contoh akan menyenangkan. Sebenarnya, contoh yang menunjukkan bagaimana untuk pergi dari TM yang memiliki kaset ke yang …

11 turing-machines  simulation 

Apakah ada otomat seluler (dalam 2D) yang mensimulasikan gaya antara partikel?1/r1/r1/r Lebih khusus lagi, saya ingin tahu apakah mungkin, dengan aturan pembaruan lokal yang ketat, untuk memiliki dua objek (didefinisikan dalam model) menarik satu sama lain dengan kekuatan , di mana r adalah jarak yang memisahkan objek. Ini khususnya akan …

11 simulation  cellular-automata 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Saya mencoba menemukan jawaban dari dua pertanyaan tentang mesin Universal Turing. Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah status yang lebih besar? Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah karakter alfabet yang lebih besar? Adakah yang …

10 computability  turing-machines  simulation  turing-completeness 

Pertanyaannya adalah latihan 1.9 dari buku Arora-Barak's Computational Complexity - A Modern Approach : Tentukan mesin RAM Turing menjadi mesin Turing yang memiliki memori akses acak. Kami meresmikan ini sebagai berikut: Mesin memiliki array A tak terbatas yang diinisialisasi ke semua kosong. Ini mengakses array ini sebagai berikut. Salah satu …

10 complexity-theory  turing-machines  machine-models  simulation 

Apakah ada seperangkat aturan atau metode untuk mengubah tata bahasa bebas konteks apa pun menjadi automata push down? Saya sudah menemukan beberapa slide online tetapi saya tidak dapat memahaminya. Dalam slide 10 dia berbicara tentang beberapa aturan, adakah yang bisa menjelaskannya?

9 context-free  formal-grammars  pushdown-automata  simulation 

Apakah Mesin Turing yang diizinkan untuk membaca dan menulis simbol dari alfabet tak terbatas lebih kuat daripada TM biasa (itulah satu-satunya perbedaan, mesin masih memiliki sejumlah negara terbatas)? Intuisi tidak memberi tahu saya, karena Anda memerlukan jumlah negara tak terbatas untuk membedakan setiap simbol. Jadi saya pikir beberapa simbol atau …

9 computability  turing-machines  reductions  simulation 

Diketahui bahwa logika temporal LTL, CTL, CTL * dapat diterjemahkan / disematkan ke dalam -calculus. Dengan kata lain, (modal) -calculus menggolongkan logika ini, (yaitu lebih ekspresif.)μμ\muμμ\mu Bisakah Anda jelaskan / arahkan saya ke makalah / buku yang menguraikan hal ini. Secara khusus, adakah keadilan konkret, semangat, dll. Sifat-sifat tidak dapat …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic 

Ketika saya membaca tentang tesis Gereja-Turing, tampaknya menjadi klaim umum bahwa "realitas fisik dapat dihitung-Turing." Apa dasar dari klaim ini? Apakah ada hasil teoretis di sepanjang garis ini? Untuk konteks, saya adalah seorang peneliti yang bekerja pada simulasi fisik, jadi tentu saja saya sadar bahwa banyak persamaan diferensial parsial (PDE) …

8 computability  simulation  church-turing-thesis  hypercomputation 

Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu danU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Bukti ini didasarkan pada keberadaan mesin Universal …

8 complexity-theory  turing-machines  simulation