«turing-machines» 태그된 질문

저는 CS 학부생입니다. Turing이 자신의 추상 기계 (계산을 수행하는 사람을 모델링)를 생각해 냈지만 이해하기가 어색하고 우아하지 않은 것처럼 보입니다. 왜 우리는 "테이프"와 머신 헤드가 기호를 쓰고 상태를 바꾸고 테이프를 앞뒤로 이동시키는 것을 고려합니까? 근본적인 의미는 무엇입니까? DFA는 우아합니다. 일반 언어를 인식하는 데 필요한 것을 정확하게 캡처하는 것 같습니다. 그러나 튜링 …

68 turing-machines  computation-models 

우리는 Turing Machines에서 정지 문제 (Turing Machines)가 결정 불가능하다는 것을 알고 있습니다. Turing Machines 또는 범용 컴퓨터의 도움 으로 인간의 마음이이 문제를 얼마나 잘 처리 할 수 ​​있는지에 대한 연구가 있습니까? 참고 : 분명히 가장 엄격한 의미에서 튜링 머신이 너무 커서 단일 인간의 수명 동안 읽을 수 없기 때문에 항상 …

60 computability  turing-machines  halting-problem  human-computing 

Turing Complete로 간주되기 위해 프로그래밍 언어로 된 프로그래밍 언어 구문 세트가 있습니까? wikipedia 에서 알 수 있듯이 언어는 재귀를 지원해야하거나 중단없이 실행할 수 있어야합니다. 이것이 전부입니까?

55 computability  programming-languages  turing-machines  turing-completeness 

Turing Machine이 "모든 가능한 수학적 문제"를 수행 할 수 있다는 데 동의합니다. 그러나 그것은 단지 알고리즘의 기계적인 표현이기 때문입니다. 먼저 이것을 수행 한 다음 그렇게하고 결국 그것을 출력하십시오. 나는 해결할 수있는 것은 알고리즘으로 표현 될 수 있음을 의미합니다 (정확하게 '해결 가능'의 정의이기 때문에). 그것은 단지 타우 톨 로지 일뿐입니다. 나는 …

54 algorithms  turing-machines  automata  computation-models 

양자 계산에서 튜링 머신의 동등한 모델은 무엇입니까? 양자 게이트로 양자 회로 를 구성 할 수있는 방법이 분명 하지만, 양자 효과의 이점을 얻을 수있는 양자 튜링 머신 (QTM)을 어떻게 정의 할 수 있습니까?

52 quantum-computing  turing-machines  computation-models 

에서 이 대답 은 언급 유한 언어로 정규 언어를 인식 할 수 있습니다. 컨텍스트가없는 언어는 스택을 필요로하고, 문맥에 민감한 언어는 두 스택을 (말에 해당하는이 전체 튜링 기계가 필요)가 필요합니다 . 위의 대담한 부분의 진실에 대해 알고 싶었습니다. 사실입니까? 이에 대한 답변을 얻는 좋은 방법은 무엇입니까?

41 computability  turing-machines  automata  pushdown-automata 

적어도 일부 영역에서 튜링 머신 기능을 초과하는 이론적 인 머신이 있습니까?

39 computability  turing-machines  hypercomputation 

Turing-complete가 무엇인지에 대한 대부분의 정의는 어느 정도 팽팽한 것으로 보입니다. 예를 들어 Google에서 "Turing complete의 의미는 무엇입니까?" 컴퓨터가 튜링 기계가 할 수있는 문제를 해결할 수 있다면 튜링 완료입니다 ... 다른 시스템이 튜링 완료인지 여부는 잘 정의되어 있지만 튜링 완료의 의미 / 결과가 무엇인지에 대한 설명은 보지 못했습니다. 튜링 머신은 튜링 …

33 turing-machines  turing-completeness 

Alan Turing은 (숫자, 함수 등)을 계산하고 Halting Theorem을 증명 한 기계 (Turing Machine, TM)의 모델을 제안했습니다 . TM은 기계 (또는 원하는 경우 엔진)의 추상 개념입니다. 홀팅 정리는 불가능한 결과입니다. Carnot Engine (CE)은 열 엔진의 추상 개념이며 Carnot은 열역학 엔트로피와 관련된 또 다른 불가능한 결과 인 Carnot Theorem을 증명했습니다 . TM이 …

31 turing-machines  halting-problem  entropy 

양자 튜링 기계를 정의하는 방법 에 대한 토론을 겪었습니다. 그리고 나는 양자 TM과 비 결정적 TM이 하나 라고 생각합니다 . 다른 질문에 대한 답은 그 점에 영향을 미치지 않습니다. 이 두 모델은 동일하고 동일합니까? 그렇지 않다면 퀀텀 TM과 NDTM의 차이점은 무엇입니까? NDTM이 Quantum TM보다 더 빠른 계산이 있습니까? 이 경우 …

30 computability  turing-machines  quantum-computing  nondeterminism 

나는에 의해 문 아래에 발생 앨런 M. 튜링 여기 : "기계가 놀라움을 일으키지 않는다는 견해는 필자가 생각하기에 철학자와 수학자가 특히 다루고있는 오류에 기인한다. 이것은 사실이 사실로 떠오르 자마자 그 사실의 모든 결과가 떠오른 것으로 가정한다. 그것은 많은 상황에서 매우 유용한 가정이지만, 그것이 거짓이라는 것을 너무 쉽게 잊어 버립니다. " 나는 …

29 turing-machines  computability  computation-models 

Church-Turing 논문은 물리적으로 계산할 수있는 모든 것이 Turing Machine에서 계산 될 수 있다고 명시하고 있습니다. 논문 "신경망을 통한 아날로그 계산"(Siegelmannn and Sontag, Theorytical Computer Science , 131 : 331–360, 1994; PDF )은 특정 형태의 신경망 (설정이 논문에 제시되어 있음)이 더 강력하다고 주장합니다. 저자들은 기하 급수적으로 그들의 모델이 튜링 머신 모델에서 …

29 computability  turing-machines  church-turing-thesis 

저는 현재 알고리즘과 복잡성으로 책을 읽고 있습니다. 현재 계산 가능한 함수와 계산할 수없는 함수에 대해 읽고 있으며, 저의 저서에는 계산 가능한 것보다 계산할 수없는 더 많은 함수가 있다고 말하고 있습니다. 실제로 대다수는 계산할 수 없습니다. 어떤 의미에서 나는 직관적으로 받아 들일 수 있지만이 책은 공식적인 증거를 제시하지도 않고 주제에 대해 …

29 computability  turing-machines  combinatorics 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

정지 문제는 주어진 프로그램이 정지하는지 여부를 결정하는 알고리즘이 없음을 나타냅니다. 결과적으로 종료 여부를 알 수없는 프로그램이 있어야합니다. 그러한 프로그램의 가장 간단한 (가장 작은) 알려진 예는 무엇입니까?

27 computability  turing-machines  halting-problem