«undecidability» 태그된 질문

다음과 같은 문제가 결정 가능한지 알고 찾는 방법을 알고 싶습니다. 내가 "예"또는 "아니오"그것을 말할 수있는 볼 때마다 문제 때문에 대부분의 문제와 알고리즘 (제공되는 몇 가지를 제외하고 decidable 있습니다 여기에 )? 입력 : A는 유한 관한 그래프와 와 V 및 U 정점 같은 질문 :합니까에서 경로 G 와 U 초기 정점과 …

17 algorithms  computability  graph-theory  undecidability 

n-body 문제에 대한 일반적인 분석 솔루션은 정확한 정밀도로 임의의 시간 t에서 n-body 시스템의 상태를 제공하는 데 사용할 수있는 분석 함수를 생성 할 수 없습니다. 그러나 분석 기능이 알려진 n-body 시스템의 경우가 있습니다. 거의 같은 방식으로, 임의의 튜링 머신의 결과를 예측할 수있는 일반적인 알고리즘은 없습니다. 그럼에도 불구하고 영원히 멈추거나 달려 있다고 …

16 computability  turing-machines  undecidability  computation-models 

두 푸시 다운 오토 마톤이 동일한 언어를 인식하는지 여부는 결정 불가능합니다. 푸시 다운 자동 장치가 빈 언어를 인식하는지 여부에 대한 문제는 결정 가능하므로 주어진 유한 언어를 인식하는지 여부도 결정 가능합니다. 푸시 다운 오토 마톤이 허용하는 언어가 규칙적인지 여부는 결정할 수 없습니다. 그러나 ... ... 푸시 다운 오토 마톤이 주어진 정규 …

16 computability  undecidability  pushdown-automata 

선형 경계 오토마타의 결정 불가능한 속성이 있습니까 (빈 세트 언어 트릭을 피하십시오)? 결정 론적 유한 오토 마톤은 어떻습니까? (난도를 제쳐두고). Turing 머신을 명시 적으로 사용하지 않고 정의 할 수 없는 결정 가능한 문제의 예를 얻고 싶습니다 . 계산할 수없는 문제를 지원하기 위해 모델의 Turing 완전성이 필요합니까?

15 computability  automata  undecidability 

같은 수의 0과 1을 포함하는 단어의 언어는 규칙적이지 않은 반면, 같은 수의 001과 100을 포함하는 단어의 언어는 규칙적입니다 ( 여기 참조 ). 두 단어가 주어 , 그것의 같은 수의 포함 된 단어의 언어 경우 decidable입니다 및 일반입니까?w1,w2w1,w2w_1,w_2w1w1w_1w2w2w_2

14 regular-languages  undecidability 

다음 언어가 언어 인 방법이 궁금합니다 아르 자형아르 자형\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 

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

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

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

13 computability  undecidability  decision-problem 

나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다. 각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다. 선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

조합 / 교차로 / 연결된 언어를 결정할 수있는 결정 불가능한 언어가 있습니까? 일반적으로 결정 불가능한 언어가 이러한 작업에서 닫히지 않기 때문에 이러한 예의 물리적 해석은 무엇입니까? 클라인 폐쇄에 대해 무엇을 말할 수 있습니까? 우리도 그에 대한 예를 가지고 있습니까? 즉, 결정 불가능한 언어의 종결을 결정할 수 있습니까? 또한 결정 불가능한 …

12 formal-languages  undecidability  closure-properties 

나는 최근의 질문에 대한 답을 읽고 있었고, 이상하고 일시적인 생각이 떠 올랐습니다. 이 질문을하면 이론가가 심각하게 부족하거나 (거의 사실임)이 사이트를 읽기에는 너무 이르다는 사실을 배신 할 수 있습니다. 이제 면책 조항을 벗어난 상태에서 ... TM에 대해 정지 문제를 결정할 수 없다는 것은 계산 결과 이론으로 잘 알려진 결과이다. 그러나 특정 …

12 turing-machines  undecidability  halting-problem 

결정 불가능한 문제가 존재한다는 것이 물리적 시스템의 예측 불가능 성을 즉시 암시합니까? 정지 문제를 고려해 봅시다. 먼저 일반적인 회로 기반 구성을 사용하여 물리적 UTM을 구성합니다. 그러면 회로의 입력 설정에 따라 회로 정지 여부를 결정할 수있는 결정 가능한 물리 이론이있을 수 없습니다. 이것은 사소한 것처럼 보이지만 양자 또는 혼란스러운 고려 사항과 …

11 computability  turing-machines  undecidability  physics 

이 질문에 내가 놓친 사소한 대답이 있으면 죄송합니다. 결정 불가능한 것으로 입증 된 문제를 연구 할 때마다 그 증거가 결정 불가능한 것으로 입증 된 다른 문제의 감소에 의존한다는 것을 알았습니다. 문제의 난이도에 따라 일종의 질서를 생성한다는 것을 이해합니다. 그러나 내 질문은-결정 불가능한 모든 문제를 결정할 수없는 다른 문제로 줄일 수 …

11 computability  reductions  undecidability