«undecidability» 태그된 질문

하자 언어를 결정하는 튜링 머신 R이 있습니까?L ∅L∅={⟨M⟩∣M is a Turing Machine and 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 여기에서 작동해야 함 을 나타내는 데 사용 된 것과 동일한 기술인 것 같습니다 .{A∣A is a DFA and …

11 turing-machines  computability  undecidability 

다음 문제에 대한 알고리즘이 있습니까? 튜링 기계 감안할 때 언어 결정 , 튜링 기계가 있습니까 결정 이되도록 ? L M 2미디엄1M1M_1엘LL미디엄2M2M_2t 2 ( n ) = o ( t 1 ( n ) )엘LL티2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) 기능 및 는 각각 Turing …

11 complexity-theory  computability  undecidability  decision-problem 

나는 다음과 같은 흥미로운 문제를 겪었습니다. 를 실수의 필드에 대한 다항식으로하고 그들의 계수가 모두 정수라고 가정합시다 (즉,이 다항식의 유한 한 정확한 표현이 있습니다). 필요한 경우 두 다항식의 차수가 같다고 가정 할 수 있습니다. 다항식 (resp. ) 의 일부 (실수 또는 복소수) 근의 최대 절대 값을 (resp. )로 나타내겠습니다 . 속성을 …

11 computability  undecidability  computer-algebra 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . 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 

나는 멈춤 오라클이 있다면 대부분의 문제는 사소한 것임을 이해한다 (또는 동등하게 하이퍼 계산이라고 생각한다). 그러나 튜링 머신에서는 Halting Problem을 나타내는 주장을 적용하는 것이 불가능합니다. 또한 Turing + oracle이 Turing + oracle의 Halting Problem을 결정하는 것은 불가능하다는 것을 보여줍니다. 중지 오라클로 해결할 수없는 실제적이고 실용적인 문제의 예가 있습니까? 참고 : "oracle"이란 …

11 computability  undecidability  halting-problem  oracle-machines 

계산 가능하게 열거 가능한 (반복적으로 열거 가능하고, 반 결정 가능에 해당) 집합의 정의 중 하나는 다음과 같습니다. decidable 언어가 IFF에 CE입니다 V ⊆ Σ * 모든 일 (검증이라고 함) X ∈ Σ *가 ,⊆ Σ※ㅏ⊆Σ※A \subseteq \Sigma^*V⊆ Σ※V⊆Σ※V\subseteq \Sigma^*x ∈ Σ※엑스∈Σ※x\in \Sigma^* 존재 IFF에 Y ∈ Σ * 세인트 ⟨ …

11 computability  proof-techniques  undecidability 

정지 문제에서, 주어진 튜링 머신 ( 이 주어진 입력 ( 에서 정지 되는지 여부를 알 수 있는 튜링 머신 (Tinging machine) 가 있는지 관심이있다 . 일반적으로 이러한 가 존재 한다고 가정하면 증명이 시작됩니다 . 그런 다음 를 제한 한 다음 대각 인수의 인스턴스를 사용하여 모순을 도출 하는 경우를 고려합니다 . …

10 computability  undecidability  halting-problem 

수락한다는 것은 TM이 현재 읽고있는 셀에서 문자를 읽고 인식한다는 의미입니까? 그리고 입력을 결정할 수있는 경우 TM이 정지되는 경우입니까?

10 terminology  turing-machines  undecidability 

거기에 필요 에 대한 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 가 될 무한 결정 불가능한 것으로는? 우리가 언어를 선택하면 내가 무엇을 의미 L′L′L' 수 의 경계 유한 버전 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 입니다 |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ,)와 L′⊂LL′⊂LL' \subset L . 그것은 가능합니다 L′L′L' 결정 불가능한 언어로? "무한한"Kleene 스타 연산의 일종 인 …

10 formal-languages  computability  undecidability 

자, 여기 계산 이론 수업에서 지난 테스트의 질문이 있습니다. TM에서 쓸모없는 상태는 입력 문자열에 입력되지 않은 상태입니다. 하자 을 결정할 수 없음을 증명하십시오 .USELESSTM={⟨M,q⟩∣q is a useless state in M}.유에스이자형엘이자형에스에스티미디엄={⟨미디엄,큐⟩∣큐 쓸모없는 상태입니다 미디엄}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a useless state in }M\}.USELESSTM유에스이자형엘이자형에스에스티미디엄\mathrm{USELESS}_{\mathrm{TM}} 나는 대답이 있다고 …

10 computability  undecidability  formal-methods  turing-machines 

이 사이트에는 TM이 중지 문제를 결정할 수 있는지 여부, 다른 모든 TM 또는 특정 하위 집합에 대한 질문에 많은 변형이 있습니다. 이 질문은 다소 다릅니다. 중지 문제가 모든 TM에 적용되는지를 TM이 결정할 수 있는지 묻습니다. 나는 대답이 '아니오'라고 믿고 나의 추론을 확인하고 싶다. 메타 정지 언어 를 TM이 중지되는지 여부를 …

9 computability  turing-machines  undecidability  halting-problem 

라이스 정리의 한 진술은 "전산 복잡성 : 현대적 접근"(Arora-Barak)의 35 페이지에 나와 있습니다. 에서 부분 기능 {0,1}∗{0,1}∗\{0,1\}^* 에 {0,1}∗{0,1}∗\{0,1\}^*모든 입력에 반드시 정의되어있는 것은 아닙니다. 우리는 TM이라고MMM 부분 함수를 계산합니다 fff 모든 경우에 xxx 어느 fff 정의 M(x)=f(x)M(x)=f(x)M(x) = f(x) 그리고 모든 xxx 어느 fff 정의되지 않았습니다 MMM 입력시 실행될 때 …

9 computability  turing-machines  undecidability  rice-theorem 

다음에 대한 증거를 제시하려고합니다. 모든 언어 ㅏㅏA 에 대해 A \ le _ {\ mathrm {T}} B 이지만 B \ nleq _ {\ mathrm {T}} A 와 같은 언어 B 가 있습니다 .비비Bㅏ≤티비ㅏ≤티비A \le_{\mathrm{T}} B≰티ㅏ≰티ㅏ\nleq_{\mathrm{T}} A 나는시키는 생각하고 있었는데 비비B 가 될 ㅏT Mㅏ티미디엄A_{\mathrm{TM}} 하지만 모든 언어에 환원 튜링되어 있지 …

9 computability  reductions  undecidability 

이 질문은 중단 문제에 대해 나에게 제기되었으며 온라인에서 누군가가 도울 수 있는지 궁금해하는 좋은 대답을 찾을 수 없었습니다. 입력이 TM 자체가 아닌 한 모든 입력의 TM에 대해 정지 문제를 결정할 수 있습니까? 원래: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an exception, whatever ELSE: Solve the …

9 computability  undecidability  halting-problem 

오늘 점심 시간에, 나는 동료들과 함께이 문제 를 제기했고 놀랍게도 문제가 결정 가능하다는 Jeff E.의 주장은 그것들을 설득하지 못했다 ( 여기서 mathoverflow에 밀접하게 관련된 글이있다). 설명하기 쉬운 문제 설명 ( "P = NP?")도 예 또는 아니오로 결정할 수 있으므로 항상 해당 답변을 출력하는 두 TM 중 하나가 문제를 결정합니다. 공식적으로, …

9 computability  undecidability