... bó chặt chẽ với Lýthuyếtngônngữhìnhthứcvà ô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ônngữ (hay bài toán) P và NP cũng như lớp các ngôn ngữ NP-đầy đủ được ... nhất. Giáotrình này nhằm trình bày về văn phạm hìnhthứcvà 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ônngữ chính quy, ngônngữ ... là một ngônngữ trên Σ. Đặc biệt, tập ∅ là một ngônngữ trên Σ, gọi là ngônngữ rỗng; tập {ε} cũng là một ngônngữ trên Σ, đây là ngônngữ chỉ chứa từ rỗng và Σ* là ngônngữ gồm...
... q3q4q5M5 Bài tập LýthuyếtNgônngữHìnhthứcvà 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ônngữ sau: L1 = {anbm: ... cho các chuỗi w1 = (a+b*c)*a và w2 = (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ếtNgônngữHìnhthứcvà Automata Trường ĐH Bách ... văn phạm sau cho ngônngữ L = {w: na(w) = nb(w)} không là văn phạm LL: S → aSbbSaSSλ. 33. Tìm các văn phạm LL cho các ngônngữ sau (chỉ ra k bằng bao nhiêu) và dựa vào tính chất của...
... (PNC: phi ngữ cảnh, CNC: cảm ngữ cảnh) (A). Tồn tại một ngônngữ CNC mà không PNC. (B). Lớp ngônngữ đệ qui và CNC là đồng nhất. (C). Lớp ngônngữ khả liệt kê đệ qui bao trùm mọi ngôn ngữ. (D). ... đơn định hay không. có thuộc họ LL(1) hay không. (D). Cả A, B, C đúng (E).Cả A, B, C sai 47. Cho L1, L2 là các ngônngữ PNC, L3 là ngônngữ chính qui còn L4 là ngônngữ không PNC. Thì ... Lớp các ngônngữ phi ngữ cảnh ĐƠN ĐỊNH thì (VP: văn phạm) (A). Tồn tại giải thuật thành viên có độ phức tạp tuyến tính. (B). Tồn tại VP biểu diễn mà không nhập nhằng. (C). Chứa các ngônngữ được...
... bó chặt chẽ với Lýthuyếtngônngữhìnhthứcvà ô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ônngữ (hay bài toán) P và NP cũng như lớp các ngôn ngữ NP-đầy đủ được ... nhất. Giáotrình này nhằm trình bày về văn phạm hìnhthứcvà 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ônngữ chính quy, ngônngữ ... là lớp các ngônngữ được đoán nhận bởi ôtômat hữu hạn đơn định, N là lớp các ngônngữ được đoán nhận bởi ôtômat hữu hạn không đơn định và R là lớp các ngônngữ chính quy. Định lý 2.2.1 cho...
... Định lý: Ngônngữ SAT là NP-đầy đủ. 2.6. Định lý: Ngônngữ CONSAT là NP-đầy đủ. 2.7. Định lý: Ngônngữ 3-CONSAT là NP-đầy đủ. 2.8. Định lý: Ngônngữ KNAPSACK là NP-đầy đủ. 2.9. Định lý (J. ... Đình Diệu, Lý thuyết ôtômat và thuật toán, NXB Đại học và Trung học chuyên nghiệp, Hà Nội, 1977. [2] Đỗ Đức Giáo, Đặng Huy Ruận, Văn phạm vàngônngữhình thức, NXB Khoa học và Kỹ thuật, ... Một ngônngữ L được gọi là NP-khó nếu với mọi ngônngữ L’ trong NP, ta có L’ ≤P L. Ngônngữ L được gọi là NP-đầy đủ nếu nó là NP-khó và L∈NP. 2.2. Chú ý: Các ngônngữ NP-đầy đủ có thể hình...
... Ng Duc Thuan Lý ThuyếtNgônngữHìnhthức & Ôtômat 1 Nguyễn Đức Thuần Ch-ơng I Nhập môn về văn phạm & Ngônngữhìnhthức 1.khái niệm chung về ngônngữNgônngữ là ph-ơng ... Thuan Lý ThuyếtNgônngữHìnhthức & Ôtômat 4 Nguyễn Đức Thuần Còn Ôtômat (automata) là một cơ chế cho phép đoán nhận 1 xâu bất kỳ có thuộc về ngôn ngữ hay không. Tuy nhiên, về mặthìnhthức ... Một số phép toán khác lên ngôn ngữ: Phép ghép tiếp : Cho ngônngữ L1 trên bộ chữ cái ồ1, vàngônngữ L2 trên bộ chữ cái ồ2, ký hiệu ngônngữ L1L2 là ngônngữ {vw/ v ẻ L1, w ẻ...
... Thuan Lý ThuyếtNgônNgữHìnhThức & Ôtômat 39 Nguyễn Đức Thuần 3.2.6.1 Định lý : Mọi ngônngữ phi ngữ cảnh không chứa xâu e đều có thể sinh ra từ một văn phạm phi ngữ cảnh không có ký hiệu ... Ađ bb, B đ aẵbc } không còn qui tắc đơn và G ằ G*. A B C Ng Duc Thuan Lý ThuyếtNgônNgữHìnhThức & Ôtômat 37 Nguyễn Đức Thuần Đ-a ký hiệu S vào D'. Nếu một ... ={S,AC} Cuối cùng vì S ẻD15. Vậy xâu baaba là thuộc ngôn ngữ sinh ra bởi văn phạm đà cho. Ng Duc Thuan Lý ThuyếtNgônNgữHìnhThức & Ôtômat 43 Nguyễn Đức Thuần S A l ...
... hạn, lý thuyết độ phức tạp, ngữ nghĩa vàlýthuyết về tính đúng đắn của các ngônngữ lập trình, lýthuyếtmậ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ếtngôn ... các chương trình dịch. Các ngôn ngữ hìnhthức tạo thành một công cụ mô tả đối với các mô hình tính toán cả cho dạng thông tin vào-ra lẫn kiểu thao tác. Lýthuyếtngônngữhình thức, chính ... thuyếtngônngữhìnhthứcvà ôtômat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngônngữhìnhthức được sử dụng trong việc xây dựng các ngônngữ lập trình, lýthuyết về...
... 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ìnhthức & Automat như chuỗi, ngônngữvà văn phạm chính qui, ngôn ngữ và văn phạm ... NGÔNNGỮ PHI NGỮ CẢNHTrong thực tế hàng ngày không phải tất cả các ngônngữ điều là chính qui. Trong khi ngôn ngữ chính qui hiệu quả trong việc mô tả một vài mẫu đơn giản do đó người ta không ... 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ônngữ lập trìnhvà các chương trình xử lýngônngữ tự nhiên.Earley đã...
... “ LýThuyếtNgônNgữHìnhThức & Automata” phần ngônngữ phi ngữ cảnh.I - YÊU CẦU ĐẶT RA CHO CHƯƠNG TRÌNH1.1 Mục Tiêu Của Chương Trình Mục tiêu chính của chương trình là : Với bộ công 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ìnhthức & Automat như chuỗi, ngônngữvà văn phạm chính qui, ngôn ngữ và văn phạm ... một công cụ để hỗ trợ thêm cho việc học môn học NgônNgữHìnhThứ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ônngữ phi ngữ...
... KHOA KHOA CÔNG NGHỆ THÔNG TINNGÔN NGỮHÌNHTHỨC & ÔTÔMÁT Giáo trình Kiến trúc máy tính và Hệ điều hành41CHƯƠNG 2. ÔTÔMÁT HỮU HẠNTRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG1. Ôt mát hữu hạn đơn ... nhất Giáo trình Kiến trúc máy tính và Hệ điều hành30CHƯƠNG 2. ÔTÔMÁT HỮU HẠNTRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG1. Ôt mát hữu hạn đơn định(Deterministic finite automata –DFA)1.1. Mô tả-Ôt mát ... =01010110= ε Giáo trình Kiến trúc máy tính và Hệ điều hành29CHƯƠNG 2. ÔTÔMÁT HỮU HẠNTRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNGÔt mát hữu hạn đơn định(DFA)Ôt mát hữu hạn không đơn định(NFA)Sự...