Introduction to Automata Theory and Computability (bằng tiếng Anh).

Hiểu được cách máy tính xử lý thông tin ở mức cơ bản nhất là chìa khóa để thành thạo khoa học máy tính. Chương trình này giải mã nền tảng lý thuyết của tính toán, cho bạn thấy cách các máy trừu tượng giải quyết các vấn đề phức tạp. Bạn sẽ chuyển từ viết mã sang hiểu các giới hạn toán học của những gì có thể được tính toán. Bạn sẽ học cách thiết kế ngữ pháp chính thức, phân tích máy trạng thái hữu hạn, và khám phá cách các khái niệm này cung cấp công nghệ hiện đại như động cơ biểu thức chính quy và trình biên dịch. Bạn sẽ học được: - Hiểu các thuật ngữ cơ bản, bảng chữ cái, ngôn ngữ, và chứng minh toán học cơ bản. - Thiết kế máy tự động hữu hạn và biểu thức chính quy để giải quyết các vấn đề khớp mẫu. - Phân tích ngữ pháp không ngữ cảnh và tự động đẩy xuống cho kỹ thuật phân tích hiện đại. - Tìm hiểu về máy Turing và giới hạn cơ bản của tính toán. - Ứng dụng các khái niệm lý thuyết vào các công cụ phần mềm hiện đại như máy tạo phân tích và thiết kế biên dịch. Chúng ta bắt đầu với các định nghĩa cốt lõi của ngôn ngữ hình thức và máy xác định, dần dần xây dựng lên ngôn từ không ngữ cảnh, máy Turing, và quyết định. Qua các giải thích rõ ràng và bài tập văn bản có cấu trúc, bạn sẽ xây dựng một nền tảng lý thuyết vững chắc. Chương trình này được thiết kế cho sinh viên khoa học máy tính mới bắt đầu, lập trình viên tự học, và bất cứ ai tò mò về giới hạn toán học của tính toán. Không cần có nền tảng toán học cao cấp. Bắt đầu đọc hôm nay để mở khóa nền tảng lý thuyết của khoa học máy tính.