부분 결과서지만 확인
A Turing machine time hierarchyS. Žák · 1983Theoretical Computer Science 26(3), 327–333쪽 (1983)비결정적 시간 위계 정리의 간단한 증명을 준 논문이다. 지금 교과서에 실리는 증명이 여기서 왔다. 2-4 의 시간 위계 정리 글이 인용한다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Arora–Barak 공개 초고 3장과 영어 위키백과 「Time hierarchy theorem」 문서로 확인.