Errata for “An Introduction to Formal Languages and Automata’, Peter Linz,

Fourth Edition, Second Printing

1. Page 379, Section 3.3, # 4

The second part of the answer is incorrect; the last two lines

B  aaC
C  aC | 

should be replaced by

B  Caa
C  Ca | 

2. Page 387, line 1 from bottom: replace A  VaVbVb by A  VaVaVb

3. Page 382, # 26 (c) replace A  xS1 with A  xS1 , S1  

4. Page 197, Example 7.10, second to last line: replace Definition 7.4.with Definition 7.3.

5. Page 209, Example 8.3, Line 4: replace w m! with w  a m!

6. Page 228 , Example 9.5, second line: replace  with |  ( the symbol for this used in
the rest of the expression.)

7. Page 306, Exercise 9, replace Definition 7.2 with Definition 7.3.

8. Page 122, Exercise 1: replace | y | 1 | with | y | 1

9. Page 211, Example 8.6, Line 7: replace Inequality (8.7) wit Inequality (8.6)