«computability» 태그된 질문

언어 감안할 때 LLL 의 길이 세트 정의 LLL 단어의 길이의 세트로 LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} 정규 언어의 길이 세트가 될 수있는 정수 세트는 무엇입니까?

15 formal-languages  computability  regular-languages  finite-automata 

같은 언어 있습니다 많은 하나의 감소에 따라. 에도 완전한 문제가 있음을 아는 것은 쉽지 않습니다. S. Schmitz [1] 은 과 사이의 일부 클래스를 고려 합니다. 그들은 특별히 만들어진 축소에서이 수업에 대한 완전한 문제를 제시합니다.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 약한 감소와 관련하여 (일명 )에 대한 완전한 문제가 있습니까? 튜링 감소는 모든 작업을 수행 할 수 …

14 computability  reductions  turing-completeness  recursion-theory 

다음 문제가 결정 가능한지 알고 싶습니다. 인스턴스 : 상태가 n 인 NFA A 질문 : A가 길이 p의 일부 문자열을 허용하는 소수 p가 있습니까? 내 생각 에이 문제는 결정할 수 없지만 그것을 증명할 수는 없습니다. 결정자는 특정 숫자가 소수인지 알아내는 알고리즘을 쉽게 가질 수 있지만 NFA가 생성 할 수있는 길이를 …

14 computability  finite-automata 

경우 사실에서와 동일 이 빠른 요인 정수로 우리의 알고리즘을 개선 할 방법에 대해 설명합니다. 다시 말해,이 사실이 정수 인수 분해를 더 잘 이해하는 데 어떤 종류의 통찰력을 제공할까요?피피{\sf P}N P엔피{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

다음 언어가 언어 인 방법이 궁금합니다 아르 자형아르 자형\mathrm R. 엘미디엄1= { ⟨ M2⟩∣∣미디엄2 TM이고 L ( M1) = L ( M2) , 및 | ⟨ 남1⟩ | > | ⟨ 남2⟩ | }엘미디엄1={⟨미디엄2⟩|미디엄2 TM이며 엘(미디엄1)=엘(미디엄2), 과 |⟨미디엄1⟩|>|⟨미디엄2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and …

14 computability  undecidability 

해결하려는 오래된 시험에서 이러한 질문이 있습니다. 각 문제에 대해 입력은 일부 Turing machine 의 인코딩입니다 MMM. 정수 c>1c>1c>1 및 다음 세 가지 문제의 경우 : 모든 입력 xxx 에 대해 M이 x에서|x|+c|x|+c|x|+c 실행할 때 + c 위치 ?xxx 모든 입력 xxx 에 대해 M이 x에서max{|x|−c,1}max{|x|−c,1}\max \{|x|-c,1 \} 실행할 때 − …

14 computability  turing-machines  undecidability 

나는 개방성 문제의 예를 제시하기 위해 재미 있고 계산하기 쉬운 개방성 문제를 계산할 수있는 방법을 찾고 있었으며 (계산에 대한 첫 번째 과정을 수강하는 학부생은 이해할 수 있음) 정의하고 그들에게도 흥미로울 것입니다). 나는 이 목록을 찾았 지만 그 문제는 학부생에게는 너무 복잡해 보이며 문제를 말하기 전에 정의를 내리는 데 많은 시간을 …

14 computability 

그럼에도 불구하고 많은 "유명한"결정 불가능한 문제는 적어도 반 결정 불가능하며, 그 보완은 결정 불가능합니다. 무엇보다도 정지 문제와 그 보완이 될 수 있습니다. 그러나 아무도 문제와 그 보완이 결정 불가능하고 반 결정 불가능한 예를 줄 수 있습니까? 나는 대각선 화 언어 Ld에 대해 생각했지만 보완이 결정 불가능한 것으로 보이지는 않습니다. 이 …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

문제의 결정 가능성이 결정 가능한 문제인지 궁금합니다. 나는 추측하지 않지만 초기 검색 후이 문제에 대한 문헌을 찾을 수 없습니다.

13 computability  undecidability  decision-problem 

두 NPDA의 교차로에 대한 라파엘의 제안에 대한 아프로 포이즈 : 하자 1 및 이 문맥 - 자유 언어 NPDA을 L 1 과 L 이 각각. L = L 1 ∩ L 2 가 문맥이 없다는 것을 알고 있다고 가정하면 , L에 대해 NPDA A 를 (효과적으로) 구성 할 수 있습니까?ㅏ1A1A_1ㅏ2A2A_2엘1L1L_1엘2L2L_2L …

13 computability  automata  pushdown-automata 

사용중인 비버 최대 이동 함수 은 알려진 값을 . 대해 을 찾을 수없는 기본적인 구조적 이유가 있습니까? 무엇에 대해 너무 다른 이상의 ? 또는 ? 어딘가에 근본적인 차이가 있어야합니다. 그렇지 않으면 은 원칙적으로 모든 대해 계산할 수 있습니다 . 그래서이 차이 는 정확히 무엇 입니까?N ≤ (4) S ( N …

13 computability  busy-beaver 

나는 일종의 새로운 것이지만 컴퓨팅 및 복잡성 이론 분야에 매우 관심이 있으며 문제를 분류하는 방법과 문제를 해결하는 데 사용되는 기계와 문제가 얼마나 강한 지에 대한 이해를 분명히하고 싶습니다. 내 이해 표준 튜링 머신-유한 알파벳, 유한 수의 상태 및 하나의 오른쪽 무한 테이프를 가진 튜링 머신 Turing-Equivalent Machine-표준 Turing Machine에 의해 …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

나는 바쁜 비버 수와 이들이 계산 가능한 기능보다 무증상으로 커지는 방법에 대해 읽었습니다. 왜 그렇습니까? 바쁜 비버 기능의 비계 산성 때문입니까? 그렇다면 계산할 수없는 모든 기능이 계산 가능한 기능보다 점증 적으로 커 집니까? 편집하다: 아래에 큰 답변이 있지만 나는 그들이 이해하는 것을 평범한 영어로 설명하고 싶습니다. 사용중인 비버 기능보다 빠르게 …

13 computability  asymptotics 

포스트 대응 문제 (PCP)의 결정 불가능하다. PCP 의 경계 버전 은 -완료이며 PCP 의 표시된 버전 (두 목록 중 하나의 단어는 첫 글자가 )은 [1]에 있습니다.P S P A C EN PNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} 이 제한된 버전이 다른 문제의 일부 복잡한 결과를 증명하는 데 사용됩니까 (감소를 통해)? …

13 complexity-theory  computability  reference-request 

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

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