Pertanyaan yang diberi tag «undecidability»

Biarkan Apakah ada mesin Turing R yang memutuskan (maksud saya tidak mengenali) bahasa L ∅ ?L.∅= { ⟨ M⟩ ∣ M adalah Turing Machine dan L ( M) = ∅ } .L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L.∅L∅L_\emptyset …

11 turing-machines  computability  undecidability 

Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu menjalankan …

11 complexity-theory  computability  undecidability  decision-problem 

Saya telah menemukan masalah menarik berikut: misalkan menjadi polinomial di atas bidang bilangan real, dan mari kita anggap bahwa koefisien mereka semuanya bilangan bulat (yaitu, ada representasi persis terbatas dari polinomial ini). Jika diperlukan, kita dapat menganggap bahwa tingkat kedua polinomial sama. Mari kita dilambangkan dengan x p (resp. X …

11 computability  undecidability  computer-algebra 

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 mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan Masalah Henti untuk oracle Turing +. Apakah ada contoh aktual, …

11 computability  undecidability  halting-problem  oracle-machines 

Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) ​​st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* y ∈ Σ * ⟨ x , y …

11 computability  proof-techniques  undecidability 

Dalam masalah penghentian, kami tertarik jika ada mesin Turing yang dapat mengetahui apakah mesin Turing M yang diberikan berhenti atau tidak pada input yang diberikan i . Biasanya, buktinya mulai dengan menganggap T seperti itu ada. Kemudian, kami mempertimbangkan kasus di mana kami membatasi i untuk M itu sendiri, dan …

10 computability  undecidability  halting-problem 

Apakah menerima berarti bahwa TM akan membaca dan mengenali arang dari sel yang sedang dibacanya? Dan apakah TM berhenti jika inputnya dapat ditentukan?

10 terminology  turing-machines  undecidability 

Apakah ada kebutuhan untuk untuk menjadi tak terbatas untuk diputuskan?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Maksud saya bagaimana jika kita memilih bahasa menjadi versi terbatas terbatas , yaitu , ( ), dengan . Mungkinkah menjadi bahasa yang tidak dapat ditentukan? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L …

10 formal-languages  computability  undecidability 

OK, jadi inilah pertanyaan dari tes sebelumnya di kelas Teori Komputasi saya: Keadaan tidak berguna di TM adalah yang tidak pernah dimasukkan pada string input apa pun. Biarkan Buktikan bahwa tidak dapat ditentukan.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle …

10 computability  undecidability  formal-methods  turing-machines 

Di situs ini ada banyak varian pada pertanyaan apakah TM dapat memutuskan masalah penghentian, apakah untuk semua TM lain atau subset tertentu. Pertanyaan ini agak berbeda. Ia bertanya apakah fakta masalah penghentian berlaku untuk semua TM dapat diputuskan oleh TM. Saya percaya jawabannya tidak, dan ingin memeriksa alasan saya. Tetapkan …

9 computability  turing-machines  undecidability  halting-problem 

Satu pernyataan teorema Rice diberikan pada halaman 35 dari "Kompleksitas Komputasi: Pendekatan Modern" (Arora-Barak): Fungsi parsial dari {0,1}∗{0,1}∗\{0,1\}^* hingga {0,1}∗{0,1}∗\{0,1\}^* adalah fungsi yang tidak harus didefinisikan pada semua inputnya. Kita mengatakan bahwa TM MMM menghitung fungsi parsial fff jika untuk setiap xxx di mana fff didefinisikan, M(x)=f(x)M(x)=f(x)M(x) = f(x) dan …

9 computability  turing-machines  undecidability  rice-theorem 

Saya mencoba memberikan bukti sebagai berikut: Untuk bahasa apapun SEBUAHSEBUAHA , terdapat bahasa BBB sehingga A ≤TBSEBUAH≤TBA \le_{\mathrm{T}} B tapi B ≰TA≰TSEBUAH\nleq_{\mathrm{T}} A . Saya berpikir untuk membiarkan BBB menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , tetapi saya menyadari bahwa tidak semua bahasa Turing dapat direduksi menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , jadi A≤TBSEBUAH≤TBA \le _T B …

9 computability  reductions  undecidability 

Hari ini saat makan siang, saya mengemukakan masalah ini dengan kolega saya, dan yang mengejutkan saya, argumen Jeff E. bahwa masalahnya tidak dapat meyakinkan mereka (di sini ada posting yang berkaitan erat dengan mathoverflow). Pernyataan masalah yang lebih mudah untuk dijelaskan ("adalah P = NP?") Juga dapat dipilih: ya atau …

9 computability  undecidability 

Pertanyaan ini muncul pada saya tentang masalah penghentian dan saya tidak dapat menemukan jawaban online yang bagus, bertanya-tanya apakah ada yang bisa membantu. Apakah mungkin bahwa masalah penghentian dapat diputuskan untuk setiap TM pada input apa pun asalkan inputnya bukan TM itu sendiri? Pada dasarnya: Halts(TM, I) IF TM == …

9 computability  undecidability  halting-problem