Câu trả lời:
Tài liệu tham khảo cổ điển là " Giới thiệu về Lý thuyết, ngôn ngữ và tính toán tự động " (của Hopcroft, Motwani và Ullman). Một số người cũng đề xuất " Ngôn ngữ chính thức và mối liên hệ với Automata " cũ hơn nhiều (của Hopcroft và Ullman).
Tuy nhiên, tôi thích " Giới thiệu về Lý thuyết tính toán " (của Sipser). Nó được viết rất tốt, và là một cuốn sách tương đối mới.
Tôi có một điểm mềm cho Automata & Computability của Dexter Kozen ( mục lục và các chương mẫu [PS]). Nó khá kỹ lưỡng và bao gồm một số chủ đề nâng cao thực sự thú vị. Các bằng chứng là chính thức và rõ ràng và ký hiệu và định dạng là đáng yêu. Quan trọng nhất, các bài tập là tuyệt vời, vì vậy tùy thuộc vào mức độ bài kiểm tra của bạn, nó sẽ là tài liệu học tập tốt.
Thứ tôi đang sử dụng nhiều nhất cho các khóa học của mình là Lý thuyết tự động của Jacques Sakarovitch, Nhà xuất bản Đại học Cambridge, 2009. Phạm vi của nó có thể hơi khác so với các khóa học khác, vì nó cũng bao quát rộng rãi các khía cạnh đại số, chuỗi sức mạnh chính thức, và tải nạp. Và có nhiều bài tập.
"Kết hợp ứng dụng trên từ", bởi Lothaire, 2004
Là xa và yêu thích của tôi. Tải các ví dụ, và cũng được xây dựng từ những điều cơ bản tuyệt đối cho đến một số ứng dụng automata khá thú vị như Tự động nhận dạng giọng nói với Bộ chuyển đổi trạng thái hữu hạn có trọng số và các chủ đề trong tin sinh học.
Trên hết, nó miễn phí để tải xuống và cũng bao gồm các bộ giải pháp:
Tôi không chắc đây là cuốn sách tốt nhất để chuẩn bị cho kỳ thi, nhưng cuốn sách
Automata hữu hạn; Hành vi và Tổng hợp của BA Trakhtenbrot và Ya. M. Barzdinʹ
Kha tôt. Nó có một số lượng đáng ngạc nhiên về kết quả tuyệt vời mà tôi đã tìm thấy đặc biệt hữu ích trong nghiên cứu.
Giới thiệu về ngôn ngữ và lý thuyết tính toán
John C. Martin
Tôi đánh giá cao cuốn sách này cho người mới bắt đầu và đây là một lựa chọn hoàn hảo cho những người đang tìm kiếm nhiều ví dụ.
Tôi thích các ghi chú bài giảng sau đây của Jarkko Kari: http://users.utu.fi/jkari/automata/
Tóm tắt khóa học:
Regular languages
Finite automata, regular expressions
Kleene theorem
Pumping lemma
Closure properties and decision algorithms
State minimization, Myhill-Nerode theorem
Context-free languages
Grammars, parsing
Normal forms
Pushdown automata
Pumping lemma
Closure properties and decision algorithms
Turing machines
Recursive and recursively enumerable languages
Universal Turing machines
Undecidability of the halting problem (Turing)
Reductions, other undecidable problems
Ngoài ra còn có các yếu tố của lý thuyết tính toán của H.Lewis và C.Papadimitriou. Đó là một giới thiệu bằng văn bản về lý thuyết automata.
Từ các máy đơn giản đến các chương trình bất khả thi
Nó bao gồm rất nhiều thứ, trong đó bao gồm lý thuyết automata. Các ví dụ được trình bày trong Ruby, và chúng khá dễ hiểu. Bạn có thể cần một cuốn sách khác nếu bạn muốn tìm hiểu sâu hơn về lý thuyết, nhưng cuốn sách này rất hay để tìm hiểu những điều cơ bản.
"Ngôn ngữ chính thức và lý thuyết tự động" của AA Puntambekar là cuốn sách tốt nhất cho các ví dụ đã được giải. Hầu hết các cuốn sách chỉ chứa các ví dụ giải quyết và lý thuyết nhỏ. Nó tốt để vượt qua các kỳ thi.