«computability» 태그된 질문

계산 이론, 일명 재귀 이론과 관련된 질문

1
가역 컴퓨팅의 "입력 저장"방법에 대한 결함은 무엇입니까?
저는 가역 컴퓨팅에 관해 읽기 시작한 학부생입니다. Landauer의 원리로 인해 돌이킬 수없는 계산은 열을 소산합니다 (가역적 인 것은 열을 방출하지 않음). 나는 가역 컴퓨팅에 대해 들어 본 적이없는 교수님과 함께 연구했으며, 가역 컴퓨팅 이론이 왜 사소한 것이 아닌지 이해하기가 어려웠습니다. 그의 요점은 항상 입력을 저장할 수 있다는 것입니다. 즉 함수 …

1
독특한 사각형 타일
우리는 타일에 원하는 : 타일의 두 가지 유형 사용 -square -square 타일 모든 기본 사각형이 중복없이 적용되도록 -square 타일. -squares 및 -squares의 수를 사용하여 고유하게 경작 가능한 가장 큰 사각형의 크기를 제공 하는 함수 을 정의합시다 .m×mm×mm\times m1×11×11 \times 12×22×22 \times 2f(n)f(n)f(n)nnn 1×11×11\times 12×22×22 \times 2 이 기능은 계산 가능합니까? …

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


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

1
그 증거
다음 문제에 도움을 드리고자합니다. 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나는 …

2
접두사 언어의 결정 가능성
중간에 다음과 같은 질문의 변형이있었습니다. 결정 가능한 엘LL 밝히다 Pref ( L ) = { x ∣ ∃ y st x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\} 보여 현관 ( L )Pref(L)\text{Pref}(L) 반드시 결정할 수있는 것은 아닙니다. 하지만 내가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.