교과서서지만 확인
Introduction to the Theory of ComputationMichael Sipser · 2012Cengage Learning, 3판 (저자 누리집 표기: 2012년 7월 출간)오토마타, 계산 가능성, 복잡도를 차례로 가르치는 학부 계산 이론 교과서다. 튜링 기계와 P·NP·NP-완전성을 처음 배우는 사람에게 가장 널리 권하는 책이다. 1-1 의 정의를 교과서 수준의 증명과 연습 문제로 익히려는 입문 독자에게 맞다. 저자는 sipser-1992 의 저자와 같다.
확인:저자 누리집의 책 페이지에서 제목·판·출판사·출간 연월을 확인했다(판권 연도를 2013으로 적는 인용도 있다).