page 22+9 
 
(3 times rule 1) ⇒ (twice rule 1 followed by rule 0) 
page 5312 
Roger L. Costello, costello@mitre.org 
The literature reference Revesz[394] should be to
A. Salomaa, Formal Languages, Academic Press (1973), pp. 103105.
(The theorem was first described in Ginsburg, Greibach, and
Harrison, "OneWay Stack Automata", J. ACM, 14(1967)2, 389418,
Theorem 3.1.)

page 577 
Denis Firsov  denis.firsov@gmail.com 
The example "play chess" is incorrect. Chess is a finite game:
there are finitely many board positions;
there is 0 or 1 move between each board position;
and when the same board position occurs for the third time, the
game ends.
This allows us to generate the set of all Java programs that
terminate correctly on all chess move sequences.
A better example problem would be the addition of two integers.
Since there are infinitely many of these additions, the
generated programs cannot be checked by exhaustive testing.

page 130, Fig. 4.18 
Roger L. Costello, costello@mitre.org 
Rule 11: Number_1_2 → Integer_1_1 Digit_2_1 ⇒
Number_1_2 → Integer_1_2

page 146, Fig. 5.13 
Thomas Miller, tbmiller@fastmail.fm 
Some items are in the wrong columns; the correct figure is in
Figure_5_13_corr.jpg.

page 239, Section 8.2.1.1 
Roger L. Costello, costello@mitre.org 
Here and in many other places in the book, the
term "sentential form" is used to mean "any sequence of
terminals and nonterminals" rather than only those that derive
from the start symbol, as is the formal definition.

page 301 
Marcin Ciura, mciura@gmail.com 
In Figure 9.34, in state 6, the lookahead sets for all items
but the first one (T→(.E)) should be [)] rather than [#)].
The correct figure can be found in
Fig9_34.pdf.

page 3143 
Marcin Ciura, mciura@gmail.com 
only states 1 and 4 differ ⇒ only states 1, 4 and 6 differ

page 315 
Marcin Ciura, mciura@gmail.com 
The $s in Figure 9.41 should be #s.
The correct figure can be found in
Fig9_41.pdf.

page 3214 
Marcin Ciura, mciura@gmail.com 
"At the beginning of Chapter 7 we indicted ..." ⇒
"In Section 5.1.1 we showed ..."

pages 336, 337 
Marcin Ciura, mciura@gmail.com 
Some numbers on the left of Figure 9.52 and on the bottom of
Figure 9.53 are wrong. The correct figures can be found in
Fig9_52.pdf and
Fig9_53.pdf.
