«turing-completeness» 태그된 질문

Brainfuck은 8 개의 기호 만 사용하는 Turing 완전한 프로그래밍 언어입니다 (I / O를 무시하는 경우 6). 튜링 완전성에 밀어 두 개의 가장 주목할만한 사람은 [와 ]본질적으로, 브레인 퍽의 라벨과 고토. 일반적으로 Brainfuck의 프로그램은 여러 세트를 사용 []하지만 Brainfuck Turing을 완성하기 위해 얼마나 많은 쌍의 괄호를 사용해야하는지 궁금합니다. 더 간단히 말해서, …

12 turing-completeness 

명령어를 수정할 수있는 임의의 컴퓨터 프로그램이있는 경우 명령어를 수정할 수없는 프로그램으로 해당 프로그램을 시뮬레이션 할 수 있습니까? 편집하다: 나는 stackexchange를 처음 사용하므로 여기에 새로운 질문을 할 수 있는지 확실하지 않지만 여기에 간다. 그래서 가능하다는 증거는 실제로 여러분이 보여 주듯이 실제로 간단합니다. 이제는 궁금합니다. 입출력과 동등한 가장 효율적인 비 자기 수정 …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 

두 개의 컴퓨팅 모델이 각각 다른 모델을위한 범용 시뮬레이터를 인코딩 할 수있는 경우에는 완전한 것으로 표시 될 수 있습니다. 각각의 추론 규칙 (있는 경우 공리)의 인코딩이 다른 규칙으로 표시되는 경우 두 개의 논리가 함께 완료된 것으로 표시 될 수 있습니다. 계산이 가능해지면서 튜링 완성도와 교회 튜링 논문에 대한 자연스러운 아이디어가 …

10 computability  logic  turing-completeness 

Universal Turing machine에 관한 두 가지 질문에 대한 답을 찾으려고합니다. 시뮬레이션중인 머신의 상태 수가 더 많은 경우 Universal Turing 머신이 Turing 머신을 어떻게 시뮬레이트 할 수 있습니까? 시뮬레이션중인 기계의 알파벳 수가 더 많은 경우 Universal Turing 기계가 Turing 기계를 어떻게 시뮬레이트 할 수 있습니까? 누구 든지이 질문에 나를 도울 수 …

10 computability  turing-machines  simulation  turing-completeness 

HTML5 + CSS가 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. SQL이 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. 튜링 컴플리트 (Turing Complete)라는 의미를 "설명"하려는 웹 사이트들이 많이 있습니다. 충분히! "이 언어 XYZ는 계산 능력이 동일한 계산 기계를 설명 할 수 있습니다. 튜링 머신으로 "?

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

부울 함수는 함수 입니다.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} 부울 기준 은 시퀀스 을 뒤집거나 변경하지 않고 그대로 둘 수 있으므로 Turing complete라고합니다 . 게이트에 대해서도 마찬가지 입니다.(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} 이런 의미에서 우리는 초기 머신 설정 하여 및 을 연속적인 값 :b=(b1,…,bn)b=(b1,…,bn)\textbf{b}=(b_1,\ldots,b_n)bi∈{0,1}bi∈{0,1}b_i\in\{0,1\}XORXOR\mathrm{XOR}vivi\textbf{v}_i b⊕v1⊕v2⊕v3…b⊕v1⊕v2⊕v3… \textbf{b}\oplus\textbf{v}_1\oplus\textbf{v}_2\oplus\textbf{v}_3\ldots 각 상태 는 에서 일부 요소의 순열을 나타냅니다 . 이 프로세스는 튜링 머신을 …

9 turing-machines  turing-completeness  boolean-algebra