(마지막 두 단락)

Witness(a,n)에서 TRUE를 리턴하지 않으면
→Witness(a,n)에서 TRUE를 리턴하면

WITNESS의 8행에서 TRUE를 리턴하지 않으면
→WITNESS의 8행에서 TRUE를 리턴하면

(<그림 32.11> 설명 부분)

<그림 32.11 >

패턴 P = ababababca와 q = 8에 대한 보조 정리 32.5의 설명
→ 패턴 P = ababaca와 q = 5에 대한 보조 정리 32.5의 설명


설명 부분중 (a)는 개정 2판의 내용을 그대로 표기하여 전혀 내용이 일치 하지 않음.                 (원서의 내용과 완전히 다름)

(b)의 마지막에서 두 번째 문장 : 
따라서 {k: k < q and ....} = {6, 4, 2, 0}이 된다. 
→ 따라서 {k: k < 5 and ...p5} = {3, 1, 0}이 된다.