«computability» 태그된 질문

Andrew W. Appel의 저서 ML의 Modern Compiler Implementation에서 17 장에 따르면 Computability 이론은 새로운 최적화 변환을 발명하는 것이 항상 가능 하며 완전히 최적화 된 컴파일러 가 정지 문제를 해결할 수 있음을 증명한다고 17 장에서 밝혔 습니다 . Q 어떠한 출력을 생성 결코 정지하고 용이하게 최적의 표현으로 대체 될 수 옵트 …

20 computability  compilers  program-optimization 

나는 컴퓨터가 어떤 모호한 의미로 컴퓨터가 무엇인지 알고 있지만 더 엄격한 정의를 원합니다. Dictionary.com의 계산, 컴퓨팅, 계산 및 계산에 대한 정의는 순환 적이므로 도움이되지 않습니다. Wikipedia계산을 "잘 정의 된 모델을 따르는 모든 유형의 계산"으로 정의합니다. 계산을 "가변 변경을 통해 하나 이상의 입력을 하나 이상의 결과로 변환하는 고의적 인 프로세스"로 정의합니다. …

20 terminology  computability 

“합리적인”공식 언어로 언급 된 결정 문제를 고려하십시오. 하나의 자유 변수를 참조 프레임으로 사용하여 고차 Peano 산술의 공식을 말하지만, 다른 계산 모델에도 동일하게 관심이 있습니다. 형식화의 선택이 답변에 얼마나 영향을 미치는지 알면 흥미로울 것입니다. 길이 감안할 때 결정 문제의 문, 우리는 숫자 정의 할 수 있습니다 decidable 길이의 문장의 과 숫자 …

20 computability  undecidability 

Kolmogorov-Complexity 를 정의하는 방법에는 여러 가지가 있으며 일반적으로 이러한 모든 정의는 부가 상수와 동일합니다. 경우 즉 및 콜 모고 로프 복잡도 함수는 (다른 언어 또는 모델을 통해 정의), 다음 상수가 존재 등을 그 모든 문자열에 대한 , . 나는 이것이 모든 Kolmogorov 복잡도 함수 와 모든 대해상수 .K 2 c …

20 computability  kolmogorov-complexity 

NP-hard 문제를 계산할 수 있어야합니까? 나는 그렇게 생각하지 않지만 확실하지 않습니다.

19 complexity-theory  computability  np-hard 

셀룰러 오토마타에서 규칙 110 에 대한 Wikipedia 페이지를 읽었으며 그 규칙 이 어떻게 작동하는지 알고 있습니다 (규칙 집합이 다음 1 또는 0을 그릴 위치를 결정합니다). 방금 튜링이 완료되었다는 것을 읽었지만 '룰 110'에서 어떻게 '프로그램'하겠습니까?

19 computability  automata  turing-completeness  cellular-automata 

하자 F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . F 가 결정 가능한지 또는 재귀 …

19 computability  undecidability 

저는 계산 이론을 전공하는 대학원생이며, 일단 요청을 받으면 콘텐츠 제작에 심각한 문제가 있습니다. 나는 교과서 (Michael Sipser의 계산 이론 입문)와 강의를 따를 수 있습니다. 그러나 무언가를 증명하거나 특정 TM에 대한 공식적인 설명을 요구할 때, 나는 단지 질식했다. 그런 상황에서 어떻게해야합니까? 내 문제는 추상적 개념을 실제로 사용할 수있는 시점까지 완전히 이해하는 …

19 computability  education  intuition 

일반적인 경우에는 정지 문제를 해결할 수 없습니다. 허용 된 입력을 제한하는 정의 된 규칙을 생각해 내고 해당 특수한 경우 정지 문제를 해결할 수 있습니까? 예를 들어, 예를 들어 루프를 허용하지 않는 언어는 프로그램이 중지되는지 여부를 쉽게 알 수 있습니다. 지금 해결하려는 문제는 프로그램의 유효성을 검사하는 스크립트 검사기를 만들려고한다는 것입니다. 스크립트 …

18 computability  undecidability  software-engineering  formal-methods 

계산 가능한 기능이 존재 하는가 되도록 :f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} 모든t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X 여기서 XXX 는 계산할 수없는 실수입니다. 내가 찾은이 질문에 대한 유일한 참조에 대한 대답이었다 이 질문 : /math//a/1052579/168764 , 함수가 개최 것 같다,하지만 난 방법을 증명하는 아무 생각이 없다 이 함수의 한계는 계산할 …

18 computability 

빈 셀에 쓸 수있는 능력이없는 Turing 머신은 표준 Turing보다 덜 강력합니까? 나는 대답은 그렇다고 생각하지만 표준 Turing 기계는 할 수 있지만이 기계는 할 수없는 계산을 찾을 수 없습니다. 어떤 아이디어?

18 formal-languages  turing-machines  computability  automata 

환경: 역 참조가있는 정규식 단항 언어 (1 기호 알파벳) 이 설정에서 다음 문제를 결정할 수 있습니까? 역 참조가있는 정규식이 주어지면 정규 언어를 정의합니까? 예를 들어, (aa+)\1일반 언어를 정의하지만 (aa+)\1+그렇지는 않습니다. 어떤 경우인지 결정할 수 있습니까? 구체적으로, "역 참조가있는 정규 표현식"은 일반적인 Perl 호환 정규 표현식 의 다음 하위 집합을 나타냅니다 …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

내가 이해하는 것처럼 메모리는 많은 것들에 사용됩니다. 디스크 캐시 역할을하며 프로그램 지침 및 해당 스택 및 힙을 포함합니다. 여기에 생각 실험이 있습니다. 컴퓨터가 크 런칭을 수행하는 데 걸리는 속도 나 시간에 신경 쓰지 않는다면 디스크가 매우 크다고 가정 할 때 가질 수있는 최소 메모리 양은 얼마입니까? 메모리를 없애고 디스크를 가질 …

18 computability  memory-management  memory-hardware 

만델 브로트 집합은 수학의 아름다운 창조물이다. 높은 정밀도로 만들어진이 세트의 아름다운 이미지가 많이 있으므로 분명히이 세트는 어떤 의미에서 "계산 가능"합니다. 그러나 나에게 관심이있는 것은 반복적으로 열거 할 수 없다는 것입니다. 단순히 세트가 셀 수 없기 때문입니다. 이것은 점의 유한 한 표현을 요구함으로써 해결 될 수 있습니다. 또한 많은 포인트가 세트에 …

18 computability 

모든 입력 세트가 무한 할 때 두 알고리즘 (예 : 병합 정렬 및 Naïve 정렬)이 입력에 대해 동일한 결과를 반환하는지 어떻게 확인합니까? 업데이트 : Ben 이 일반적인 경우 알고리즘 적으로 수행하는 방법을 설명해 주셔서 감사합니다 . Dave의 대답 은 항상 작동하지는 않지만 매우 효과적인 알고리즘 및 수동 (인간 위트 및 …

18 computability  formal-methods  software-engineering  software-verification