Giáo Trình Lý Thuyết Automat Và Ngôn Ngữ Hình Thức (NXB Đại Học Quốc Gia 2002) - Hồ Văn Quân

Lý thuyết automat và ngôn ngữ hình thức là một trong những lý thuyết nền tảng của khoa học máy tính. Automat mà đỉnh cao của nó là máy vạn năng Turing là một mô hình toán học của các máy tính (computer). Việc nghiên cứu lý thuyết automat cho chúng ta một cái nhìn đúng đắn về bản chất của máy tính. Trong khi đó lý thuyết ngôn ngữ hình thức lại nghiên cứu bản chất của ngôn ngữ và đặc trưng của các lớp ngôn ngữ. Việc nghiên cứu lý thuyết ngôn ngữ hình thức cho chúng ta một cái nhìn rõ ràng hơn về ngôn ngữ đồng thời những kết quả của nó cho phép chúng ta ứng dụng vào việc xây dựng các ngôn ngữ lập trình cũng như trong việc xử lý ngôn ngữ tự nhiên. Mặc dầu ban đầu chúng là hai lý thuyết riêng biệt, nhưng trong quá trình nghiên cứu người ta thấy giữa chúng có mối quan hệ mật thiết với nhau nên sau đó đã đặt chúng vào trong một lý thuyết có tên chung là Lý thuyết automat và ngôn ngữ hình thức. Vì tính chất cơ bản và quan trọng của lý thuyết này trong khoa học máy tính nên nó ngày càng trở thành một môn học chuẩn trong hầu hết các chương trình đào tạo đại học của ngành khoa học máy tính.

• Giáo Trình Lý Thuyết Automat Và Ngôn Ngữ Hình Thức
• NXB Đại Học Quốc Gia 2002
• Hồ Văn Quân
  
• 162 Trang
• File PDF-SCAN

Link download
https://thuvien.ntu.edu.vn/Opac/DmdInfo.aspx?dmd_id=6672
https://drive.google.com/file/d/1sNcz2NUEsCKS-QdX8gIciaj2s6W2kUNm
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTZ3WGQHg04L1