«universal-computation» 태그된 질문

카드 게임 규칙에 따라 간단한 튜링 머신을 인코딩하고 싶습니다. Turing 완전성을 증명하기 위해 범용 Turing 기계로 만들고 싶습니다. 지금까지 Alex Smith의 2- 상태 3- 기호 튜링 머신 을 인코딩하는 게임 상태를 만들었습니다 . 그러나 (2, 3) 기계가 실제로 보편적인지에 대해서는 논란의 여지가있는 것 같습니다 (Wikipedia에 근거한 것 같습니다). rigour를 위해, …

31 computability  turing-machines  universal-computation 

DTIME 계층 정리를 살펴보면 범용 기계에 의한 결정 성있는 Turing Machine의 시뮬레이션으로 인한 오버 헤드로 인해 로그가 생겼습니다. DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) 우리는 DSPACE의 NTIME에 대해 이런 종류의 오버 헤드를 갖지 않았습니다. 시뮬레이터의 차이점을 고려하여 증명의 세부 사항에서 기본 타당성을 제시합니다. 내 질문은 다음과 같습니다 .DTIME 계층 정리 증명의 세부 …

30 cc.complexity-theory  universal-computation  time-hierarchy 

우리 튜링 기계 및 범용 튜링 기계의 프리픽스 프리 인코딩 수 수정 입력 해당 (의 프리픽스 프리 코드로 인코딩 뒤에 대로 출력) 입력에 대한 출력 가능 ( 둘 다 영원히 실행). 의 콜 모고 로프 복잡도 정의 , , 최단 프로그램의 길이 이되도록 .U 유U( T , X ) ( …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

나는 그런 모델, 아마도 어떤 형태의 람다 미적분학을 생각할 수 없습니까? 초등 세포 오토 마톤? 이것은 Wolfram의 "전산 동등성의 원리"를 거의 반증 할 것이다 : 명백히 단순하지 않은 거의 모든 프로세스는 동등한 정교함의 계산으로 볼 수 있습니다

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

이것은 문법 프로그램입니까? 의 재구성입니다 . Vag가 이전에 요청했으며 주석 작성자의 많은 제안이 있습니다. 문법은 어떤 방식으로 계산 모델을 지정하는 것으로 볼 수 있습니까? 예를 들어 다음과 같은 간단한 문맥없는 문법을 사용하는 경우 G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

람다 미적분학 에서 이러한 결합기 를 지정하는 데 필요한 추상화 및 응용 프로그램의 수로 측정되는 가능한 가장 작은 범용 결합기를 찾고 있습니다. 범용 결합기의 예는 다음과 같습니다. 23 호 : λf.f (fS (KKKI)) K 크기 18 : λf.f (fS (KK)) K 크기 14 : λf.fKSK 크기 12 : λf.fS (λxyz.x) …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

비 폰 노이만 프로그래밍 모델에 대한 실제 적용이 있습니까? 가장 널리 채택 된 비 폰 노이만 프로그래밍 언어는 무엇입니까?

16 universal-computation  logic-programming 

Greg Egan은 그의 소설 "Dark Integers"(산술에서 불일치에 대한 이론을 증명함으로써 두 개의 서로 다른 수학을 가진 두 개의 우주에 관한 이야기)에서 기본적인 기능만을 사용하여 기존 인터넷 라우터에서만 범용 컴퓨터를 구축 할 수 있다고 주장합니다. 패킷 스위칭 (정확한 체크섬 수정). 원칙적으로 이것이 가능합니까? 최신 정보. 질문을보다 정확하게하려면 : 라우터 네트워크에서 범용 …

14 computability  universal-computation 

P = NP 인 경우 다항식 시간으로 SAT를 해결하는 알고리즘을 작성하는 오래된 트릭이 있습니다. 기본적으로 모든 다항식 타임머신과 멀티 태스킹을 나열합니다. 단방향 기능 (또는 단방향 트랩 도어 기능)에 대한 유사한 트릭이 있습니까? 즉, 단방향 함수가 존재하는 경우 반드시 단방향 함수 인 함수를 작성할 수 있습니까? P = NP 트릭을 모방하는 …

13 universal-computation  one-way-function 

Robin Gandy 는 Alan Turing 의 학생이었습니다 . Gandy는 Babbage의 분석 엔진에 대한 분석을 수행 했습니다 ( 'Herken, Rolf- The Universal Turing Machine-A Half-Century Survey . Springer Verlag'에 인용 된 'Gandy-1936 년 아이디어의 합류점 '참조). p. 52–53) : 산술 함수 +,-, ×, 여기서-는 "적절한"빼기를 나타냅니다. x-y = 0, y ≥ …

10 turing-machines  universal-computation  charles-babbage 

Bernstein과 Vazirani의 주요 논문 인 "Quantum Complexity Theory"에서 "사소한 회전"과 "사소한 위상 편이"라고 불리는 제품에 의해 d 차원 단위 변환이 효율적으로 근사 될 수 있음.디dd "사소한 회전"은 디dd 2 차원을 제외한 모든 차원에서 동일하게 작용하지만 2 차원으로 확장 된 평면에서 회전으로 작용하는 차원 단위 행렬입니다 (예 : 형식의 2x2 하위 …

10 quantum-computing  linear-algebra  universal-computation 

계산 보편성에 대한 여러 가지 (아마도 동등한) 개념이 있으며 (예를 들어 http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf 의 마지막 몇 페이지 참조 ) 합의가 없습니다. 가장 올바른 개념에 대한 전문가 (예 : http://cs.nyu.edu/pipermail/fom/2007-October/012148.html 참조 ) 생체 분자 계산의 특정 모델에 대해 말하려고합니다. 프로그램을 실행하고 마지막에 입력을 삭제하고 다른 프로그램을 실행할 준비가 된 범용 시스템을 만들 …

10 universal-computation 

입력 x (T, x)가 입력 x의 T 출력을 영원히 출력하는 Turing-machines 및 범용 Turing-machine U의 인코딩을 수정합시다. U (p) = x가되도록 가장 짧은 프로그램 p의 길이로 x, K (x)의 Kolmogorov 복잡도를 정의합니다. 모든 n> N에 대해 K (x) = n 인 x가있는 N이 있습니까? 말. 보편적 인 Turing-machines를 다른 방식으로 …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines