lý thuyết ngôn ngữ hình thức và ôtômát

... phạm hình thức và các ôtômat cũng như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngôn ngữ chính quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy và ngôn ngữ ... bó chặt chẽ với Lý thuyết ngôn ngữ hình thức và ôtômat. Một phần rất quan trọng trong lý thuyết thuật toán là lớp các ngôn ngữ (hay bài toán) P và NP cũng như lớp các ngôn ngữ NP-đầy đủ được ... văn phạm, ngôn ngữ hình thức và ôtômat. Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý cho công việc viết giáo trình Lý thuyết ngôn ngữ hình thức và ôtômat này và lời...

Ngày tải lên: 12/09/2012, 16:21

Ngày tải lên: 14/08/2013, 15:54

Ngày tải lên: 20/06/2014, 19:20

... q 0 q 2 q 1 Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 4/5 PHẦN NGÔN NGỮ PHI NGỮ CẢNH 19. Tìm các VPPNC cho các ngôn ngữ sau: L 1 ... q 3 q 4 q 5 M 5 Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5 10. Tìm dfa tối giản cho các ngôn ngữ sau: L 1 = {anbm: ... cho các chuỗi w 1 = (a+b*c)*a và w 2 = (a + b)*+c theo phương pháp Earley. G: E → T|E + T F → I|(E) T → F|T * F I → a|b|c Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata Trường ĐH Bách...

Ngày tải lên: 13/10/2012, 09:16

... cảnh) (A). Tồn tại m ột ngôn ngữ CNC mà không PNC. (B). Lớp ngôn ngữ đệ qui và CNC là đồng nhất. (C). Lớp ngôn ngữ khả liệt kê đệ qui bao trùm mọi ngôn ngữ. (D). Lớp ngôn ngữ PNC chỉ bao gồm hai ... ngôn ngữ nào cũng tồn tại máy Turing chấp nhận nó. (D). Cả A, B, C đúng (E). Chỉ có A, B đúng. 50. Từ các lớp ngôn ngữ đã nghiên cứu chúng ta có thể phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ ... (D). Cả A, B, C đúng (E).Cả A, B, C sai 47. Cho L 1 , L 2 là các ngôn ngữ PNC, L 3 là ngôn ngữ chính qui còn L 4 là ngôn ngữ không PNC. Thì (A). 1 L ∩ 2 L là PNC. (B). 4 L là không...

Ngày tải lên: 13/10/2012, 09:16

Ngày tải lên: 27/06/2014, 04:20

... tạp, ngữ nghĩa và lý thuyết về tính đúng đắn của các ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc dữ liệu và lý thuyết các cơ sở dữ liệu. Lý thuyết ngôn ngữ hình thức và ôtômat ... từ ngôn ngữ học đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngôn ngữ hình thức sẽ có tầm quan trọng quy ết định trong các giáo trình về Lý thuyết ngôn ngữ hình thức và ... học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình d ịch. Các ngôn ngữ hình thức tạo thành một công cụ mô tả đối với các mô hình...

Ngày tải lên: 20/12/2013, 19:15

... KHOA CÔNG NGHỆ THÔNG TIN NGÔN NGỮ HÌNH THỨC & ÔTÔMÁT Giáo trình Kiến trúc máy tính và Hệ điều hành 41 CHƯƠNG 2. ÔTÔMÁT HỮU HẠN TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG 1. Ôtômát hữu hạn đơn định 1.5. ... QUI CHƯƠNG 4. VĂN PHẠM VÀ NGÔN NGỮ PHI NGỮ CẢNH CHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNG CHƯƠNG 6. MÁY TURING TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Giới thiệu Giáo trình Kiến trúc máy tính và Hệ điều hành 9 CHƯƠNG ... vấn đề về ngôn ngữ  Khái niệm văn phạm  Khái niệm Ôtômát Giáo trình Kiến trúc máy tính và Hệ điều hành 25 CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG 2. Văn phạm 2.3. Ngôn ngữ được sinh...

Ngày tải lên: 02/05/2013, 21:26

... hãy chứng minh ngôn ngữ sau đây không là ngôn ngữ chính quy: L = {a i b j c j d i | i, j ≥ 1} Giả sử L là ngôn ngữ chính quy. Khi đó sẽ tồn tại một DFA M chấp nhận cho ngôn ngữ L. Gọi n ... a lớn hơn n (và số ký hiệu d không đổi là n). Vậy trong chuỗi uv 2 w sẽ có số ký hiệu a nhiều hơn ký hiệu d, hay chuỗi uv 2 w không thuộc ngôn ngữ L. Vậy giả thiết L là ngôn ngữ chính quy sai, ... L không là ngôn ngữ chính quy. Câu 2 (2.0 điểm): Bạn hãy tìm một DFA tương đương với NFA sau: DFA tương đương: Câu 3 (1.5 điểm): Bạn hãy vẽ một automata hữu hạn chấp nhận cho ngôn ngữ được ký...

Ngày tải lên: 23/12/2013, 05:15

... Ng Duc Thuan Lý Thuyết Ngôn ngữ Hình thức & Ôtômat 1 Nguyễn Đức Thuần Ch-ơng I Nhập môn về văn phạm & Ngôn ngữ hình thức 1.khái niệm chung về ngôn ngữ Ngôn ngữ là ph-ơng ... 1 ngôn ngữ hình thức trên ồ, nói gọn là một ngôn ngữ trên ồ Các tập { } và tập {e} đ-ợc xem là các ngôn ngữ trên bảng chữ cái bất kỳ. Từ các ngôn ngữ cho tr-ớc, ta có thể thu đ-ợc các ngôn ... ng-ời và máy, hoặc giữa máy và máy. Ngôn ngữ giao tiếp giữa ng-ời với ng-ời gọi là ngôn ngữ tự nhiên, chẳng hạn nh- tiếng Anh, tiếng Pháp Ngôn ngữ giao tiếp giữa ng-ời và máy nh- các ngôn ngữ...

Ngày tải lên: 09/05/2014, 08:58

Ngày tải lên: 09/05/2014, 08:58

... giúp cho người đọc làm quen với một số khái niệm về Ngôn ngữ Hình thức & Automat như chuỗi, ngôn ngữ và văn phạm chính qui, ngôn ngữ và văn phạm PNC, cây dẫn xuất… để có thể dễ dàng đọc ... cái gì đó bên ngoài ngôn ngữ chính qui, để bao trùm những vấn đề này ta phải mở rộng ngôn ngữ dẫn đến việc nguyên cứu ngôn ngữ và văn phạm phi ngữ cảnh. 5.1- Văn Phạm Phi Ngữ Cảnh Các luật sinh ... của ngôn ngữ lập trình và ngôn ngữ tự nhiên. Các giải thuật phân tích cú pháp cho các văn phạm phi ngữ cảnh đã và đang đóng một vai trò rất lớn trong việc thực hiện các chương trình dịch cho ngôn...

Ngày tải lên: 14/03/2013, 11:56

... VÀ THIẾT KẾ Sau đây chúng ta bắt đầu đi vào việc phân tích cụ thể cho bộ công cụ thực hiện một số giải thuật trong môn học “ Lý Thuyết Ngôn Ngữ Hình Thức & Automata” phần ngôn ngữ phi ngữ ... giúp cho người đọc làm quen với một số khái niệm về Ngôn ngữ Hình thức & Automat như chuỗi, ngôn ngữ và văn phạm chính qui, ngôn ngữ và văn phạm PNC, cây dẫn xuất… để có thể dễ dàng đọc ... thuật trong môn học ngôn ngữ hình thức và Automata.” Ngoài các giải thuật biến đổi văn phạm, tập trung vào nghiên cứu và hiện thực hai giải thuật phân tích cú pháp CYK và Earley, Đánh giá số...

Ngày tải lên: 15/03/2013, 10:20

Ngày tải lên: 06/09/2013, 10:50

Ngày tải lên: 06/09/2013, 10:51

Ngày tải lên: 10/05/2014, 21:15

Ngày tải lên: 09/08/2012, 23:24

... file Output Storage Trang 7 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Giới thiệu  Ô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 ... 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 văn phạm phi ngữ ... 0}  L 5 = {a n b n+m c m : n, m ≥ 0} Trang 3 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin TÀI LIỆU THAM KHẢO 1. Bài giảng lý thuyết Ngôn ngữ Hình thức và Automat - Hồ Văn Quân [2002]. 2. An...

Ngày tải lên: 13/10/2012, 09:16

...  Nguyên lý làm việc của các chương trình dịch;  Lý thuyết thiết kế ngôn ngữ lập trình (ngôn ngữ người – máy và dịch tự động);  Chuyển đổi từ ngôn ngữ lập trình này sang ngôn ngữ khác. ... trình ở ngôn ngữ đích (target program);  SL: ngôn ngữ nguồn (source languague);  TL: ngôn ngữ đích (target languague);  PL: ngôn ngữ lập trình (programming languague);  HLL: ngôn ngữ bậc ... khác.  Ứng dụng:  Hiểu từng ngôn ngữ, điểm mạnh điểm yếu của nó;  Lựa chọn ngôn ngữ và chương trình dịch thích hợp;  Phân biệt được công việc do CTD thực hiện và do CT ứng dụng thực hiện;...

Ngày tải lên: 17/02/2014, 14:20

... Văn Xuất. Giáo trình Automata, ngôn ngữ hình thức và nguyên lý chương trình dịch - HVKTQS – 2004. 4. Hồ Văn Quân – Giáo trình lý thuyết ôtômát và ngôn ngữ hình thức – Nhà xuất bản Đại học quốc ... 07/03/2012 Automata và ngôn ngữ hình thức - ©copyright by PhD. C.T.Ha, Le Quy Don Technical University 1. Bài giảng của giảng viên. 2. Nguyễn Gia Định. Lý thuyết ngôn ngữ hình thức và ôtômát. Đại ... Lý thuyết automata và ngôn ngữ hình thức ©copyright by PhD. C.T.Ha, Le Quy Don Technical University Ngôn ngữ hình thức Grammar Automata 1.1. Giới thiệu về môn học TA&FL  Ngôn ngữ...

Ngày tải lên: 17/02/2014, 14:20