«computability» 태그된 질문

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

2
알고리즘에 입력 되는 대수
알고리즘에 대한 입력으로 대수를 제공한다는 의미를 지정하고 그것에 대해 많은 문헌을 찾지 못했습니다. 따라서 먼저 필드에 대한 대수의 복잡성 분석 주제를 다루고 의사 결정 문제를 명확하게 정의 하는 책이나 논문을 추천 할 수 있는지 묻고 싶습니다 . 파고 난 후에 뭔가를 발견 하고 여기에서 공유하고 더 나아가 정의가 의미가 있고 …

1
무한 재귀 집합의 하위 집합
최근 시험 문제는 다음과 같습니다. 는 무한 재귀 열거 가능 집합입니다. A 에 무한 재귀 하위 집합이있음을 증명하십시오.ㅏAAㅏAA 를 A 의 무한 재귀 서브 세트라고 하자 . C 에는 재귀 적으로 열거 할 수 없는 하위 집합이 있어야 합니까?씨CCㅏAA씨CC 나는 이미 1. 대답했다. 2. 나는 긍정적으로 대답하고 다음과 같이 주장했다. …

1
이 재 작성 시스템에서 문자열을 도출 할 수 있습니까?
재 작성 시스템은 형식의 규칙 집합입니다 . 우리는 문자열에 해당 규칙을 적용하면 우리는 어떤 문자열 대체 에 하위 문자열과 B 반대 및 부사장.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB 시작 문자열 AAABBAAABBAAABB 가 주어지면 다음 규칙을 사용하여 시스템에서 BAABBAABBAAB 를 파생시킬 수 있습니다 . A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow AB BA↔ABBA↔ABBA …

1
함수가
에 일련의 숫자가 있는지 어떻게 알 수 있습니까? ππ\pi다음과 같은 무고한 변형이 계산 가능한지 묻도록 영감을주었습니다. f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} \\ 0 & …

4
구현하지 않고 프로그래밍 언어를 지정할 수 있습니까?
구현이 존재하지 않는 프로그래밍 언어를 이론적으로 지정할 수 있습니까? 프로그래밍 언어는 기능을 정의하는 방법입니다. 구현은 해당 입력의 프로그램에 해당하는 함수의 출력에 대해 주어진 입력에서 해당 언어로 지정된 프로그램을 실행하는 방법을 의미합니다. 그러한 언어의 최소 요구 사항은 무엇입니까?

1
중지 오라클로 해결할 수없는 기존 문제가 있습니까?
나는 멈춤 오라클이 있다면 대부분의 문제는 사소한 것임을 이해한다 (또는 동등하게 하이퍼 계산이라고 생각한다). 그러나 튜링 머신에서는 Halting Problem을 나타내는 주장을 적용하는 것이 불가능합니다. 또한 Turing + oracle이 Turing + oracle의 Halting Problem을 결정하는 것은 불가능하다는 것을 보여줍니다. 중지 오라클로 해결할 수없는 실제적이고 실용적인 문제의 예가 있습니까? 참고 : "oracle"이란 …

2
A가 리덕 터블을 B에 매핑하면 A의 보수는 리덕 터블을 B의 보수에 매핑합니다
나는 계산 이론에서 마지막을 위해 공부하고 있으며,이 진술이 거짓인지 아닌지에 대한 올바른 대답 방법으로 고심하고 있습니다. 의 정의 에 의해 다음 문장을 구성 할 수 있습니다.≤m≤m\leq_m 승 ∈ A⟺에프( w ) ∈ B → w ∉ A⟺에프( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin …

2
언어에 대한 검증자가 없음을 보여줌으로써 언어가 계산 가능하지 않다는 것을 보여줄 수 있습니까?
계산 가능하게 열거 가능한 (반복적으로 열거 가능하고, 반 결정 가능에 해당) 집합의 정의 중 하나는 다음과 같습니다. decidable 언어가 IFF에 CE입니다 V ⊆ Σ * 모든 일 (검증이라고 함) X ∈ Σ *가 ,⊆ Σ※ㅏ⊆Σ※A \subseteq \Sigma^*V⊆ Σ※V⊆Σ※V\subseteq \Sigma^*x ∈ Σ※엑스∈Σ※x\in \Sigma^* 존재 IFF에 Y ∈ Σ * 세인트 ⟨ …

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

1
기능적 프로그래밍 언어 구현에 대한 알고리즘 복잡성 분석
나는 오늘 알고리즘 분석이 계산 모델에 따라 다르다는 것을 배웠습니다 . 내가 생각하지 못했거나 들어 본 적이없는 것입니다. User @chi 가 더 자세히 설명 한 예 는 다음과 같습니다. 예를 들어 , 주어진 x i를 반환 합니다. RAM에서는 어레이 액세스가 일정한 시간이기 때문에 O ( 1 ) 로 해결할 수 …

1
정지 문제가 3 차원 1 차원 세포 오토마타에 대해 결정 가능한가?
3 기호 1 차원 셀룰러 오토마타에 대해 정지 문제가 결정 가능한지 알아 내려고 노력했습니다. 정의 하자 의 시간 단계에서 시스템의 구성을 나타내는 . 보다 공식적으로 여기서 는 알파벳입니다.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA 정의. 셀룰러 오토 마톤은 구성에 정지 된 , 만약 우리가있다 .f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) 주어진 세포 오토 마톤의 정지 문제는 …

3
유한 시간의 무한 계산
이것은 어리석은 생각이지만 무한한 계산 순서를 수행하도록 프로그래밍 된 컴퓨터가 있고 계산이 완료하는 데 초가 걸린다고 가정합니다 . 그런 다음이 컴퓨터는 유한 한 시간 안에 무한한 수의 계산을 수행 할 수 있습니다.나는일나는일i^\text{th}1 / 2나는1/2나는1/2^i 왜 이것이 불가능합니까? 사소한 계산을 수행하는 데 걸리는 시간에 하한이 있습니까?

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

2
자체 참조없이 문제 해결
정지 문제에서, 주어진 튜링 머신 ( 이 주어진 입력 ( 에서 정지 되는지 여부를 알 수 있는 튜링 머신 (Tinging machine) 가 있는지 관심이있다 . 일반적으로 이러한 가 존재 한다고 가정하면 증명이 시작됩니다 . 그런 다음 를 제한 한 다음 대각 인수의 인스턴스를 사용하여 모순을 도출 하는 경우를 고려합니다 . …

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

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.