Errata (Automata and Languages, Springer, 2000)

• Ordered by appearance in the text.
• Last updated on 4th December, 2018.
• Send additional errors and comments to: meduna@fit.vutbr.cz

• Page 724, Row -11 (the last row of step 4)
• The condition for v does not hold. The condition is not necessary if we change the last row of step 5 as follows.
• Page 724, Row -3
• “Repeat step 5 until P = ∅” should be “Repeat steps 4 and 5 until P = ∅”
• Reported 2018-11-30 by Radim Kocman and Zbyněk Křivka of the Brno University of Technology.

Thanks to the readers who contributed the corrections.