bài tập môn ngôn ngữ hình thức

... 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 ... 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, hay 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 ... 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ý hiệu bởi biểu thức chính quy sau: ( (a + ab) b* a )* Cách 1: start [q 1 ] [q 2 ] [q 3 ] [q 1 ,...

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

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

... 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: ... 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: ... 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 5/5...

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

... 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 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  ... phép toán trên ngôn ngữ  Bù (complement),  Bù của ngôn ngữ L trên bảng chữ cái Σ, được kí hiệu là: = Σ* - L  Kết nối, L 1 L 2  Cho 2 ngôn ngữ L 1 , L 2 . Kết nối của 2 ngôn ngữ L 1 , L 2 là: ... 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ữ cảnh 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 ngôn ngữ phi ngữ cảnh  Chương 9...

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

Ngày tải lên: 26/08/2013, 21:20

... là RL. Bài tập lý thuyết chương 4 Các đặc tính của ngôn ngữ chính qui Môn: Automata và Ngôn ngữ hình thức. Bổ đề bơm 1. Chứng minh các ngôn ngữ dưới đây không phải là ngôn ngữ chính ... | n > m}. g) {0 n 1 2n | n ≥ 1}. h) Tập các chuỗi 0, 1 với số lượng 0 bằng số lượng 1. 2. Chứng minh các ngôn ngữ dưới đây không phải là ngôn ngữ chính qui: a) {0 n | n là số chính phương}. ... Tính đóng của ngôn ngữ chính qui 1. Gọi L là ngôn ngữ trên bảng chữ cái Σ, a ∈ Σ. Khi đó, L/a là thương (quotient) của L và a....

Ngày tải lên: 26/04/2014, 11:12

Ngày tải lên: 13/05/2014, 20:49

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

Ngày tải lên: 23/07/2014, 20:21

Ngày tải lên: 23/07/2014, 20:21

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

... trợ thêm cho việc học môn học Ngôn Ngữ Hình Thức & Automata” . Bộ công cụ này cho phép sinh thấy rõ cách thức hoạt động của một số giải thuật của phần ngôn ngữ phi ngữ cảnh, cũng như thấy ... cơ bản của môn học Mục đích của chương này là 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 ... 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ữ cảnh. I - YÊU CẦU ĐẶT RA CHO CHƯƠNG TRÌNH 1.1 Mục Tiêu Của Chương...

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

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

... Mỗi tập con của Σ * được gọi là một ngôn ngữ hình thức hay ngắn gọn hơn là một ngôn ngữ trên Σ . Đặc biệt, tập ∅ là một ngôn ngữ trên Σ , gọi là ngôn ngữ rỗng; tập { ε } cũng là một ngôn ... 4 {ngôn ngữ chính quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ cảm ngữ cảnh} ⊂ {ngôn ngữ tổng quát}. Ta cũng thấy về mặt cấu trúc ngữ pháp thì các quy tắc của các văn phạm phi ngữ cảnh ... CHƯƠNG I: NHẬP MÔN VỀ VĂN PHẠM VÀ NGÔN NGỮ HÌNH THỨC 1.1. KHÁI NIỆM NGÔN NGỮ. 1.1.1. Mở đầu: Từ ngàn xưa con người muốn giao tiếp với nhau phải dùng ngôn ngữ. Ngôn ngữ để con người...

Ngày tải lên: 23/10/2013, 14:20

... Giới thiệu về môn học TA&FL  Nội dung chính của môn học TA&FL: 1. Cơ sở toán học của môn TA&FL 2. Văn phạm và ngôn ngữ hình thức 3. Automata hữu hạn và ngôn ngữ hình thức 4. Văn ... 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ữ hình thức (Formal Languages) là môn học cơ sở của ngành công nghệ ... 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...

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

... Ngôn ngữ lặp cắt (bao  dương  positive closure):  ĐN 2.12. Ngôn ngữ ngược:  ĐN 2.13. Ngôn ngữ cắt trái của ngôn ngữ X cho ngôn ngữ Y:  ĐN 2.14. Ngôn ngữ cắt phải của ngôn ngữ X cho ngôn ... của ngôn ngữ;  Automata: là một máy trừu tượng, hay một cơ chế cho phép  nhận một chuỗi bất  có thuộc một ngôn ngữ L hay không Bài 2. Văn phạm và ngôn ngữ hình thức 2.1. Ngôn ngữ ... Bài 2. Văn phạm và ngôn ngữ hình thức 2.1. Ngôn ngữ 2.1.1. Các khái niệm cơ bản 2.1.2. Các phép toán trên từ 2.1.3. Các phép toán trên ngôn ngữ 2.2. Văn phạm 2.2.1....

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

... 3.5. Sự tương đương giữa DFA và NFA Automata và ngôn ngữ hình thức - âcopyright by PhD. C.T.Ha, Le Quy Don Technical University Bài 3. Ngôn ngữ và automata hữu hạn 3.1. Các khái niệm sơ lược ... F; 2. δ’(q, a) = δ*(q, a).  Hệ quả: Nếu L là tập được chấp nhận bởi một NFA thì tồn tại một DFA chấp nhận L. Automata và ngôn ngữ hình thức - ©copyright by PhD. C.T.Ha, Le Quy Don Technical ... ng hỡnh thc - â PhD. C.T.Ha, Le Quy Don Technical University  Ngôn ngữ được đoán nhận bởi automata cho ở trên??? Bài 3. Ngôn ngữ và automata hữu hạn 3.1. Các khái niệm sơ lược 3.2. Automata...

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

... 2. 12.  -Ngôn ngữ chính quy (Siêu ngôn ngữ chính quy)   2. 12. 3.  BÀI TẬP Bài 1 ...  Ngôn ngữ hình thức  - Giáo trình chương trình dịch - Phân tích cú pháp Hình thức và tiêu ...   Tài liệu học tập : -  Ngôn ngữ hình thức  - Lý thuyết otomat...

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

... 6, 46, 246, 0246ậ ố Bài 2. Văn ph m và ngôn ng hình th cạ ữ ứ 2.1. Ngôn ngữ 2.1.1. Các khái ni m c b nệ ơ ả 2.1.2. Các phép toán trên từ 2.1.3. Các phép toán trên ngôn ngữ 2.2. Văn ph mạ 2.2.1. ... s a | café.→ừ ơ ở ữ Bài 2. Văn ph m và ngôn ng hình th cạ ữ ứ 2.1. Ngôn ngữ 2.1.1. Các khái ni m c b nệ ơ ả 2.1.2. Các phép toán trên từ 2.1.3. Các phép toán trên ngôn ngữ 2.2. Văn ph mạ 2.2.1. ... positive ươ closure):  ĐN 2.12. Ngôn ng ữ ng c:ượ  ĐN 2.13. Ngôn ng ữ c t trái ắ c a ngôn ng X cho ngôn ng ủ ữ ữ Y:  ĐN 2.14. Ngôn ng ữ c t ph i ắ ả c a ngôn ng X cho ngôn ủ ữ ng Y:ữ { } * | R R L...

Ngày tải lên: 13/05/2014, 09:59