«turing-machines» 태그된 질문

나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

나는 일종의 새로운 것이지만 컴퓨팅 및 복잡성 이론 분야에 매우 관심이 있으며 문제를 분류하는 방법과 문제를 해결하는 데 사용되는 기계와 문제가 얼마나 강한 지에 대한 이해를 분명히하고 싶습니다. 내 이해 표준 튜링 머신-유한 알파벳, 유한 수의 상태 및 하나의 오른쪽 무한 테이프를 가진 튜링 머신 Turing-Equivalent Machine-표준 Turing Machine에 의해 …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

튜링 기계의 정의 는 항상 입력 알파벳의 일부가 아닌 빈 기호에 대해 명시 적입니다. 난 당신이 때 무엇이 잘못되었는지 궁금 할 효과적으로 빈 기호가 이미 입력의 일부가 될 것 때문에, 그것은 입력 알파벳의 일부합니다. 마지막 문장에서 '인상'을 설명하려면 다음을 고려하십시오. 기본 설정에서 입력 오른쪽에 무한한 수의 빈 기호가 나타납니다. 테이프 …

12 turing-machines 

배경 : 저는 컴퓨터 과학의 완전한 평신도입니다. 나는 바쁜 비버 번호에 대해 읽고 있었다 여기에 , 나는 다음과 같은 구절을 발견 : 인류는 BB (7)의 값이나 시퀀스의 더 높은 숫자는 물론 BB (6)의 값을 절대 알 수 없습니다. 실제로, 상위 5, 6 규칙 경쟁자들은 이미 우리를 피하고 있습니다. 우리는 그들이 …

12 turing-machines  number-theory  busy-beaver 

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

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

나는 계산 이론에서 괴델 라이 제이션 과정을보고있었습니다. 나는 고델 (Gödel) 번호 매기기 개념을 이해할 수 있었지만 계산 이론에서 그 중요성을 이해할 수 없었습니다. 누구나 좋은 재료를 지적하거나 그 중요성을 지적 할 수 있습니까?

12 formal-languages  turing-machines 

문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다. 각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다. 선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

나는 최근의 질문에 대한 답을 읽고 있었고, 이상하고 일시적인 생각이 떠 올랐습니다. 이 질문을하면 이론가가 심각하게 부족하거나 (거의 사실임)이 사이트를 읽기에는 너무 이르다는 사실을 배신 할 수 있습니다. 이제 면책 조항을 벗어난 상태에서 ... TM에 대해 정지 문제를 결정할 수 없다는 것은 계산 결과 이론으로 잘 알려진 결과이다. 그러나 특정 …

12 turing-machines  undecidability  halting-problem 

테이프 / 테이프가 튜링 머신의 공식적인 정의의 일부가 아닌 이유가 궁금합니다. 예를 들어 Wikipedia 페이지에서 Turing machine의 공식적인 정의를 고려 하십시오 . Hopcroft 및 Ullman에 따른 정의에는 유한 상태 , 테이프 알파벳 , 공백 기호 , 초기 상태 , 최종 상태 세트 , 그리고 전환 기능 . 테이프 자체는 없습니다.Γ …

11 turing-machines  computation-models 

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

11 computability  turing-machines  undecidability  physics 

나는 튜링 머신이 하나의 테이프와 두 방향으로 테이프로 표현되는 것을 보았습니다. 이러한 튜링 기계의 힘에 차이가 있습니까, 아니면 기본적으로 동등합니까? 내 머리에는 양방향 무한 테이프를 단방향 무한 테이프로 표현할 수있는 방법이 있어야한다고 생각하기 때문에 그것들이 동등하다고 생각하지만 증거 나 예를 찾을 수없는 것 같습니다.

11 turing-machines 

나는 Sipser를 읽고 있는데 k 테이프가있는 k Turing 기계를 제공하면 하나의 테이프로 동등한 Turing 기계를 뱉어 낼 수있는 과정이 무엇인지 이해하기가 어렵습니다. 좋은 예가 될 것입니다. 실제로 테이프 가있는 TM에서 1 개의 테이프가있는 TM으로 이동하는 방법을 보여주는 예제가 실제로 찾고 있습니다. 지금까지 찾지 못했습니다. 나는 또한 어떤 증거도 찾고 있지 …

11 turing-machines  simulation 

하자 언어를 결정하는 튜링 머신 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 

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

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