Hướng dẫn lý thuyết tự động hóa

Automata Theorylà một nhánh của khoa học máy tính liên quan đến việc thiết kế các thiết bị tính toán trừu tượng tự viết theo một trình tự hoạt động định trước một cách tự động. Một Automaton với một số trạng thái hữu hạn được gọi làFinite Automaton. Đây là một hướng dẫn ngắn gọn và súc tích giới thiệu các khái niệm cơ bản về Tự động hóa hữu hạn, Ngôn ngữ thông thường và Tự động hóa đẩy xuống trước khi chuyển sang máy Turing và Khả năng phân tách.

Hướng dẫn này đã được chuẩn bị cho sinh viên theo đuổi một bằng cấp trong bất kỳ lĩnh vực liên quan đến công nghệ thông tin hoặc khoa học máy tính. Nó cố gắng giúp sinh viên nắm bắt các khái niệm thiết yếu liên quan đến lý thuyết tự động dữ liệu.

Hướng dẫn này có sự cân bằng tốt giữa lý thuyết và tính chặt chẽ của toán học. Người đọc được kỳ vọng sẽ có hiểu biết cơ bản về các cấu trúc toán học rời rạc.