Giáo trình này giới thiệu một cách hệ thống những khái niệm cơ bản và các tính chất chung của ôtômát và ngôn ngữ hình thức. Phần 1 giáo trình gồm 4 chương đầu với nội dung sau: Chương mở đầu trình bày các khái niệm cơ bản, các tính chất quan trọng của các cấu trúc đại số, logic mệnh đề, logic tân từ và các phương pháp suy luận toán học làm cơ sở cho các chương sau. Chương 2 giới thiệu về lý thuyết ôtômát, những khái niệm cơ sở và các hoạt động của ôtômát. Văn phạm và các ngôn ngữ hình thức được đề cập đến ở chương 3. Những vấn đề liên quan đến tập chính qui, ngôn ngữ chính qui và ôtômát hữu hạn được trình bày chi tiết ở chương 4. | Ôtômát và ngôn ngữ hình thức MỤC LỤC LỜI NÓI ĐẦU 5 Chƣơng I: Mở đầu . 8 Tập hợp và các cấu trúc đại số. 8 Tập hợp và các tập con . 8 Tập hợp và các phép toán hai ngôi 9 Quan hệ và quan hệ tương đương 12 Hàm số 15 Logic mệnh đề và tân từ 16 Logic mệnh đề 16 Công thức mệnh đề . 18 Dạng chuẩn của các công thức . 20 Các qui tắc suy diễn trong tính toán mệnh đề 23 Tân từ (vị từ) và các lượng tử 25 Các phương pháp chứng minh 28 Bài tập về logic và lập luận . 30 Chƣơng II: Lý thuyết ôtômát . 35 Ôtômát hữu hạn . 35 Các tính chất của hàm chuyển trạng thái .