TimTaiLieu.vn - Thư viện tài liệu, ebook, đồ án, luận văn, tiểu luận, giáo trình các lĩnh vực CNTT, Ngoại ngữ, Luật, Kinh doanh, Tài chính, Khoa học...
Xây dựng ứng dụng phần mềm là một dây chuyền các chuyển đổi, mà ở đó phân tích nhằm xác định ứng dụng sẽ thực hiện cái gì (what) còn thiết kế nhằm để trả lời câu hỏi phần mềm cụ thể sẽ như thế nào (how)? Tức là xác định cách thức thực hiện những gì đã được đặt ra ở phần phân tích. Trong ba giai đoạn: thiết kế, cài đặt và bảo trì thì thiết kế là gi...
24 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 1989 | Lượt tải: 0
(Bản scan) Ngày nay, tiếng Anh là công cụ không thể thiếu được đối với các nhà nghiên cứu, khoa học, các nhà quản lý, học sinh, sinh viên...để tích lũy, học hỏi, nghiên cứu. Có thể nói sử dụng thành thạo ngôn ngữ này sẽ giành được lợi thế cạnh tranh trong mọi lĩnh vực, đặc biệt là các ngành khoa học kỹ thuật.
160 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 1952 | Lượt tải: 5
Họ NNPNC chiếm một vị trí trung tâm trong hệ thống phân cấp các ngôn ngữ hình thức. Một mặt, NNPNC bao gồm các họ ngôn ngữ quan trọng nhưng bị giới hạn chẳng hạn như các NNPNC và PNCĐĐ. Mặt khác, có các họ ngôn ngữ khác rộng lớn hơn mà NNPNC chỉ là một trường hợp đặc biệt. Để nghiên cứu mối quan hệ giữa các họ ngôn ngữ và trình bày những c...
18 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 1984 | Lượt tải: 0
Có hay không lớp ôtômát tương ứng với lớp NNPNC? Như đã biết, ôtômát hữu hạn không thể nhận biết tất cả NNPNC, chẳng hạn L= {anbn: n≥0}, vì nó có một bộ nhớ hữu hạn. Vì vậy chúng ta muốn có một máy mà đếm không giới hạn. Từ ví dụ ngôn ngữ {wwR}, chúng ta cần thêm khả năng lưu và so trùng một dãy kí hiệu trong thứ tự ngược lại. Điều này đ...
44 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2490 | Lượt tải: 1
Chuỗi trống đóng một vai trò khá đặc biệt trong nhiều định lý và chứng minh, và thường cần có một sự chú ý đặc biệt cho nó. Nếu L∋λ thì biểu diễn L= L1∪λ với L1= L-λ. Nếu G1= (V1, T, S1, P1) là văn phạm biểu diễn cho L1 thì G= (V1∪{S}, T, S, P1∪{S→S1| λ}) là văn phạm biểu diễn cho L. Trong chương này, chúng ta chỉ xem xét các NNPNC không chứa...
35 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2964 | Lượt tải: 1
Định nghĩa 5.1 Một văn phạm G= (V, T, S, P) được gọi là phi ngữ cảnh (context free) nếu mọi luật sinh trong P có dạng A→x, trong đó A∈V còn x∈(V∪T)*. Một ngôn ngữ được gọi là phi ngữ cảnh nếu và chỉ nếu có một VPPNC G sao cho L= L(G). Nhận xét Mọi NNCQ đều là PNC, nhưng điều ngược lại thì không. Như chúng ta sẽ thấy sau này họ NNCQ là m...
32 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2336 | Lượt tải: 0
NNCQ tổng quát là như thế nào? Có phải chăng mọi ngôn ngữ hình thức đều là chính qui? Khi chúng ta thực hiện các phép toán trên NNCQ thì kết quả sẽ như thế nào, có còn là một NNCQ không? Một ngôn ngữ nào đó có hữu hạn không? Có rỗng không? Làm thế nào để biết một ngôn ngữ đã cho có là chính qui không?
27 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2006 | Lượt tải: 0
Biểu thức chính qui (BTCQ) là gì? Là một sự kết hợp các chuỗi kí hiệu của một bảng chữ cái ∑nào đó, các dấu ngoặc, và các phép toán +, ., và *. trong đó phép + biểu thị cho phép hội, phép .biểu thị cho phép kết nối, phép *biểu thị cho phép bao đóng sao. Ví dụ Ngôn ngữ {a} được biểu thị bởi BTCQ a. Ngôn ngữ {a, b, c} được biểu thị bởi BT...
33 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2354 | Lượt tải: 2
Accepter hữu hạn đơn định 2.2 Accepter hữu hạn không đơn định 2.3 Sựtương đương giữa accepter hữu hạn đơn định và accepter hữu hạn không đơn định 2.4 Rút gọn sốtrạng thái của một ôtômát hữu hạn
50 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2143 | Lượt tải: 3
Ôtômát Các mô hình tính toán tự động Ngôn ngữhình thức (formal languages): Định nghĩa Phân loại ngôn ngữ Quan hệ với ôtômát Ứng dụng vào việc xây dựng các ngôn ngữ lập trình
46 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2807 | Lượt tải: 2