Page 240

Location: Chapter 25, solution to Problem 4

It is (lines 3-4 of page)

Therefore \(n\) belongs to the set \(\mathscr{S}^\star\) (because \(A\) computes \(S^\star\), hence if \(n\) didn't belong to \(S^\star\), then...

It should become

Therefore \(n\) belongs to the set \(\mathscr{S}^\star\) (because \(A\) computes \(\mathscr{S}^\star\), hence if \(n\) didn't belong to \(\mathscr{S}^\star\), then...

Short explanation

A simple typographic mistake.