Pertanyaan yang diberi tag «computability»

Saya seorang sarjana baru mulai membaca tentang komputasi reversibel. Saya tahu bahwa, karena prinsip Landauer, perhitungan yang ireversibel menghilangkan panas (dan yang reversibel tidak). Saya membahasnya dengan profesor saya, yang belum pernah mendengar tentang komputasi reversibel sebelumnya, dan dia mengalami kesulitan memahami mengapa teori komputasi reversibel tidak sepele. Maksudnya adalah …

9 computability  reversible-computing 

Membaca pertanyaan ini, " Masalah RE yang tidak dapat dipastikan tetapi tidak menyelesaikan Turing ", bahasa berikut muncul di benak saya: Jika adalah fungsi berang-berang yang sibuk (skor maksimum yang dapat dicapai di antara semua penghentian 2-simbol n-state mesin Turing dari tipe yang dijelaskan di atas, ketika dimulai pada pita …

9 computability  turing-machines 

Kami ingin mem-tile -square menggunakan dua jenis ubin: -square kuadrat dan -square kuadrat sehingga setiap kotak yang mendasarinya tertutup tanpa tumpang tindih. Mari kita mendefinisikan fungsi yang memberikan ukuran kuadrat unik unik terbesar yang bisa digunakan menggunakan kuadrat dan sejumlah kuadrat.1 × 1 2 × 2 f ( n ) …

9 computability  combinatorics 

Mengapa angka yang dapat dihitung (dalam arti Turing) dapat dihitung? Pasti sangat jelas, tetapi saya saat ini tidak melihatnya.

9 computability  turing-machines  enumeration 

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 

Saya ingin menggunakan bantuan Anda dengan masalah berikut: L = { ⟨ M⟩ ∣ L ( M) bebas konteks }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Tunjukkan bahwa .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Saya tahu bahwa untuk membuktikan , cukup untuk …

9 formal-languages  computability  context-free  turing-machines 

Di tengah semester ada varian dari pertanyaan berikut: Untuk decidable mendefinisikan Tunjukkan bahwa belum tentu decidable.Pref ( L ) = { x ∣ ∃ y st x y ∈ L }L.LLSebelumnya ( L ) = { x ∣ ∃ y st x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x …

9 computability  undecidability 

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan normal? Sebagai referensi, makalah yang saya lihat …

9 formal-languages  terminology  computability  automata  closure-properties 

Saya melihat ini pembacaan MIT pada kompleksitas komputasi dan sebentar 15:00 embarks Erik Demaine pada demonstrasi untuk menunjukkan apa yang dinyatakan dalam judul pertanyaan ini. Namun saya tidak dapat mengikuti alasannya, dalam praktiknya apa yang dia katakan adalah ini: kita dapat menyatakan masalah keputusan sebagai string dan yang dalam praktiknya …

8 computability  proof-techniques  decision-problem  uncountability 

Teori domain memberikan teori komputabilitas yang menakjubkan dengan adanya tipe-tipe sederhana. Tetapi ketika polimorfisme parametrik ditambahkan, tampaknya tidak ada teori yang bagus yang menjelaskan apa yang terjadi dengan sebaik teori domain menjelaskan perhitungan dari tipe sederhana. Tentu saja saya tidak akan mengharapkan hal seperti itu ada untuk System-F karena tidak …

8 computability  type-theory  dependent-types 

Pertimbangkan istilah yang dibangun dari elemen QQ\mathbb Q dan operasi +,×,−,/+,×,−,/+,\times,-,/, dan ⋅−−√n⋅n\sqrt[n]{\,\cdot\,} untuk setiap bilangan alami nnn. Mengingat janji bahwa dua istilah terbentuk dengan baik - yaitu, tidak ada pembagian dengan nol, dan bahkan tidak ada akar angka negatif - apakah ada algoritma yang memutuskan kapan kedua istilah itu …

8 computability  undecidability  number-theory  equality 

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 

Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah penghentian.

8 computability  reference-request  undecidability 

Jika dapat dihitung dan memiliki kebalikan, dalam kondisi apa juga dapat dihitung? Saya tidak dapat menemukan itu di buku teks, dan googling mendapatkan beberapa saran samar tentang bijective, tetapi saya tidak dapat menemukan teorema yang dinyatakan dengan jelas untuk efek itu. Begitu saja, bijective tampaknya cukup tetapi tidak perlu, misalnya, …

8 computability