«computability» 태그된 질문

(형식화되지 않은) 람다 미적분 ( ) 의 고정 소수점 조합기 FIX (일명 Y )는 다음과 같이 정의됩니다.λλ\lambda FIX≜ λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) )≜λ에프.(λ엑스.에프 (λ와이.엑스 엑스 와이)) (λ엑스.에프 …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

정지 문제는 주어진 프로그램이 정지하는지 여부를 결정하는 알고리즘이 없음을 나타냅니다. 결과적으로 종료 여부를 알 수없는 프로그램이 있어야합니다. 그러한 프로그램의 가장 간단한 (가장 작은) 알려진 예는 무엇입니까?

27 computability  turing-machines  halting-problem 

프로그래밍 방법을 알고 있지만 CS 이론의 초보자입니다. 이 답변 에 따르면 튜링 완성도는 계산 성의 추상 개념입니다. 언어가 Turing 완료 인 경우 다른 Turing 완료 언어가 수행 할 수있는 계산을 수행 할 수 있습니다. 그리고 어떤 튜링 완전한 언어로 작성된 프로그램은 다른에 다시 작성할 수 있습니다 . 승인. 이것은 말이됩니다. …

26 computability  programming-languages  turing-completeness 

Halting Problem의 결정 불가능한 증거를 이해하는 데 어려움을 겪고 있습니다. 만약 반환 프로그램 여부 입력에가 정지 왜 우리의 코드를 통과해야 할 모두 와 ?a b P a bH(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb 왜 에 와 와 같은 임의의 입력 을 공급할 수 없습니까?P xH()H()H()PPPxxx

25 computability  turing-machines 

분명히 NP에는 결정 불가능한 문제가 없습니다. 그러나 Wikipedia 에 따르면 : NP는 응답이 "예"인 경우 결정 론적 튜링 머신에 의해 다항식 시간으로 검증 할 수있는 [.. 증명]을 갖는 모든 결정 문제의 집합입니다. [...] 다항식 시간으로 실행되는 문제에 대한 검증자가있는 경우에만 문제가 NP에 있다고합니다. 이제 다음 문제를 고려하십시오. Diophantine 방정식이 주어지면 …

25 complexity-theory  computability  undecidability  decision-problem 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 나는 재귀적이고 재귀 적으로 열거 가능한 언어에 대한 많은 정의를 보았습니다. 그러나 나는 그들이 무엇인지 이해할 수 없었다. 어떤 사람들이 간단한 단어로 무엇인지 말해 줄 수 …

24 formal-languages  computability  turing-machines 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 방금이 흥미로운 질문이있었습니다. 인간에게 가장 빠르게 성장하는 기능은 무엇입니까? 그것은인가 바쁜 비버 ? 우리는 와 같은 함수를 알고 있지만,이 함수는 보다 느리게 증가하고 , 그 결과 …

24 computability 

계산 이론에서 계산 가능한 함수는 재귀 함수라고도합니다. 적어도 첫눈에 그들은 일상 프로그래밍에서 "재귀 적"이라고 부르는 것과 공통점이 없습니다 (즉, 스스로 호출하는 함수). 계산의 맥락에서 재귀의 실제 의미는 무엇입니까? 왜 이러한 기능을 "재귀"라고합니까? 다른 말로 표현하자면 : "재 귀성"의 두 의미 사이에는 어떤 관련이 있습니까?

23 computability  terminology  history 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . "Alan Turing은 1936 년에 가능한 모든 프로그램 입력 쌍에 대한 정지 문제를 해결하기위한 일반적인 알고리즘이 존재할 수 없음을 증명했습니다. " 나는에 대한 중단 문제를 해결하기 위해 …

23 computability  formal-methods  halting-problem  software-verification 

아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

나는 Kolmogorov Complexity 에 대해 무언가를 연구하고 Vitanyi와 Li의 기사와 책을 읽었으며 Normalized Compression Distance 의 개념을 사용하여 저자의 stilometry를 확인했습니다 (각 저자가 유사성으로 텍스트와 그룹 문서를 작성하는 방법을 식별). 이 경우 데이터 압축기는 튜링 기계로 사용될 수 있기 때문에 Kolmogorov의 복잡성을 근사하기 위해 데이터 압축기가 사용되었습니다. 데이터 압축 및 …

22 computability  approximation  data-compression  kolmogorov-complexity 

결정할 수없는 "자연"언어가 있습니까? "자연"이란 기계와 그에 상응하는 것이 아니라 문자열의 속성에 의해 직접 정의 된 언어를 의미합니다. 즉, 같은 언어 보이면 TM, DFA (또는 정규 EXP), PDA (문법) 인, 등등, 그 다음 자연스럽지 않습니다 . 그러나 는 자연 스럽습니다.L = { ⟨ M⟩ ∣ … }L={⟨M⟩∣…} L = \{ …

22 formal-languages  automata  computability  undecidability 

정확히 동일한 테이프의 동일한 셀에 읽기 / 쓰기 헤드가있는 이전에 발생한 상태로 돌아가는 튜링 머신은 루프에 걸립 니 다. 그런 기계는 멈추지 않습니다. 누군가가 멈추지 않는 끊임없는 기계의 예를 제시 할 수 있습니까?

22 computability  turing-machines  halting-problem 

최근 튜링의 정지 문제에 대한 결정 불가능한 증거는 러셀의 이발사 역설과 매우 유사하다는 흥미로운 비유를 들었습니다. 그래서 수학자들은 Cantor의 순진한 현장 공식화에서 좀 더 복잡한 공리 시스템 (ZFC set theory)으로 전환하여 중요한 배제 (제한) 및 추가를 통해 세트 이론을 일관되게 만들었습니다. 따라서 튜링 머신보다 강력하고 표현력이 뛰어나고, 존재 증거를 얻거나 …

21 computability  turing-machines  computation-models  halting-problem 

컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …

21 formal-languages  computability  context-free  computation-models  context-sensitive