Nguồn: Trường Đại học Bách khoa Tp.HCM, 2006
Mã số: 23606 2012 2.8 MB 322 3,070 0  2  

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..

Nguồn: Trường Đại học Hàng Hải, 2008
Mã số: 22591 2012 984.1 kB 68 17,495 0  0  

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..

Nguồn: Trường Đại học Thuỷ sản, 2002
Mã số: 21109 2012 648.8 kB 55 12,875 0  1  

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..

Nguồn: Bài giảng, 2008
Mã số: 19530 2011 1.3 MB 84 12,385 0  0  

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..

Nguồn: University of Oxford, 1999
Mã số: 17739 2011 1.8 MB 407 8,266 0  0  

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..

Nguồn: Internet, 2011
Mã số: 17741 2011 818.7 kB 315 11,274 0  0  

Đặ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..

Nguồn: The University, Manchester, England, 2011
Mã số: 17673 2011 1.3 MB 361 11,526 0  0  

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..

Nguồn: Học viện Kỹ thuật Quân sự, 2003
Mã số: 12490 2010 1.6 MB 241 21,495 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..

Nguồn: Học viện Kỹ thuật Quân sự, 2010
Mã số: 10937 2010 630.6 kB 81 21,814 7  3  

Chương 1. Văn Phạm và ngôn ngữ Chương 2. Automat và ngôn ngữ chính quy. Chương 3. Văn phạm phi ngữ cảnh. | Xem..

Nguồn: Trường Đại học Thăng Long, 2009
Mã số: 6619 2009 799.9 kB 20,043 15  5  

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..

Nguồn: Chưa xác định, 2008
Mã số: 3297 2008 1.3 MB 19,083 16  2  

Chương 1. Mở đầu Chương 2. Ôtômat hữu hạn Chương 3. Văn phạm (Grammar) Chương 4. Ôtômat đẩy xuống | Xem..

Nguồn: Đại Học Bách Khoa TP.HCM, 2005
Mã số: 3854 2008 539.9 kB 20,958 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..

Nguồn: ĐH Huế, 2004
Mã số: 3501 2008 2.2 MB 107 27,431 41  6  

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..

Nguồn: Đại học Bách khoa Tp.HCM, 2008
Mã số: 1894 2008 2.9 MB 316 23,683 77  6  

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..

Nguồn: Trường ĐH Sư phạm Đồng Tháp, 2008
Mã số: 754 2008 566.6 kB 42 34,732 20  25  

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..

Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1789 2007 1.7 MB 93 29,844 20  17  

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..