빈 셀에 쓸 수있는 능력이없는 Turing 머신은 표준 Turing보다 덜 강력합니까?

빈 셀에 쓸 수있는 능력이없는 Turing 머신은 표준 Turing보다 덜 강력합니까?

나는 대답은 그렇다고 생각하지만 표준 Turing 기계는 할 수 있지만이 기계는 할 수없는 계산을 찾을 수 없습니다.

어떤 아이디어?

— 주 Bc
소스

다시 말해, " 메모리가 제한된 컴퓨터는 메모리가 무제한 인 컴퓨터보다 강력하지 않습니까?"

— Nat

답변:

설명하는 튜링 기계의 유형은 선형 경계 자동 장치입니다 (입력이 들어있는 테이프 부분에만 쓸 수 있음). LBA는 상황에 맞는 언어 의 수용자 이므로이 제한으로 해결할 수는 없지만 튜링 머신으로 일반적으로 해결할 수있는 문제의 특정 예를 찾으려면 결정 가능하지만 상황에 맞지 않는 언어가 필요합니다. 민감한.

Wikipedia에 주어진 예는 다음과 같습니다.

문맥에 맞지 않는 재귀 언어의 예는 EXPSPACE가 어려운 문제, 즉 지수가있는 동등한 정규 표현식 쌍 세트를 갖는 재귀 언어입니다.

더 많은 예 는 상황에 맞지 않는 재귀 언어의 예가 있습니까?를 참조하십시오 .

— roctothorpe
소스

$\textsf{DSPACE}(O(n))$

— 퀵 정렬
소스

테이프의 끝에 공백으로 사용할 수있는 특수 기호의 주어진 문제에 대해 충분히 긴 접미사를 제공 할 수 있습니까?

— gen

@gen 일반적으로 아닙니다. 가장 일반적인 경우, 그러한 접미사를 알고 있으면 중지 문제를 결정할 수 있습니다. 결과적으로 충분히 긴 접두사를 계산하는 것은 일반적으로 결정하기 어려울 수 있으므로 그러한 접미사가 제공된다고 가정하는 것은 합리적이지 않습니다.

— chi

이 답변을 " 메모리가 제한된 Turing Machine은 임의의 프로그램을 실행하기에 충분한 메모리가 없기 때문에 어떤 프로그램은 기존의 것보다 더 많은 메모리가 필요할 수 있기 때문에 "라고 해석하는 것이 정확 합니까?

— Nat

@Nat : "프로그램이 필요로하는 메모리의 양은 일반적으로 프로그램이 실행될 때까지 알 수 없습니다"라고 말하고 싶습니다. 궁금한 점은 (수학적 역설) 정수 트리플렛 X, Y, Z의 경우, 종료 할 수 있고 최대 X 상태를 포함하는 테이프에서 보유 할 수있는 테이프에 대해 필요한 테이프 셀 수의 상한이 있다는 것입니다 대부분의 Y 유형의 기호이며 테이프에서 Z 기호로 초기화되지만 X, Y 및 Z의 사소한 값을 제외하고는 그러한 상한이 없습니다.

— supercat