«computability» 태그된 질문

튜링 머신과 제한되지 않은 문법은 RE 언어를 정의하는 두 가지 다른 형식입니다. 일부 RE 언어는 결정 가능하지만 모든 언어는 아닙니다. 언어의 모든 문자열을 중지하고 허용하고 언어가 아닌 모든 문자열을 중지 및 거부하는 언어에 대한 TM이있는 경우 언어를 결정할 수 있다고 말함으로써 Turing 기계로 결정 가능한 언어를 정의 할 수 있습니다. …

10 computability  turing-machines  formal-grammars 

합리적인 가중치를 갖는 신경망은 신경망을 이용한 범용 튜링 머신 튜링 계산 능력을 가지고 있음이 입증되었습니다 . 내가 얻는 것에서, 실제 가중치를 사용하면 더 확실하지는 않지만 더 많은 계산 능력을 얻는 것처럼 보입니다. 그러나 신경망의 계산력과 활성화 함수 사이에 상관 관계가 있습니까? 예를 들어, 활성화 기능이 입력을 스펙 커 시퀀스의 한계 …

10 computability  neural-networks 

열거 자에서 Turing Machine으로 이동한다는 증거를 얻습니다 (열거를 계속 실행하고 입력과 일치하는지 확인하십시오). 다른 방법이 어떻게 작동하는지 알 수 없습니다. 저의 노트와 저서 (계산 이론 소개-Sipser)에 따르면 Turing 기계에서 Turing 열거자를 얻으려면 기본적으로 알파벳의 모든 조합을 씁니다. 그런 다음이 입력에서 TM을 실행하고 인쇄가 승인되면 새 문자열 반복 광고 무한대로 대체하십시오. …

10 computability  turing-machines  intuition 

거기에 필요 에 대한 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 가 될 무한 결정 불가능한 것으로는? 우리가 언어를 선택하면 내가 무엇을 의미 L′L′L' 수 의 경계 유한 버전 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 입니다 |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ,)와 L′⊂LL′⊂LL' \subset L . 그것은 가능합니다 L′L′L' 결정 불가능한 언어로? "무한한"Kleene 스타 연산의 일종 인 …

10 formal-languages  computability  undecidability 

A와 B를 A⊆B의 언어로하고 B는 Turing을 인식 할 수 있습니다. A는 튜링을 인식 할 수 없습니까? 그렇다면 어떤 예가 있습니까?

10 computability 

자, 여기 계산 이론 수업에서 지난 테스트의 질문이 있습니다. TM에서 쓸모없는 상태는 입력 문자열에 입력되지 않은 상태입니다. 하자 을 결정할 수 없음을 증명하십시오 .USELESSTM={⟨M,q⟩∣q is a useless state in M}.유에스이자형엘이자형에스에스티미디엄={⟨미디엄,큐⟩∣큐 쓸모없는 상태입니다 미디엄}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a useless state in }M\}.USELESSTM유에스이자형엘이자형에스에스티미디엄\mathrm{USELESS}_{\mathrm{TM}} 나는 대답이 있다고 …

10 computability  undecidability  formal-methods  turing-machines 

"계산 가능한 현실에 대한 쌀의 정리"가 있습니까? 이것은 현실의 연결성과 어떤 직접적인 방식으로 일치합니까?

10 computability  real-numbers  computable-analysis 

이 사이트에는 TM이 중지 문제를 결정할 수 있는지 여부, 다른 모든 TM 또는 특정 하위 집합에 대한 질문에 많은 변형이 있습니다. 이 질문은 다소 다릅니다. 중지 문제가 모든 TM에 적용되는지를 TM이 결정할 수 있는지 묻습니다. 나는 대답이 '아니오'라고 믿고 나의 추론을 확인하고 싶다. 메타 정지 언어 를 TM이 중지되는지 여부를 …

9 computability  turing-machines  undecidability  halting-problem 

라이스 정리의 한 진술은 "전산 복잡성 : 현대적 접근"(Arora-Barak)의 35 페이지에 나와 있습니다. 에서 부분 기능 {0,1}∗{0,1}∗\{0,1\}^* 에 {0,1}∗{0,1}∗\{0,1\}^*모든 입력에 반드시 정의되어있는 것은 아닙니다. 우리는 TM이라고MMM 부분 함수를 계산합니다 fff 모든 경우에 xxx 어느 fff 정의 M(x)=f(x)M(x)=f(x)M(x) = f(x) 그리고 모든 xxx 어느 fff 정의되지 않았습니다 MMM 입력시 실행될 때 …

9 computability  turing-machines  undecidability  rice-theorem 

다음에 대한 증거를 제시하려고합니다. 모든 언어 ㅏㅏA 에 대해 A \ le _ {\ mathrm {T}} B 이지만 B \ nleq _ {\ mathrm {T}} A 와 같은 언어 B 가 있습니다 .비비Bㅏ≤티비ㅏ≤티비A \le_{\mathrm{T}} B≰티ㅏ≰티ㅏ\nleq_{\mathrm{T}} A 나는시키는 생각하고 있었는데 비비B 가 될 ㅏT Mㅏ티미디엄A_{\mathrm{TM}} 하지만 모든 언어에 환원 튜링되어 있지 …

9 computability  reductions  undecidability 

이 질문은 중단 문제에 대해 나에게 제기되었으며 온라인에서 누군가가 도울 수 있는지 궁금해하는 좋은 대답을 찾을 수 없었습니다. 입력이 TM 자체가 아닌 한 모든 입력의 TM에 대해 정지 문제를 결정할 수 있습니까? 원래: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an exception, whatever ELSE: Solve the …

9 computability  undecidability  halting-problem 

오늘 점심 시간에, 나는 동료들과 함께이 문제 를 제기했고 놀랍게도 문제가 결정 가능하다는 Jeff E.의 주장은 그것들을 설득하지 못했다 ( 여기서 mathoverflow에 밀접하게 관련된 글이있다). 설명하기 쉬운 문제 설명 ( "P = NP?")도 예 또는 아니오로 결정할 수 있으므로 항상 해당 답변을 출력하는 두 TM 중 하나가 문제를 결정합니다. 공식적으로, …

9 computability  undecidability 

3 색이 결정 가능하다는 것을 증명하기 위해 다음과 같이 말하는 것으로 충분합니다. 그래프의 각 노드에는 3 가지 가능한 색상이 있습니다 따라서 우리는 모든 것을 열거 할 수 있습니다 삼엔삼엔3^n 가능성을 확인한 다음 두 모서리가 동일한 색상의 노드를 연결하지 않는지 확인하십시오. 3 색을 결정할 수 있다는 것을 증명합니까? 또는 적절한 증거를 …

9 computability  turing-machines  colorings 

두 가지 기능이 있다고 가정 해 봅시다. FFF 과 GGG 그리고 나는 여부를 결정하고 싶습니다 F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. 내 함수가 기본 함수 (다항식, 지수, 로그 및 삼각 함수)로 구성되어 있지만 Taylor 시리즈는 아닙니다. 이 문제를 결정할 수 있습니까? 그렇지 않다면, 그것은 반 결정 가능합니까? (나는 계산 능력에 대한 수업을 …

9 computability  undecidability  mathematical-analysis  computer-algebra 

이것은 또 다른 질문의 후속이다 여기 , 내가 너무 철학적되지 않습니다 바랍니다. Raphael이 이전 질문에 대한 의견에서 지적했듯이 실제로 "계산 가능"에 대한 정의를 얻지는 못하지만 일부 논문에 따르면 튜링보다 약한 계산 모델에 대해서는 정의가 명확하지 않습니다. 입력 및 출력의 인코딩으로 인해 기계. 튜링 계산 의 일반적인 정의는 다음과 같습니다. 정의 …

9 computability  computation-models