잊어 버린 튜링 머신에서 튜링 머신의 에뮬레이션을 미만으로 수행 할 수 없다는 증거가 있습니까? 여기서 은 튜링 머신이 사용하는 단계 수입니다. ? 아니면 상한입니까?O(mlogm)

$\mathcal{O}\left(m\log m\right)$m

$m$

Vitányi는 폴 비 타니 (Paul Vitányi)의 논문에서 관련성이없는 튜링 기계에 관한 논문에서

“그들은 [ Pippenger 및 피셔, 1979 기계 튜링 1 테이프 실시간 인식 느릅 나무 언어 L이 있으므로,이 결과는 일반적으로 개선 될 수 없음을 보여 주었다 , 어떤 잊기 튜링 기계 인식 필수을 최소한 순서 단계를 사용하십시오 “.M

$M$

$M$M′

$M^{\prime }$

$M'$L

$L$

$L$O(nlogn)

$O(n\log n)$

$O(n \log n)$

이 표시되어야 절대 결합 등을. 그러나 나는 이것에 대한 증거를 찾지 못한다.O(mlogm)

$O(m \log m)$

Pippenger, Nicholas; Fischer, Michael J. , 복잡성 측정 간의 관계 , J. Assoc. 계산. 마하 26, 361-381 (1979). ZBL0405.68041 .

어떤 아이디어? 또한이 에뮬레이션의 공간 복잡성은 무엇입니까? 내가 아는 한, 범용 Turing 기계로의 변환은 테이프 길이의 두 배에 불과합니다. 나는 공간의 복잡성이되어 있다고 가정 할 수 있습니다 와 원래 튜링 기계의 공간 복잡성?O(l)

$\mathcal{O}\left(l\right)$l

$l$

답변