Pertanyaan yang diberi tag «turing-machines»

Mesin Turing adalah model dasar perhitungan, terutama dalam pekerjaan teoretis.

4
Teorema Gereja dan Teorema Ketidaklengkapan Gödel
Saya baru-baru ini membaca beberapa ide dan sejarah dari pekerjaan inovatif yang dilakukan oleh berbagai ahli logika dan ahli matematika mengenai kemampuan komputasi. Sementara konsep-konsep individual cukup jelas bagi saya, saya sedang mencoba untuk memahami dengan kuat hubungan antar-hubungan di sana dan tingkat abstrak di mana mereka semua terkait. Kita …


3
Apakah Magic: the Gathering Turing lengkap?
Pertanyaan yang sangat spesifik, saya sadar, dan saya ragu itu akan dijawab oleh siapa pun yang belum terbiasa dengan aturan Sihir. Diposting silang ke Draw3Cards . Berikut adalah aturan komprehensif untuk game Magic: the Gathering . Lihat pertanyaan ini untuk daftar semua Kartu Ajaib. Pertanyaan saya adalah - apakah game …

5
Soal komputabilitas mengajar
Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak bisa menjawab kecuali saya mengajari mereka mesin Turing, …

3
Jika mesin abstrak dapat mensimulasikan dirinya sendiri, apakah itu membuatnya Turing lengkap?
Sebagai contoh, dalam bahasa pemrograman adalah umum untuk menulis kompiler / juru bahasa X-in-X, tetapi pada tingkat yang lebih umum banyak sistem Turing-complete yang dikenal dapat mensimulasikan diri mereka dengan cara yang mengesankan (misalnya mensimulasikan Game of Life Conway dalam Game of Life Conway ). Jadi pertanyaan saya adalah: apakah …


3
Apakah konsep Mesin Turing berasal dari automata?
Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal …


2
Apakah ada algoritma waktu linear non-deterministik untuk CNF-SAT?
Masalah keputusan CNF-SAT dapat digambarkan sebagai berikut: Input: Rumus boolean ϕϕ\phi dalam bentuk normal konjungtif. Pertanyaan: Apakah ada tugas variabel yang memenuhi ?ϕϕ\phi Saya sedang mempertimbangkan beberapa pendekatan berbeda untuk memecahkan CNF-SAT dengan mesin Turing dua-tape non-deterministik . Saya percaya bahwa ada NTM yang memecahkan CNF-SAT dalam langkah .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

5
Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 


1
Kelayakan mesin Gödel
Baru-baru ini saya menemukan konstruksi teoretis yang cukup menarik. Mesin Gödel disebut Ini adalah pemecah masalah umum yang mampu melakukan optimasi diri. Ini cocok untuk lingkungan yang reaktif. Seperti yang saya mengerti, ini dapat diimplementasikan sebagai program untuk mesin Turing universal, meskipun persyaratannya jauh melampaui perangkat keras yang saat ini …

3
"The" kategori mesin Turing?
Penafian: Saya tahu sedikit tentang teori kompleksitas. Maaf, tetapi benar-benar tidak ada cara untuk mengajukan pertanyaan ini tanpa (sangat) singkat: Apa yang seharusnya menjadi morfisme dalam kategori "the" dari mesin Turing? Ini jelas subyektif dan tergantung pada interpretasi seseorang terhadap teori, jadi jawaban untuk pertanyaan ini idealnya harus memberikan beberapa …


3
Apakah ada nama untuk "hal-hal fisik dari mana seseorang dapat membangun mesin Turing"?
Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun komputer lengkap Turing dari bahan optik non-linear, berbagai biomolekul, dan …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.