학부 수학 전공을 목표로 연설을 준비하고 있으며 그 일부로서 결정 성 개념에 대해 논의하고 있습니다. 현재 결정 불가능하거나 결정 불가능한 문제에 대한 예를 드리고자합니다. 그러한 문제가 많이 있지만, 지금까지 좋은 사례로 눈에 띄는 것은 없습니다. 결정 가능성이 열려있는 설명하기 쉬운 문제는 무엇입니까?
Turing Machines를 유한 테이프로 제한하는 경우 (즉, 경계 공간 ) 정지 단계는 본질적으로 여러 단계 (상태 및 의 수에서 계산할 수 있음 )와 알파벳 크기) 구성을 반복해야합니다.SSSQQQSSS 정지를 결정할 수있는 다른 자연 튜링 기계 제한이 있습니까? 확실히 상태 전이 그래프에 루프 나 사이클이없는 경우 정지를 결정할 수 있습니다. 다른 사람?
Wang 타일을 사용하는 Berger의 결과로 타일 세트가 평면을 타일링 할 수 있는지 여부를 결정할 수 없다는 것을 알고 있습니다 . 내 질문은 주어진 단일 타일이 평면, 일 면체 타일을 타일링 할 수 있는지 여부를 결정할 수없는 것으로 알려져 있는지 여부 입니다. 이것이 불안정한 경우, 결정 불가능한 증거가있는 타일 세트의 최소 …
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …
정수 행렬 주어지면 는이 행렬의 모든 무한 곱이 결국 0 행렬과 같은지 결정합니다.ㅏ1, A2, … , A케이A1,A2,…,AkA_1,A_2, \ldots, A_k 이것은 정확히 당신이 생각하는 것을 의미합니다 : 우리는 행렬 집합 에 무한 시퀀스 이 없으면 모든 제품이 결국 0과 같은 속성을 가지고 있다고 , 모두 ,되도록 모든 .{ A1, … , …
그 질문은 잘 알려진 결과입니다 문맥없는 문법은 정규 언어를 생성합니까? 결정할 수 없습니다. 그러나 단항 알파벳으로 결정할 수 있습니다.이 경우 문맥이없는 언어와 일반 언어의 클래스가 일치하기 때문입니다. 내 질문은 단항 상황에 맞는 언어 에서 어떤 일이 발생하는지 아는 것 입니다. 단항 알파벳에서 주어진 상황에 맞는 문법이 정규 언어를 생성하는지 여부를 …
특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …
형식화되지 않은 람다 미적분에 대해 -equivalence 를 결정하는 것은 불가능하다는 것을 알고 있습니다. Barendregt 인용 , HP Lambda 미적분학 : 구문과 의미론. 암스테르담, 노스 홀랜드 (1984). :ββ\beta A와 B가 동일하지 않은 람다 항의 비 연속 세트 인 경우 A와 B는 재귀 적으로 분리 할 수 없습니다. A가 평등하게 닫힌 사소한 …
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까? 계산 모델의 공허 문제 (예 : 유한 상태 오토 마톤, 교류 푸시 다운 오토 마톤, 카운터가있는 경계 오류 양자 오토 마톤, 결정적 LBA 등)는 해당 머신에 대해이 머신이 인식 / 정의한 언어인지 여부를 결정하는 것입니다. 비었다. 여기서 기계에 대한 설명은 유한해야합니다! …
의 함수 성장률 비교에 대한 결정성에 대한 알려진 한계는 무엇입니까 ? 나는 " x x ∼ 2 ⌊ x lg ( x + 2 ) like ?" 와 같은 질문의 결정 가능성을 생각하고 있습니다. 또는 " 2 lg * x ∈ O ( lg lg x ) 입니까?"N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg(x+2)⌋x^x …
VAS (Vector Addition System)는 유한 한 행동 입니다. 는 일련의 표시 입니다. 런은 마킹 비어 단어 성 . 이러한 단어가 존재하는 경우 우리는 그 말을 있다 도달 에서 .A ⊂ Z d A⊂ZdA \subset \mathbb{Z}^dN d m 0 m 1 … m n ∀ i ∈ { 0 , …
답 : 알려지지 않음 이 질문을 수정하는 데 도움을 주신 모든 분들께 감사드립니다. 이 위키의 정의는 최신 TCS 위키 " P에 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키) " 의 시작점을 제공했습니다 . 최신 위키는이 위키의 정의와 명명법이이 오래된 위키보다 훨씬 정교하기 때문에 선호됩니다. 특히,이 오래된 …
로버트슨 - 시모어 정리는 말한다 사소한 폐쇄 가족GG\mathcal G 그래프는 유한하게 많은 금지 된 미성년자에 의해 특징 지워질 수있다. 입력을위한 알고리즘이 있습니까? GG\mathcal G 금지 된 미성년자를 출력하거나 결정 불가능합니까? 분명히 대답은 GG\mathcal G입력에 설명되어 있습니다. 예를 들어GG\mathcal G 에 의해 주어진 MGMGM_\mathcal G 멤버십을 결정할 수 있고 MGMGM_\mathcal G아무것도 …
알파벳 대한 임의의 문맥이없는 문법 를 고려하십시오 . 이 문법의 제작에 두 개의 고정 된 문맥에 맞지 않는 제작 : 및 . 결과 문법 를 " 제작 보완 된 "를 나타냅니다.GGG{0,1,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0→ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1→ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonGPGPG^PGGGPPP 이것은 문법 얻어 알고리즘 수득 가능 , 문자열은 위에 및 …
결정 가능한 문제가 있고, 결정 불가능한 문제가 있으며, 반결 정성 등이 있습니다. 이 경우 문제를 메타로 결정 할 수 없는지 궁금합니다. 이것은 (적어도 내 머리 속에) 결정 가능한지 여부를 알 수 없다는 것을 의미합니다. 아마도 결정 가능성이 결정 불가능한 것으로 알려져 있으며 (모든 것이 메타 결정 불가능한 것임), 어떤 것에 …