부분 결과서지만 확인
On determinism versus non-determinism and related problemsWolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter · 1983FOCS 1983 (24th Annual Symposium on Foundations of Computer Science), 429–438쪽다중 테이프 튜링 기계에서 결정적 선형 시간과 비결정적 선형 시간이 다름을 보인 논문으로 널리 인용된다. 결정성과 비결정성을 시간에서 갈라 놓은 드문 무조건적 결과다. 다만 선형 시간과 다중 테이프 모형에 묶인 결과여서 다항 시간(P 대 NP)으로는 넓혀지지 않았다고 알려져 있다. 「가장 가까이 간 분리 결과」를 정확히 적으려는 글에 필요하다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).