«turing-machines» 태그된 질문

컴퓨터 프로그램을 시뮬레이션 할 수있는 이론적 인 기계 계산 모델 인 튜링 머신에 대한 질문.

5
튜링 머신과 유한 상태 머신의 차이점은 무엇입니까?
튜링 머신에 대한 프레젠테이션을 진행하고 있으며 튜링 머신을 소개하기 전에 FSM에 대한 배경 지식을 제공하고자했습니다. 문제는, 나는 정말로 서로 다른 것이 무엇인지 정말로 모른다는 것입니다. 다른 점은 다음과 같습니다. FSM은 튜링 머신이 읽고 쓰는 헤드가있는 무한 "테이프"에서 작동하는 동안 충족 된 해당 조건에 따라 순차적 인 상태를 갖습니다. FSM에는 끝나지 …
6
Turing Machine과 물리적으로 유사합니까?
최근 CS 수업에서 Turing Machine을 소개했습니다. 수업 후, 테이프와 기계의 관계를 파악하기 위해 2 시간 이상을 보냈습니다. 나는 컴퓨터 테이프의 존재 나 테이프와 기계가 오늘날까지 어떻게 상호 작용하는지 완전히 알지 못했습니다. 나는 여전히 기계가 테이프를 읽는 이유를 알 수 없지만 스캐너는 아마도 종이가 테이프로 간주되고 스캐너 내부로 들어가는 것은 Turing …
5
튜링 머신의 실질적인 중요성?
저는 전기 기술자이며 26 년 전 대학에서 단 하나의 CS 과정 만있었습니다. 그러나 나는 또한 헌신적 인 Mathematica 사용자입니다. 나는 Turing Machines가 컴퓨터 과학에서 매우 중요하다는 것을 알고 있습니다. 컴퓨터 과학 이론에서만 중요한가? 실질적인 영향 / 응용이있는 경우 그 중 일부는 무엇입니까?
6
튜링 머신에 입력 할 수있는 길이는 무한합니까?
알파벳 만 고려 하면 튜링 머신에 입력으로 제공 될 수있는 문자열은 있습니다. 그러나 입력이 무한 이진 문자열이되는 것이 합리적입니까? 예를 들어 튜링 머신이 0으로 시작하는 모든 문자열을 허용하는 경우 무한 0의 이진 문자열도 튜링 머신이 허용하는 언어에 속합니까?Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\}Σ※Σ※\Sigma^{*}
4
중단 문제의 결정 불가능한 증거
Halting Problem의 결정 불가능한 증거를 이해하는 데 어려움을 겪고 있습니다. 만약 반환 프로그램 여부 입력에가 정지 왜 우리의 코드를 통과해야 할 모두 와 ?a b P a bH(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb 왜 에 와 와 같은 임의의 입력 을 공급할 수 없습니까?P xH()H()H()PPPxxx
6
평신도를위한 재귀적이고 재귀 적으로 열거 가능한 언어 정의
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 나는 재귀적이고 재귀 적으로 열거 가능한 언어에 대한 많은 정의를 보았습니다. 그러나 나는 그들이 무엇인지 이해할 수 없었다. 어떤 사람들이 간단한 단어로 무엇인지 말해 줄 수 …
4
구성주의 논리에 결정 불가능한 언어가 존재합니까?
구성주의 논리는 배제와 더불어 배제 된 중간의 법칙을 공리로 제거하는 시스템입니다. Wikipedia에 여기 및 여기 에 설명되어 있습니다 . 특히, 시스템은 모순에 의한 증거를 허용하지 않습니다. 궁금한 점이 있는데, 이것이 튜링 머신 및 공식 언어와 관련된 결과에 어떤 영향을 미치는지 알고 있습니까? 언어가 결정 불가능하다는 거의 모든 증거는 모순에 의한 …
1
양자 컴퓨팅 및 튜링 머신 : 튜링 머신은 여전히 ​​정확한 측정입니까?
지난주 수업에서 교수님은 튜링 머신은 계산 가능한 표준 측정 / 모델로 사용되며 해당 주제에 대한 토론의 유용한 기반이라고 말했습니다. 그녀는 또한 모든 튜링 머신의 변형이 서로 계산적으로 동등한 것으로 입증되었습니다. 여 나는 어제 계산 능력과 관련하여 어떤 튜링 머신은 매우 간단한 것을 계산하는 데 엄청나게 많은 시간이 걸릴 수 있음을 …
5
기능 언어 튜링이 완벽한 이유는 무엇입니까?
아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …
5
더 높은 수준의 계산 설명으로 이탈하여 중단 문제를 "해결"할 수 있습니까?
최근 튜링의 정지 문제에 대한 결정 불가능한 증거는 러셀의 이발사 역설과 매우 유사하다는 흥미로운 비유를 들었습니다. 그래서 수학자들은 Cantor의 순진한 현장 공식화에서 좀 더 복잡한 공리 시스템 (ZFC set theory)으로 전환하여 중요한 배제 (제한) 및 추가를 통해 세트 이론을 일관되게 만들었습니다. 따라서 튜링 머신보다 강력하고 표현력이 뛰어나고, 존재 증거를 얻거나 …
2
2 차 시간이 필요한 문제
입력 x의 하한이 Ω(|x|2Ω(|x|2\Omega(|x|^2 ) 인 문제의 예를 찾고 있습니다.xxx 이 문제에는 다음과 같은 속성이 있어야합니다. Ω(n2)Ω(n2)\Omega(n^2)모든 알고리즘에 대한 Ω ( n 2 ) 런타임 증명 – 우선 순위는 가능한 한 낮은 하한 인수를 갖는 것입니다. O(n2)O(n2)O(n^2)가능한 경우 O ( n 2 ) 알고리즘도 간단한 알고리즘입니다. 출력 크기는 O(n)O(n)O(n) (또는 …
1
언어 을 인식하는 Turing 기계를 무제한 문법으로 변환하는 방법은 무엇입니까?
이 Wikipedia 기사 에 따르면 무제한 문법은 튜링 머신과 동일합니다. 이 기사에서는 Turing 기계를 무제한 문법으로 변환 할 수 있지만 문법을 Turing 기계로 변환하는 방법 만 보여줍니다. 실제로 어떻게 언어 을 인식하는 Turing 기계를 무제한 문법으로 변환합니까? 전환 규칙을 문법 규칙으로 바꾸려고했지만 튜링 머신은 다양한 상태 구성을 가질 수 있습니다.LLL
4
비 결정적 오토마타에 대한 정지 문제 정의
적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.