«computability» 태그된 질문

RAM을 명령 목록으로 만들고이 목록을 정수로 만들어서 Gödel 번호의 RAM을 얻을 수 있습니다. 그래서 내가 생각한 것은 "자신의 고델 번호 (예 : )를 반환하는 RAM은 그 안에 정보 x 를 가져와야하기 때문에 정수는 x 보다 커야합니다 . 그래서 그것은 자신의 고델을 반환하지 않습니다 번호."xxxxxxxxx 그러나 특정 숫자 의 경우 RAM …

12 computability 

Turing의 정지 문제를 이해하는 데 어려움이 있습니다. 그의 증거는 컴퓨터가 주어진 입력에 대해 영원히 멈추거나 반복되는지 여부를 결정할 수 있는 마법 기계 가 있다고 가정합니다 . 그런 다음 출력을 반전시키는 다른 기계를 연결하여 모순이 생겨 H 가 존재할 수 없습니다.HHHHHH 내 관심사는 우리가 답을 뒤집어서 답변이 틀렸다고 말하는 것처럼 보입니다. …

12 computability  halting-problem 

tex.SE에 대한 의견 은 나를 놀라게했습니다. 진술은 본질적으로 다음과 같습니다. 언어 X에서 언어 X에 대한 컴파일러를 작성할 수 있다면 X는 Turing-complete입니다. 계산 및 공식 언어 용어로 다음과 같습니다. 경우 결정 L ⊆ L T M 및 ⟨ M ⟩ ∈ L 후 F L = R E를 .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle …

12 computability  turing-completeness 

여기 문제가 있습니다 : 입력 문자열이 포함 된 테이프 부분에 쓸 수없는 단일 테이프 Turing Machine은 일반 언어 만 인식한다는 것을 증명하십시오. 내 생각은이 특정 TM이 DFA와 동등하다는 것을 증명하는 것입니다. 이 TM을 사용하여 DFA를 시뮬레이션하는 것은 매우 간단합니다. 그러나이 DFA를 사용하여 TM을 시뮬레이션하려고 할 때 문제가 발생합니다. TM 전이 …

12 formal-languages  computability  regular-languages  turing-machines  automata 

계산 성 이론은 재귀 이론이라고도합니다. 왜 그렇게 부르나요? 재귀가 왜 그렇게 중요합니까?

12 computability  terminology  history 

나는 smn 정리를 공부하고 있으며 그 개념은 저에게 커리를 상기시켜주었습니다. smn 정리 에 대한 Wikipedia 기사에서 : 정리는 주어진 프로그래밍 언어와 양의 정수 m과 n에 대해 m 값과 함께 m + n 자유 변수를 가진 프로그램의 소스 코드를 입력으로 받아들이는 특정 알고리즘이 있다고 말합니다. 이 알고리즘은 첫 번째 m 자유 …

12 computability 

따라서 두 개의 DFA가 주어지면 동일한 언어를 생성 할 수 있는지를 결정하는 데 문제가 있습니까? 나는 두 CFL의 평등이 결정 불가능하다는 것을 이미 알고 있습니다. 두 DFA의 평등은 어떻습니까? DFA와 관련된 대부분의 문제를 결정할 수 있다는 점을 고려할 때, 이것도 결정할 수 있습니까?

11 computability  automata  finite-automata  decision-problem 

이 질문은 모든 수학적 정리가 단일 Turing 기계의 정지 여부에 대한 질문으로 축소 될 수 있는지에 관한 것입니다. 특히, 나는 현재 입증되지 않은 추측에 관심이 있습니다. 예를 들어, Wikipedia 는 현재 홀수의 완벽한 숫자가 있는지 알 수 없다고 말합니다 . 주어진 숫자가 완벽한 지 여부를 결정할 수 있기 때문에 각 …

11 formal-languages  computability  mathematical-foundations 

결정 불가능한 문제가 존재한다는 것이 물리적 시스템의 예측 불가능 성을 즉시 암시합니까? 정지 문제를 고려해 봅시다. 먼저 일반적인 회로 기반 구성을 사용하여 물리적 UTM을 구성합니다. 그러면 회로의 입력 설정에 따라 회로 정지 여부를 결정할 수있는 결정 가능한 물리 이론이있을 수 없습니다. 이것은 사소한 것처럼 보이지만 양자 또는 혼란스러운 고려 사항과 …

11 computability  turing-machines  undecidability  physics 

이 질문에 내가 놓친 사소한 대답이 있으면 죄송합니다. 결정 불가능한 것으로 입증 된 문제를 연구 할 때마다 그 증거가 결정 불가능한 것으로 입증 된 다른 문제의 감소에 의존한다는 것을 알았습니다. 문제의 난이도에 따라 일종의 질서를 생성한다는 것을 이해합니다. 그러나 내 질문은-결정 불가능한 모든 문제를 결정할 수없는 다른 문제로 줄일 수 …

11 computability  reductions  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 

나는 양자 컴퓨터가 튜링 기계보다 계산적으로 더 강력하지 않다는 말을 들었습니다. 누군가가 그 사실을 설명하는 참고 문헌을 제공하는 데 친절하게 도움을 줄 수 있습니까?

11 computability  reference-request  turing-machines  quantum-computing 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 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