This revied edition of a mathematically sound presentaion of the theoretical aspects of computing includes step-by-step, unhurried proofs, worked-out examples that demonstrate theoretical concepts, and numerous diagrams and line drawings which highlight the underlying concepts.
کتاب جامعی در مبحث نظریه زبان ها و محاسبات. البته جز کتبی محسوب می شود که بسیار فرمال نوشته شده است و خواندن آن به کسانی که برای بار اول نظریه میخوانند یا دید ریاضی خوبی ندارند توصیه نمی شود.