부분 결과서지만 확인
Two-tape simulation of multitape Turing machinesF. C. Hennie, R. E. Stearns · 1966Journal of the ACM 13(4), 533–546쪽 (1966)테이프가 여러 개인 튜링 기계를 두 테이프 기계로 로그 배의 비용만 치르고 흉내 낼 수 있음을 보인 논문이다. 이 결과로 시간 위계 정리의 조건이 지금의 꼴(f(n)·log f(n))로 다듬어졌다. 2-4 의 시간 위계 정리 글이 인용한다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 영어 위키백과 「Time hierarchy theorem」 문서와 Arora–Barak 공개 초고 3장으로 확인.