English, pdf, page 201-400, 2nd edition, Introduction to the theory of computation 2