“string could have been pumped” should be “characters could have been pumped”.

354

First chart

Get rid of the top row (labeled 4).

355

Second chart

Add "V, N" above the caption "saw" (as in the chart above it).

356

Second chart

Second row (counting down from the top): Move VP to the right so it aligns with VP on row 6. Third row: Move NP to the right so it aligns with NP on row 5. Fourth row: Move ProperNoun to the right so it aligns with NP on row 5.

380

Example 17.11: Diagram of machine C

Delete the blank that occurs immediately after writing x the first time. So after writing x, the code is: L to a blank, L to a blank, write x, loop back.

386

Part (b) of Figure 17.3

Row 3, last separated column: Put a blank in the empty square.

389

Tree in Figure 17.4

Label on root of tree: the "S" should be "s".

402

Line 3 of the second table

In column 2, change "q10” to "h10".

402

Last line of Example 17.20

Change "q10” to "h10".

419

Line 20, step 1.1

Remove space between w and period.

438

Proof of Theorem 20.3

Change "(by Theorem 2.2)" to "(by Theorem 2.3)".

443

Proof of Theorem 20.9

Add special case in which L is finite.

454

Line 2

Change “Section 21.2” to “Section 21.6”.

455

Last four lines of step 3 of algorithm

Change five instances of "x" to "s"

459

Last line of dovetailing table in middle of page

Fill in the first empty column with b [4]. Then shift the rightmost three columns one to the left.

460

First line

Change element-of symbol to not-element-of symbol.

465

Second bullet in proof

Change “H: does not halt …” to “H: M does not halt …”.

468

Line -11

Change "machhnes" to "machines".

468

Line -6

Change "Riae's Theorem" to "Rice's Theorem".

475

Title of Theorem 21.14

In "Is M …", italicize "M".

479

Line 8

1.2. should be 1.1.

480-1

Continuation of Theorem 21.18

Continue the margin rule that marks theorems all the way to just before the Section 21.6.3 heading.

483

Exercise 1.n.

"{a*}" should be "a*".

485

Exercise 18

"doubly reducible" should be bold italic.

490

Example 22.2, first row of the tree, rightmost branch

There should be three x’s, so add one under the first 0/1 column.

491

Last line of definition of M_PCP

Should say, "halt and accept".

533

Line -3

Change “G does almost of its work …” to “G does almost all of its work …”.

542

TM description in middle of page

Change two instance of L to q to L to blank.

542

Line 20

Insert [ before CATEGORY NP.

564

TM description in middle of page

Change two instance of L to q to L to blank.

627

Line -2

Change “It should now by obvious” to “It should now be obvious”.

629

Tree in Example 28.1

The line between 1 and 5 should not be in bold.

631

Footnote

Change Corman to Cormen.

648

Line 10

Change "is likely to exit" to "is likely to exist".

664

Line 5 of proof

Change "<G, k>" to "<G>" and change "<G, k, c>" to "<G, c>".

675

Line 13

Change "no repeated edges" to "no repeated vertices".

733

Line -15

Get rid of word to before the quoted expression "to find".

742

Line -7

Change Corman to Cormen.

743

Line 9

Change Corman to Cormen.

746

First line of Table A.1

Change first instance of P "and symbol" Q to P "or symbol" Q.

765

Last line

Change “symmetric” to “transitive”.

782

Title of Example A.17

The n in n-squared should not be bold.

784

Title of Example A.19

Change "Tolens" to "Tollens".

785

Line 2

The first i on the line should not be subscripted.

842

Step 2 of the algorithm

Change "whose left-hand sides" to "whose left-hand side".

853

Line 3

Insert } after ).

853

Line -14

Insert "the" to produce "string that is the yield …"

855

Line -4

Insert space after bullet.

874

Line 9

Nuke subscript 1 after f.

921

Figure I.5

In the Receiver diagram, remove the unlabeled arc that goes from Replying to Active.

955

Line 12

Change "<M, w>" to "<M>". Change "halt on w" to "halt on epsilon". (Use the symbol for epsilon.)

986

Last bullet item

Change "Regular grammars to not ..." to "Regular grammars do not ...".

1009

Line 5

Delete the ) immediately to the left of the implication arrow.

1016

Line -9 and -11

Insert a period after each statement (before the /* part), as in Line -12.