«computability» 태그된 질문

에 있다고 보는 촘스키 계층 구조 유형 3 언어없는 외부 메모리 (즉, 유한 자동 장치)에있어서 A 상태 머신에 의해 2 유형의 상태 머신에 의해 인식 될 수있는 하나의 스택 (즉, 기계적 푸시 다운)에 의해 0을 입력 두 개의 스택 (또는 Turing Machine의 경우와 마찬가지로 테이프)이 있는 상태 머신 의 경우 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

저는 다양한 주제로 겨울 코스를 가르 칠 계획입니다. 그 중 하나는 컴파일러가 될 것입니다. 이제 저는 이번 분기 내내 과제를 생각하면서이 문제를 겪었습니다. 그러나 나는 그것을 예를 들어서 대신 사용할 수있게되었습니다. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } 위의 프로그램에서 …

32 computability  proof-techniques  compilers 

이항 Lambda 미적분 에있는이 579 비트 프로그램은 정지 상태를 알 수 없습니다. 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 즉,이 프로그램의 종료 여부를 알 수 없습니다. 그것을 결정하기 위해서는 Collatz 추측을 해결해야합니다. 또는 적어도 2 ^ 256까지의 모든 숫자에 대해해야합니다. 이 저장소 에는이 프로그램을 얻는 방법에 대한 완전한 설명이 …

32 algorithms  computability  kolmogorov-complexity 

Turing complete typed lambda calculi가 있습니까? 그렇다면 몇 가지 예는 무엇입니까?

31 computability  lambda-calculus  type-theory 

NP-Complete 가 아니며 결정 불가능한 NP-Hard 문제를 쉽게 이해할 수있는 좋은 예가 있는지 궁금합니다 . 예를 들어, 정지 문제 는 NP-Complete가 아니라 결정 불가능한 NP-Hard입니다. 나는 이것이 다항식 시간이 아닌 해결책을 검증 할 수있는 문제라는 것을 의미한다고 생각합니다. (이 경우가 아니면이 설명을 수정하십시오).

31 complexity-theory  computability  np-hard 

라이스 장관은 정리의 유일한라고 우리에게 이야기 의미 의 특성 튜링 기계 우리가 결정할 수 있음 (기계에 의해 계산 된 기능 즉, 속성) (즉, 항상 진실하고 항상 false) 두 사소한 특성이 있습니다. 그러나 결정 할 수없는 Turing Machines의 다른 속성이 있습니다. 예를 들어, 주어진 튜링 머신에 도달 할 수없는 상태가있는 특성은 …

30 computability  undecidability 

양자 튜링 기계를 정의하는 방법 에 대한 토론을 겪었습니다. 그리고 나는 양자 TM과 비 결정적 TM이 하나 라고 생각합니다 . 다른 질문에 대한 답은 그 점에 영향을 미치지 않습니다. 이 두 모델은 동일하고 동일합니까? 그렇지 않다면 퀀텀 TM과 NDTM의 차이점은 무엇입니까? NDTM이 Quantum TM보다 더 빠른 계산이 있습니까? 이 경우 …

30 computability  turing-machines  quantum-computing  nondeterminism 

나는 대각선 화를 기반으로 중지 문제 (예를 들어 Papadimitriou의 교과서에서 제공)의 결정 불가능한 증거를 이해합니다. 증거가 설득력 이 있지만 (각 단계를 이해합니다), 문제만으로 시작하여 누군가가 어떻게 그것을 이끌어 낼지 알지 못한다는 의미에서 나 에게는 직관적이지 않습니다. 이 책에서 증명은 다음과 같습니다. "MHMHM_H 입력에 정지 문제 해결M;xM;xM;x 이며, 결정 튜링 기계 …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

나는에 의해 문 아래에 발생 앨런 M. 튜링 여기 : "기계가 놀라움을 일으키지 않는다는 견해는 필자가 생각하기에 철학자와 수학자가 특히 다루고있는 오류에 기인한다. 이것은 사실이 사실로 떠오르 자마자 그 사실의 모든 결과가 떠오른 것으로 가정한다. 그것은 많은 상황에서 매우 유용한 가정이지만, 그것이 거짓이라는 것을 너무 쉽게 잊어 버립니다. " 나는 …

29 turing-machines  computability  computation-models 

Church-Turing 논문은 물리적으로 계산할 수있는 모든 것이 Turing Machine에서 계산 될 수 있다고 명시하고 있습니다. 논문 "신경망을 통한 아날로그 계산"(Siegelmannn and Sontag, Theorytical Computer Science , 131 : 331–360, 1994; PDF )은 특정 형태의 신경망 (설정이 논문에 제시되어 있음)이 더 강력하다고 주장합니다. 저자들은 기하 급수적으로 그들의 모델이 튜링 머신 모델에서 …

29 computability  turing-machines  church-turing-thesis 

저는 현재 알고리즘과 복잡성으로 책을 읽고 있습니다. 현재 계산 가능한 함수와 계산할 수없는 함수에 대해 읽고 있으며, 저의 저서에는 계산 가능한 것보다 계산할 수없는 더 많은 함수가 있다고 말하고 있습니다. 실제로 대다수는 계산할 수 없습니다. 어떤 의미에서 나는 직관적으로 받아 들일 수 있지만이 책은 공식적인 증거를 제시하지도 않고 주제에 대해 …

29 computability  turing-machines  combinatorics 

함수 열거의 개념에 대해 배웠습니다. 실제로는 프로그래밍 언어에 해당합니다. 지나가는 말에서 교수는 모든 총 함수의 클래스 (즉, 모든 입력에서 항상 종료되는 함수)는 열거 할 수 없다고 언급했습니다 . 그것은 우리가 모든 함수를 작성할 수있게하는 프로그래밍 언어를 고안 할 수 없다는 것을 의미합니다. 적절한 계산 능력을 원한다면 어떻게 비 종료 가능성을 …

29 computability  semi-decidability  enumeration 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

내가 아는 모든 결정 불가능한 문제는 다음 범주 중 하나에 해당합니다. 대각선으로 인해 결정 불가능한 문제 (간접 자기 참조). 정지 문제와 같은 이러한 문제는 언어에 대해 결정된 결정자를 사용하여 행동이 모순으로 이어지는 TM을 구성 할 수 있기 때문에 결정 불가능합니다. Kolmogorov의 복잡성에 대한 결정 불가능한 많은 문제를이 캠프에 집중시킬 수도 …

28 computability  proof-techniques  undecidability 

두 언어간에 소스 코드를 '번역'할 수있는 프로그램이 있습니까 (번역자가 필수 라이브러리에 액세스한다고 가정)? 있다면 어떻게 작동 하는가 (사용되는 기술, 필요한 지식 등)? 그들은 어떻게 실현 가능할까요? 그렇지 않은 경우 개발을 방해하는 제한은 무엇입니까? 이것이 AI의 완전한 문제입니까 (자연어 번역이 하나로 나열 됨)? EDIT 변환은 언어가 동일한 표현력을 가질 때만 동일한 …

28 computability  programming-languages  compilers