«computability» 태그된 질문

전산 복잡도와 터링 머신에 관한 책을 읽기 시작했습니다. 인용문은 다음과 같습니다. 정규 인코딩을 결정하면 알고리즘 (예 : 기계)을 비트 문자열로 나타낼 수 있습니다. 이 주장은 간단한 사실로 제공되지만 이해할 수 없습니다. 예를 들어 를 입력으로 사용하고 계산 하는 알고리즘이 있거나( x + 1 ) 2엑스엑스x( x + 1 )2(엑스+1)2(x+1)^2 int …

17 algorithms  turing-machines  computability  computation-models 

모든 입력에서 멈추는 튜링 머신이 있지만 어떤 이유로 든 그 속성을 증명할 수 없습니까? 이 질문이 공부되었는지 궁금합니다. "불확실하다"는 "제한된"증명 시스템을 의미 할 수 있습니다 (약한 의미에서는 답이 '예'라고 생각합니다). 물론 가능한 가장 강력한 답변, 즉 ZFC 설정 이론 또는 기타 모든 입력에서 중단 될 수없는 답변에 관심이 있습니다. Ackermann …

17 computability  reference-request  turing-machines  halting-problem 

임의의 아날로그 계산 을 수행하려면 어떤 작업을 수행해야 합니까? 더하기, 빼기, 곱하기 및 나누기로 충분합니까? 또한 디지털 계산이 아닌 아날로그 계산을 사용하여 다루기 쉬운 문제를 정확히 아는 사람이 있습니까?

17 computability  computation-models  turing-completeness 

나는 모토 들었습니다 상호 작용 알고리즘보다 더 강력한 에서 피터 웨 그너 . 이 아이디어의 기본은 (고전적인) 튜링 머신이 외부 세계 / 환경과의 통신 (입력 / 출력)과의 상호 작용을 처리 할 수 ​​없다는 것입니다. 어떻게 그렇게 할 수 있습니까? 튜링 머신보다 어떤 것이 더 강력 할 수 있습니까? 이 이야기의 …

17 computability  computation-models 

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

17 algorithms  computability  graph-theory  undecidability 

언어 와 주어지면 , 모든 단어 에 와 와 정확히 하나의 분해 가 그렇지 않으면 모호한 경우 , 그들의 연결 가 모호하지 않다고 가정 해 봅시다 . (이 속성에 대해 확립 된 용어가 있는지 모릅니다. 검색하기 어려운 것입니다!) 사소한 예로서, 자체 연결은 모호합니다 ( )이지만 연결 자체는 분명합니다.AAABBBABABABw∈ABw∈ABw \in ABw=abw=abw …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

이 질문에서 우리는 모든 입력에서 멈추는 Turing 머신만을 고려합니다. 경우 k∈Nk∈Nk \in \mathbb{N} 다음에 의해 TkTkT_k 우리는 그 코드 튜링 기계 나타낸다 kkk . 다음 기능을 고려하십시오 s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} 다시 말해, 는 문자열 중 하나를 정확하게 인식하는 가장 작은 Turing machine의 코드입니다이제 다음 …

16 computability  turing-machines 

이 대학에서 CS 과정에서 연구와 관련된 질문을 참고, 그것은 숙제되어 있지 않으므로 찾을 수 있습니다 여기에 2011 년 가을 exam2에서. 다음은 지난 시험에서보고있는 두 가지 질문입니다. 그들은 관련이있는 것 같습니다. 허락하다 FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = \{ < …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

두 개 이상의 카운터가있는 카운터 머신 은 일반적으로 계산 이론에 대한 과정에서 튜링 머신과 동등한 것으로 표시됩니다. 그러나, 나는 1 카운터 기계가 어떤 언어를 인식 할 수 있는지에 대한 공식적인 분석을 보지 못했습니다. 이러한 언어는 문맥이없는 언어 (아마도 PDA와 관련하여 일부 영리한 구성)와 동등하거나 완전히 다른 클래스의 언어입니까?

15 computability  automata 

한 강의에서 한 교수는 현대 컴퓨터는 무한 메모리가 없기 때문에 튜링 머신만큼 계산 능력이 많지 않으며 무한 메모리를 가질 수있는 컴퓨터가 없기 때문에 튜링 머신은 도달 할 수 없으며 단순히 상한을 나타냅니다 컴퓨팅 이로 인해 컴퓨팅 능력의 범위를 벗어나는 문제 (또는 문제의 종류)에 대한 측정 또는 정의가 있습니까?

15 computability 

이 메시지를 작성하기 위해 디지털 컴퓨터를 사용하고 있습니다. 이러한 기계는 당신이 그것에 대해 생각한다면, 사실은 꽤 놀라운하는 속성이 있습니다 : 그것은이다 하나 개의 시스템 , 적절하게 프로그램 된 경우, 수행 할 수있는 가능한 모든 계산을 . 물론 어떤 종류의 기계를 계산하는 것은 고대로 돌아갑니다. 사람들은 덧셈과 뺄셈 (예 : 주판), …

15 computability  turing-machines  history 

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

15 computability  automata  undecidability 

세트는 자연수와 함께 bijection 이 있는 경우 셀 수 있으며 멤버를 열거하는 알고리즘이있는 경우 계산 가능합니다 (ce) . 열거 할 수없는 계산 가능한 집합은 계산할 수 있어야합니다. 계산할 수없는 계산 가능한 집합의 예가 있습니까? 즉,이 세트와 자연수 사이에 궤적이 존재하지만이 궤적을 계산할 수있는 알고리즘은 없습니다.

15 computability  semi-decidability