«turing-machines» 태그된 질문

부울 함수는 함수 입니다.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 

이전 질문 에서 알고리즘은 정확히 무엇입니까? 사전 계산 된 값의 배열을 기반으로 함수의 값을 반환하는 "알고리즘"이 알고리즘인지를 물었습니다. 내 관심을 끈 대답 중 하나는 다음과 같습니다. 계승 예제는 비 균일 계산이라고하는 다른 계산 모델로 들어갑니다. 튜링 머신은 균일 한 계산 모델의 예입니다. 하나의 유한 한 설명이 있으며 임의로 큰 크기의 …

9 turing-machines  computation-models 

대학에서 우리는 일반적인 계산 이론과 튜링 머신에 대해 더 구체적으로 배우고 있습니다. 큰 이론적 결과 중 하나는 잠재적으로 큰 알파벳 (기호)을 희생시키면서 상태 수를 2로 줄일 수 있다는 것입니다. 다른 Turing Machines의 예를 찾고 있었고 일반적인 예는 괄호 매처 / 체커입니다. 기본적으로 괄호 문자열 (()()()))()()()이 균형을 이루는 지 확인합니다 ( …

9 turing-machines  context-free  parsers 

" 자연 RE 결정 불가능한 문제이지만 Turing-complete가 아님 "이라는 질문을 읽으 면서 다음 언어가 떠 올랐습니다. 경우 비지 비버 함수 (공 테이프 시작 상술 한 타입의 기계 튜링 모든 정지 2- 심볼 N 상태 중 최대 달성 점수)은, 함수 정의 :Σ ( ⋅ )Σ(⋅)\Sigma(\cdot) B B ( ⟨ M⟩ ) …

9 computability  turing-machines 

튜링의 의미에서 계산 가능한 숫자를 열거 할 수있는 이유는 무엇입니까? 매우 분명해야하지만 현재는 보이지 않습니다.

9 computability  turing-machines  enumeration 

무한 알파벳의 기호를 읽고 쓰는 것이 허용되는 튜링 머신은 일반 TM보다 강력합니다 (유일한 차이점입니다. 머신에는 여전히 유한 한 수의 상태가 있습니다)? 직관에 따르면 각 기호를 구별하기 위해 무한한 수의 상태가 필요하기 때문에 나에게 그렇지 않습니다. 따라서 심볼로 인한 일부 심볼 또는 전환 (또는 전환의 일부 하위 집합)은 동일해야한다고 생각합니다. 따라서 …

9 computability  turing-machines  reductions  simulation 

다음 문제에 도움을 드리고자합니다. L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}. 보여L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE. 나는 증명하기 위해 L∉REL∉REL\notin RE언어를 찾는 것으로 충분합니다 L′L′L' 그런 L′∉REL′∉REL'\notin RE 에서 감소가 있음을 보여 L′L′L' 에 LLL (L′≤ML)(L′≤ML)(L'\leq _M L). 나는 그들이 이미 알고있는 언어를 생각하기 시작했습니다. RERERE나는 …

9 formal-languages  computability  context-free  turing-machines