Errata for First Printing of Automata, Computability, and Complexity: Theory and Applications
| Page | Location | Error |
| 2 | Line 3 | We don’t we just … => Why don’t we just … |
| 20 | Exercise 6.c. | Add ) before final } |
| 24 | Example 3.5 | Add + to produce "each of the substrings … is an element of {0, 1, 2, 3, 4, 5, 6, 7, 8, 9)+ …" |
| 50 | Example 4.12 | Add comma after "some function f". Change two instances of "counter example" to "counterexample" |
| 55 | FSM diagram | Each transition labeled D should advance two states. |
| 61 | Figure in Example 5.6 | The dead state (labeled d) should not be accepting. |
| 64 | Figure in Example5.10 | The state labeled U should be labeled O. The loop back to it should be labeled Sigma - {u} |
| 136 | Final figure in Example 6.5 | The state with in-transition labeled a should not be accepting. |
| 153 | Exercise 9 | Two errors in the transition diagram: Label the arc from q2 to q0 a. Make state q3 nonaccepting. |
| 154 | Exercise 15 | In the transition diagram, the arc from q1 to q3 should have the single label b. |
| 165 | Line -13 | Paragraph should end with, "... and accepts all strings that M1 rejects." |
| 220 | The derivations | In the left-most derivation, the four instances of "The" should be "the". In the right-most one, the single instance of "The" should be "the". |
| 246 | Problem 6.a. | Remove the word “where” just after the colon. |
| 281 | Figure 13.1 | The caption is chopped off at the bottom. It should say "yield". |
| 282 | Line 17 | Remove the space between “w” and “,”. |
| 310 | Problem 1.t. | The last two *’s are superscripted. They shouldn’t be. |
| 312 | Problem 12.a, second line | Change "regular (but not context free), context free or neither" to "regular, context-free (but not regular) or neither". |
| 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. |
| 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 two empty columns: In the first, write b [4] (this is underlined) In the second, write aa [3] |
| 460 | First line | Change element-of symbol to not-element-of symbol. |
| 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. |
| 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. |
| 664 | Line 5 of proof | Change "<G, k>" to "<G>" and change "<G, k, c>" to "<G, c>". |
| 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. |
| 782 | Title of Example A.17 | The n in n-squared should not be bold. |
| 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. |
| 955 | Line 12 | Change "<M, w>" to "<M>". Change "halt on w" to "halt on epsilon". (Use the symbol for epsilon.) |
| 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. |
| 1056 | Line -2 | “orlog” should be “orloj”. |
| 1075 | Line -3 | Change Corman to Cormen. |
| 1088 | middle of second column | Change Corman to Cormen. |
| back cover | Line 7 after title | “theproblem” should be “the problem”. |