«turing-machines» 태그된 질문

튜링 기계는 특히 이론적 인 작업에서 기본적인 계산 모델입니다.

4
교회 정리와 고델의 불완전 성 정리
나는 최근 계산 능력에 관해 다양한 논리 학자와 수학자들이 수행 한 획기적인 연구의 아이디어와 역사를 읽었습니다. 개별적인 개념은 제게 분명하지만, 상호 관계와 그것들이 모두 연결되어있는 추상적 수준을 확실히 파악하려고합니다. 우리는 교회의 정리 (또는 Alonzo Church와 Alan Turing 의 Hilbert의 Entscheidungs ​​문제 의 독립적 증거 )가 일반적으로 공식 시스템에서 주어진 수학적 …
4
정지 문제가 결정 불가능한 튜링 완료 계산 모델이 있습니까?
나는 그런 모델, 아마도 어떤 형태의 람다 미적분학을 생각할 수 없습니까? 초등 세포 오토 마톤? 이것은 Wolfram의 "전산 동등성의 원리"를 거의 반증 할 것이다 : 명백히 단순하지 않은 거의 모든 프로세스는 동등한 정교함의 계산으로 볼 수 있습니다
3
Magic : The Gathering Turing이 완료 되었습니까?
매우 구체적인 질문입니다, 저는 알고 있습니다. 그리고 이미 Magic 규칙에 익숙하지 않은 사람이 그 질문에 대답 할 것 같지는 않습니다. Draw3Cards에 교차 게시 . 다음은 Magic : The Gathering 게임에 대한 포괄적 인 규칙입니다 . 모든 매직 카드 목록을 보려면 이 질문 을 참조하십시오 . 내 질문은-튜링 완료 게임입니까? 자세한 …
5
문제 교육 계산 성
계산 함수의 개념을 가르치는 데 어려움이 있습니다. Hilbert / Ackermann / Godel / Turing / Church / ...와 같은 연구원들이 왜 '계산 성'이라는 개념을 발명했는지에 대한 아이디어를 개발하려고 노력했습니다. 학생들은 즉시 물었습니다 : "계산은 무엇을 의미합니까?" 튜링 머신을 가르치지 않으면 대답 할 수없고 "튜링 머신이 계산하면 함수를 계산할 수 있습니다"라고 …
3
추상 기계가 자체를 시뮬레이션 할 수 있다면 튜링이 완료됩니까?
예를 들어, 프로그래밍 언어에서는 X-in-X 컴파일러 / 인터프리터를 작성하는 것이 일반적이지만,보다 일반적인 수준에서 알려진 많은 Turing-complete 시스템은 인상적인 방식으로 시뮬레이션 할 수 있습니다 (예 : Conway의 Game of Life에서 Conway의 Game of Life 시뮬레이션) ). 그래서 내 질문은 : 시스템이 튜링이 완료되었음을 증명하기에 충분히 시뮬레이션 할 수 있습니까? 반드시 필요한 …
2
노름 보존 튜링 기계
양자 컴퓨팅 ( here , here , here ) 에 대한 최근 스레드를 읽으면 일종의 -norm 보존 기계 의 힘에 관한 흥미로운 질문을 기억할 수 있습니다.ℓ피ℓp\ell_p 양자의 복잡성에가는 복잡성 이론에서 일하는 사람들에게 좋은 입문 텍스트는 여호수아 Grochow에 의해 게시 된 링크 Fortnow의 논문입니다 여기 . 이 논문에서 양자 튜링 머신은 …
3
튜링 머신의 개념은 오토마타에서 파생 되었습니까?
최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?" 나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다. …
2
CNF-SAT에 비 결정적 선형 시간 알고리즘이 있습니까?
결정 문제 CNF-SAT는 다음과 같이 설명 될 수 있습니다. 입력 : 결합 형 일반 형식 의 부울 수식ϕϕ\phi 질문 : 를 충족하는 변수 할당이 있습니까?ϕϕ\phi 비 결정적 2 테이프 튜링 머신으로 CNF-SAT를 해결하기위한 여러 가지 접근 방식을 고려하고 있습니다. 단계 에서 CNF-SAT를 해결하는 NTM이 있다고 생각 합니다.n ⋅ 폴리 ( …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
시간 복잡성을 위해 단일 테이프 Turing 기계를 사용하는 이유는 무엇입니까?
아시다시피 시간이 때 단일 테이프 튜링 기계에 대한 많은 유사점이 있습니다 . 멀티 테이프 TM 시뮬레이션, 만으로 더 큰 테이프 알파벳의 시뮬레이션 , 시간 구성 성, 시간 계층 정리의 견고성, ...{ 0 , 1 , b }o ( n2)o(n2)o(n^2){ 0 , 1 , b }{0,1,b}\{0,1,b\} 또한 와 같은 결과 및 …
1
괴델 기계의 타당성
최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …
2
체스가 범용 튜링 머신을 시뮬레이션 할 수 있습니까?
제목 질문에 대한 명확한 답변을 찾고 있습니다. 흑백으로 합법적 인 움직임 만하는 경우 프로그램이 중단되면 게임이 유한 한 시간 안에 종료되도록 프로그램을 무한 보드의 유한 조각 구성으로 변환하는 규칙 세트가 있습니까? 규칙은 일반 체스에서 50 이동 규칙, 교환 및 거세를 뺀 것과 같습니다. 그리고 체스와 같은 게임이 튜링 완료되는 데 …
3
“튜링 머신을 만들 수있는 물리적 물건”이라는 이름이 있습니까?
컴퓨터 과학의 놀라운 점 중 하나는 물리적 구현이 어떤 의미에서 "부적절하다"는 것입니다. 사람들은 릴레이, 진공관, 이산 트랜지스터 등과 같은 여러 가지 기판으로 컴퓨터를 성공적으로 구축했습니다. 곧 비선형 광학 재료, 다양한 생체 분자 및 기타 기판으로 Turing-complete 컴퓨터를 만드는 데 성공할 수 있습니다. 원칙적으로 당구 공 컴퓨터 를 구축하는 것이 가능해 …
3
튜링 머신의 "The"카테고리?
면책 조항 : 복잡성 이론에 대해서는 거의 알지 못합니다. 죄송하지만 간결하지 않고이 질문을 할 수있는 방법은 없습니다. 튜링 머신의 "the"카테고리에있는 형태는 무엇입니까? 이것은 명백히 주관적이며 이론에 대한 해석에 달려 있으므로이 질문에 대한 답변은 이상적으로 답변을 뒷받침하는 증거와 추론을 제시해야합니다. 예를 들어 공식 언어가 아닌 튜링 기계 범주를 찾고 있다는 점을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.