본 논문은 결정적 다중 테이프 튜링 머신에 대한 제곱근 공간 시뮬레이션을 증명하며, $\mathrm{TIME}[t]\subseteq \mathrm{SPACE}[O(\sqrt{t})]$를 제시한다. 주요 단계는 블록 존중 실행에 대한 정준 좌심층 간결 계산 트리를 DFS 경로를 따라 평가 스택 깊이가 $O(\log T)$인 이진 트리로 균일하게(및 로그 공간에서) 재형성하는 높이 압축 정리이다. 여기서 $T=\lceil t/b\rceil$이다. 잎에서는 $O(b)$의 작업 공간을, 내부 노드에서는 $O(1)$의 작업 공간을 유지한다. 알고리즘적으로, 상수 차수 맵을 가진 대수적 리플레이 엔진, 포인터 없는 DFS, 인덱스 없는 스트리밍, 그리고 잎 요약의 축적을 방지하는 롤링 경계 버퍼는 상수 크기 레벨별 토큰을 보장하고 넓은 카운터를 제거하여 $S(b)=O(b+t/b)$의 가산적 트레이드오프를 생성한다. $b=\Theta(\sqrt{t})$를 선택하면 $O(\sqrt{t})$ 공간이 얻어진다.
