Chương 1. Giới thiệu về lý thuyết tính toán
Chương 2. Ôtômát hữu hạn
Chương 3. Ngôn ngữ chính qui và văn phạm chính qui
Chương 4. Các tính chất của ngôn ngữ chính qui
Chương 5. Ngôn ngữ phi ngữ cảnh
Chương 6. Đơn giản hóa VPPNC và các dạng chuẩn
Chương 7. Ôtômát đẩy xuống
Chương 8. Các tính chất của NNPNC
Chương 9. Máy Turing
| Xem..
Chương 1: Văm phạm và ngôn ngữ
Chương 2: Ngôn ngữ chính quy và Otomat hữu hạn
Chương 3: Ngôn ngữ phi ngữ cảnh và Otomat đẩy xuống
Chương 4: Cơ bản về chương trình dịch
Một số đề thi mẫu
Tài liệu tham khảo | Xem..
Chương I. Nhập môn về văn phạm & Ngôn ngữ hình thức
Chương II. Ôtômat hữu hạn đoán nhận Ngôn ngữ chính quy
Chương III. Văn phạm phi ngữ cảnh
Chương IV. Ôtômat đẩy xuống (Pushdown automata) | Xem..
Lời nói đầu
Chương 1. Văn phạm và ngôn ngữ hình thức
Chương 2. Otomat hữu hạn và ngôn ngữ chính quy
Chương 3. Otomat đẩy xuống và ngôn ngữ phi ngữ cảnh
Chương 4. Máy turing | Xem..
Học ngôn ngữ Z, một ngôn ngữ hình thức, thông qua các tình huống ứng dụng.
1 Introduction
2 Propositional Logic
3 Predicate Logic
5 Sets
6 Definitions
7 Relations
8 Functions
..
23 A Save Area | Xem..
Đặc tả hình thức và viết tài liệu bằng ngôn ngữ Z, một ngôn ngữ đặc tả tự nhiên, dễ hiểu được phát triển từ cuối những năm 1970.
Preface
I. Introduction
II. Network Services
III. UNIX Software
IV. Instruction Sets
V. Graphics
VI. Window Systems | Xem..
Tài liệu về VDM, một phương pháp đặc tả hệ thống được sử dụng phổ biến trong môi trường công nghiệp, và sử dụng VDM trong phát triển phần mềm.
1. Logic of Propositions
2. Reasoning about Predicates
3. Functions and Operations
4. Set Notation
5. Composite Objects and Invariants
6. Map Notation
7. Sequence Notation
..
12. Postscript
APPENDICES | Xem..
Giáo trình Toán rời rạc - Phạm Thế Long (chủ biên) Nguồn: Học viện Kỹ thuật Quân sự, 2003 Mã số: 124902010 1.6 MB 241 23,075 4 3
Chương 1. Những khái niệm cơ bản về logic, tập hợp và suy luận toán học
Chương 2. Các phương pháp đếm và nguyên lý Dirichlet
Chương 3. Đồ thị và ứng dụng
Chương 4. Đại số Boole và mạch tổ hợp
Chương 5. Automat, văn phạm và ngôn ngữ hình thức
Tài liệu tham khảo | Xem..
Bài giảng Chương trình dịch.
Chương 1. Nhập môn về văn phạm và ngôn ngữ hình thức
Chương 2. Biến đổi văn phạm phi ngữ cảnh thành những văn phạm đặc biệt
Chương 3. Nguồn và ôtômat hữu hạn
Chương 4. Ôtômat đẩy xuống
| Xem..
Automata and Formal Language - Quan Thanh Tho Nguồn: Đại Học Bách Khoa TP.HCM, 2005 Mã số: 38542008 539.9 kB 21,598 9 1
Bài giảng và bài tập và bài giải môn Lý thuyết automat và ngôn ngữ hình thức.
Chapter 1: Introduction
Chapter 2: Finite Automata
Chapter 3: Regular Language and Regular Grammar
Chapter 4: Properties of Regular Language
Chapter 5: Context-Free Grammar
Chapter 6: Simplification of Context-Free Grammar
Chapter 7: Pushdown Automata | Xem..
Chương 1: Nhập môn về văn phạm và ngôn ngữ hình thức
Chương 2: Ôtômat hữu hạn và ngôn ngữ chính quy
Chương 3: Ôtômat đẩy xuống và ngôn ngữ phi ngữ cảnh
Chương 4: Máy Turing
Chương 5: Giới thiệu về trình biên dịch
Phụ lục: Các lớp P và NP và lớp các bài toán NP-đầy đủ
Tài liệu tham khảo | Xem..
Chương 1. Giới thiệu về lý thuyết tính toán
Chương 2. Ôtômát hữu hạn
Chương 3. Ngôn ngữ chính qui và văn phạm chính qui
Chương 4. Các tính chất của ngôn ngữ chính qui
| Xem..
Cung cấp cho sinh viên các khái niệm về ngôn ngữ, văn phạm, ôtômát hữ hạn, ôtômát đẩy xuống, biểu thức chính quy, … làm cơ sở cho nghiên cứu tin học về mặt lý thuyết và cũng làm cơ sở để học tiếp môn Chương trình dịch.
Chương 1: Đại cương về ngôn ngữ và cách xác định ngôn ngữ
Chương 2: Ôtômát hữu hạn và biểu thức.. | Xem..
Vào những năm 1930, Alain Turing đã nghiên cứu các máy trừu tượng có khả năng thực hiện các tính toán như máy tính ngày nay. Các máy trừu tượng này được gọi là máy Turing. Vào những năm 1940 và 1950, các máy trừu tượng đơn giản hơn, mà chúng ta gọi là ôtômát hữu hạn, đã được nghiên cứu bởi các.. | Xem..
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp EK<ma_sach><noi_nhan>
Nhắn tới số 8677. Xem chi tiết.
+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin: EKD<username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.