tailieunhanh - Lý thuyết ngôn ngữ hình thức - PGS. TS. Phan Huy Khánh

Một số kiến thức toán học cơ sở, ôtômat hữu hạn, các văn phạm chính quy, ôtômat đẩy xuống và ngôn ngữ phi ngữ cảnh,. là những nội dung chính trong tài liệu "Lý thuyết ngôn ngữ hình thức". nội dung tài liệu để có thêm tài liệu phục vụ nhu cầu học tập và nghiên cứu. | Mục lục MộT Số KlếN THỨC TOÁN HọC CƠ I. II. Khái niệm Các phép tính . Các tính . Biểu thức II. Tập III. Biểu diễn tập II. 2. Quan hệ giữa các tập II. 3. Các phép toán trên tập 114. Ánh xạ. . .6 115. Tính đếm được của các tập hợp vô III. CÁC QUAN Hệ TRÊN Tập HỢP. 8 1111. Khái niệm. .8 1112. Các quan hệ ương 1113. Bao đóng của quan IV. Chứng minh quy V. Đồ THị VÀ V. 1. Định nghĩa đồ K2. Cây Tree .11 Mở DầU 1 I. Cơ Sở CủA MON HọC. 1 II. CÁC khái II. 1. Khái niệm bài II. 2. Khái niệm chương II3. Hình thức hóa các bài . Bảng chữ và . Biểu diễn các bài . Ngôn III. MÔ Tả NGÔN III. 1. Các phép toán trên ngôn III. 2. Biểu thức chính III. 3. Các ngôn ngữ phi chính 111. 4. Vấn đề biểu diễn ngôn ÔTÔMAT HữU I. ÔTÔMAT HữU HạN ĐƠN 11. Mô tả. . 13 12. Mô hình 13. Biểu diễn ôtômat bởi sơ II. ÔTÔMAT HữU HạN KHÔNG ĐƠN . Mô 112. Khử bỏ tính không đơn . Nguyên tắc xây . Hình thức hóa việc xây . Tính đúng đắn của phương 113. Ôtômat hữu hạn và các biểu thức chính . Xây dựng các ôtômat từ các biểu thức chính . Xây dựng các ngôn ngữ chính quy từ các PGS. TS. Phan Huy Khánh biên soạn 1 2 CÁC VĂN PHạM CHÍNH I. Mở II. CÁC văn II. 1. Định 112. Phân cấp các loại văn phạm của 113. Các văn phạm chính III. CÁC ngôn NGữ CHÍNH 1111. Các tính chất của ngôn ngữ chính 1112. Các thuật 1113. Nhận III. 4. Định lí bơm Pumping Theorem .39 . Phát biểu định lý bơm .39 . Phát triển định lý bơm .39 . Ứng dụng của định lí bơm .39 IV. ỨNG DụNG CÁC NGÔN NGữ CHÍNH ÔTÔMAT ĐẩY XUỐNG VÀ NGÔN NGữ PHI NGữ I. CÁC ôtômat ĐẩY 11. Mô 12. Mô tả hình

TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
11    164    2    25-12-2024
65    137    1    25-12-2024
13    158    1    25-12-2024
5    172    1    25-12-2024
18    129    0    25-12-2024
14    147    0    25-12-2024
22    129    0    25-12-2024
32    88    0    25-12-2024