Lý Thuyết Automat Và ứng Dụng - Tài Liệu, Ebook

Có thể bạn quan tâm

Đăng ký
Đăng nhập
Liên hệ

Thư viện tài liệu, ebook tổng hợp lớn nhất Việt Nam

Website chia sẻ tài liệu, ebook tham khảo cho các bạn học sinh, sinh viên

Trang Chủ
Tài Liệu
Upload

Trang Chủ › Công Nghệ Thông Tin›Kỹ Thuật Lập Trình›Lý thuyết automat và ứng dụng Lý thuyết automat và ứng dụng

Bổ đề bơm: cho L là một CFL bất kỳ, tồn tại một số n chỉ phụ thuộc vào L sao cho nếu z ∈ L và |z| ≥ n thì ta có thể viết z=uvwxy sao cho: |vx| ≥ 1, |vwx| ≤ n và ∀i ≥ 0 ta có uviwxiy ∈ L Ví dụ: chứng minh L = {aibici | i ≥ 1} không là CFL • Giả sử L là CFL, khi đó tồn tại số n theo bổ đề bơm • Xét chuỗi z = anbncn, |z| ≥ n, ta có thể viết z=uvwxy thỏa bổ đề • Ta có: vwx ∈ anbncn, |vwx| ≤ n nên vwx không thể đồng thời chứa cả ký hiệu a và c (vì giữa a và c có n ký hiệu b) → vx cũng không thể chứa cả ký hiệu a và c. • Do |vx| ≥ 1 và trong uvwxy chứa số ký hiệu a, b, c bằng nhau: Nếu vx có chứa ký hiệu a (nên không thể chứa ký hiệu c) thì khi bơm chuỗi vx, số ký hiệu c sẽ không đổi (luôn là n), nhưng số ký hiệu a sẽ thay đổi. Ví dụ: chuỗi uv0wx0y ∉ L vì có số ký hiệu a (ít hơn n) số ký hiệu c (luôn là n) không bằng nhau.

25 trang | Chia sẻ: nguyenlam99 | Lượt xem: 2035 | Lượt tải: 0

Bạn đang xem trước 20 trang tài liệu Lý thuyết automat và ứng dụng, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên26/09/2011 1 Khoa KTMT Vũ Đức Lung 1 Chương 1 – Tổng quan Lý thuyết automat và ứng dụng (AUTOMATA THEORY AND ITS APPLICATIONS) Giảng viên: TS. Vũ Đức Lung Email: lungvd@uit.edu.vn 2 Automat là gì? Automat theory is the study of abstract computing devices, or “machines” Lý thuyết automat là lý thuyết làm nền tảng cho việc hiểu các mô hình tự động mà điển hình nhất là các máy tính số ngày nay Sự liên quan giữa lý thuyết automat và ngôn ngữ hình thức 3 Tại sao học automat? Thăm dò ý kiến tại một số trường ĐH danh tiếng như trường Stanford với những sinh viên sau tốt nghiệp 5 năm: Kiến thức môn học nào được sử dụng nhiều nhất trong công việc? Ngoài các môn cơ bản thì môn này được đánh giá cao trong các môn học tự chọn 4 Các ứng dụng chủ yếu Xây dựng ngôn ngữ lập trình và các trình dịch – Bộ phân tích từ vựng và cú pháp trong các trình biên dịch – Xử lý chuỗi trong ngôn ngữ lập trình và ngôn ngữ tự nhiên – Dịch từ ngôn ngữ này sang ngôn ngữ khác: từ ngôn ngữ cấp cao sang cấp thấp, từ tiếng Anh qua tiếng Pháp, Thiết kế các hệ thống số – Mạch tuần tự – Mạch đếm – Máy trạng thái Phần mềm khai phá dữ liệu web, doc, chống đạo văn Các giao thức truyền thông, truyền tin mật 5 Các kiến thức yêu cầu Đặt nền tảng trên lý thuyết tập hợp Lý thuyết đồ thị Kỹ thuật chứng minh qui nạp,chứng minh phản chứng 6 Yêu cầu và tính điểm Bài tập kiểm tra trên lớp: 20% – Bài kiểm tra 1: 10% – Bài kiểm tra 2: 10% Thi giữa kỳ: 20% Báo cáo seminar: 30% – Thành lập các nhóm 2-3 sinh viên – Buổi học 2-4 đăng ký đề tài – Báo cáo vào 2 tuần cuối của HK – Điểm: Báo cáo + trình bày Thi cuối kỳ: 30% 26/09/2011 2 7 Tài liệu tham khảo Hồ Văn Quân. Lý thuyết automat và ngôn ngữ hình thức. Đọc thêm: – Hopcroft, Motwani, Ullman. Automata Theory, Languages, and Computation 2nd Edition. – Bakhadyr Khoussainov. Automata theory and its application. Free reading: (Ai tìm được phiên bản đầy đủ share + bonus) Tài liệu học tập: – https://sites.google.com/site/vdlung/automat NỘI DUNG Bổ túc toán Ngôn ngữ và biểu diễn ngôn ngữ Automat hữu hạn và biểu thức chính qui Văn phạm chính qui và các tính chất Văn phạm phi ngữ cảnh Auomat đẩy xuống Máy turing Ứng dụng thiết kế số Khoa KTMT Vũ Đức Lung 8 9 Bổ túc toán Nội dung: • Tập hợp • Quan hệ • Phép chứng minh quy nạp • Đồ thị và cây 10 Tập hợp (Set) Ví dụ: • D = {Mon, Tue, Wed, Thu, Fri, Sat, Sun} Định nghĩa: • Tập hợp là tập các đối tượng không có sự lặp lại • Tập các đối tượng rời rạc • Không trùng lắp Phần tử 11 Ký hiệu tập hợp Liệt kê phần tử: • D = {1, 2, 3} Đặc tả tính chất đặc trưng: • D = { x | x là một ngày trong tuần } 12 Một số dạng tập hợp đặc biệt Tập rỗng: • Ký hiệu: ∅ hoặc { } Tập hợp con: • Ký hiệu: A ⊂ B (Ngược lại: A ⊄ B ) • { 1, 2, 4 } ⊂ { 1, 2, 3, 4, 5 } • { 2, 4, 6 } ⊄ { 1, 2, 3, 4, 5 } 26/09/2011 3 13 Một số dạng tập hợp đặc biệt Tập hợp bằng nhau: • Ký hiệu: A = B (Ngược lại: A ≠ B ) • { 1, 2 } = { 2, 1 } nhưng { 1, 2, 3 } ≠ { 2, 1 } Tập lũy thừa: • Ký hiệu: 2A • A = { 1, 2, 3 } thì 2A = {∅, {1}, {2}, {3}, {1, 2}, {2, 3}, {3, 1}, {1, 2, 3} } 14 Các phép toán trên tập hợp Phần bù (complement): • A’ = { x | x ∉ A } Phép hợp (Union): • A ∪ B = { x | x ∈ A hoặc x ∈ B } Phép giao (intersection): • A ∩ B = { x | x ∈A và x ∈ B } 15 Các phép toán trên tập hợp Phép trừ (difference): • A \ B = { x | x ∈ A nhưng x ∉ B } Tích Đềcác: • A x B = { (a,b) | a ∈ A và b ∈B } 16 Các phép toán trên tập hợp Ví dụ: cho A = {1, 2} và B = {2, 3} • A ∪ B = { 1, 2, 3 } • A ∩ B = { 2 } • A \ B = { 1 } • A x B = { (1,2 ), (1, 3), (2, 2), (2, 3) } • 2A = { ∅, {1}, {2}, {1, 2} } 17 R ( A × B ) = aRb miền xác định (domain) × miền giá trị (range) Quan hệ S 18 Quan hệ Ví dụ: cho S = {0, 1, 2, 3} • Quan hệ ‘thứ tự nhỏ hơn’ L = { (0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3) } • Quan hệ ‘bằng’ E = { (0, 0), (1, 1), (2, 2), (3, 3) } • Quan hệ ‘chẵn lẻ’ P = { (0, 0), (1, 1), (2, 2), (3, 3), (0, 2), (2, 0), (1, 3), (3, 1)} 26/09/2011 4 19 Các tính chất của quan hệ Phản xạ (reflexive): nếu aRa là đúng với ∀a∈S Đối xứng (symmetric): nếu aRb thì bRa Bắc cầu (transitive): nếu aRb và bRc thì aRc Ví dụ:ở ví dụ trên • L không là quan hệ phản xạ trên S vì (0,0)∉L hay đối xứng trên S vì (0,1)∈L nhưng (1,0) ∉L • E và P mang tính phản xạ, đối xứng và bắc cầu 20 Quan hệ tương đương Quan hệ tương đương = Quan hệ phản xạ, đối xứng và bắc cầu Ví dụ: • E và P là quan hệ tương đương • L không là quan hệ tương đương 21 Lớp tương đương Nếu R là quan hệ tương đương trên S thì R phân hoạch S thành các lớp tương đương không rỗng và rời nhau: S = S1 ∪ S2 ∪f Tính chất: • Si ∩ Sj = ∅ • Nếu a, b cùng thuộc Si thì aRb đúng • Nếu a ∈ Si và b ∈ Sj thì aRb sai Ví dụ: P có 2 lớp tương đương {0, 2} và {1, 3} 22 Bao đóng của quan hệ P-closure = quan hệ nhỏ nhất thỏa các tính chất trong P Bao đóng bắc cầu R+: • Nếu (a,b) ∈ R thì (a,b) ∈R+ • Nếu (a,b) ∈ R+ và (b,c) ∈ R thì (a,c) ∈ R+ • Không còn gì thêm trong R+ Bao đóng phản xạ và bắc cầu R*: • R* = R+ ∪ { (a, a)  a ∈ S } 23 Bao đóng của quan hệ Ví dụ: R = { (1, 2), (2, 2), (2, 3) } trên S = {1, 2, 3} • R+ = { (1, 2), (2, 2), (2, 3), (1, 3) } • R* = { (1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3) } 24 Nguyên lý quy nạp Bước 1 (cơ sở quy nạp): chứng minh P(0) Bước 2 (giả thiết quy nạp): giả sử P(n-1) Bước 3 (quy nạp): P(n - 1) ⇒ P(n), ∀ n ≥ 1. Ví dụ: chứng minh 6 )1n2)(1n(n i n 0i 2 ++=∑ = 26/09/2011 5 25 Đồ thị G = (V, E) • V : tập các đỉnh (nút) • E : tập các cung có hướng v w Ví dụ: đồ thị G = (V, E) • V = { 1, 2, 3, 4 } • E = { i→ j  i < j } Đồ thị có hướng (Directed graph) 26 Cây: là đồ thị có hướng • 1 nút gốc • Nút trung gian (nút trong) • Nút lá: không dẫn ra nút con • Thứ tự duyệt trên cây: trái → phải Cây (Trees) Cây minh họa một câu đơn Khoa KTMT Vũ Đức Lung 27 Khoa KTMT Vũ Đức Lung 28 CÂU HỎI VÀ BÀI TẬP CHƯƠNG I 26/09/2011 1 Khoa KTMT Vũ Đức Lung 1 Chương 02 – Ngôn ngữ và biểu diễn ngôn ngữ Giảng viên: TS. Vũ Đức Lung Email: lungvd@uit.edu.vn 2 Nội dung: • Khái niệm ngôn ngữ • Cách biểu diễn ngôn ngữ • Văn phạm • Sự phân lớp văn phạm 3 Ký hiệu, bộ chữ cái, chuỗi Ký hiệu (symbol): là một thực thể trừu tượng mà ta không định nghĩa được một cách hình thức • Các chữ cái a, b, c : hoặc các số 1, 2, 3 : Bộ chữ cái (alphabet): Σ • Là một tập (không rỗng) các ký hiệu nào đó • Bộ chữ cái Latin {A, B, C, :, a, b, c, :, z} Chuỗi (string): một chuỗi (hay một từ - word) trên bộ chữ cái Σ • Là một dãy hữu hạn các ký hiệu của Σ • Một ký hiệu có thể xuất hiện nhiều lần 4 Chuỗi Độ dài chuỗi: là số các ký hiệu tạo thành chuỗi • |abca| = 4 Chuỗi rỗng: ký hiệu ε, là chuỗi không có ký hiệu nào • |ε| = 0 Chuỗi con: chuỗi v là chuỗi con của w nếu v được tạo bởi các ký hiệu liền kề nhau trong chuỗi w. • Chuỗi 10 là chuỗi con của chuỗi 010001 Chuỗi tiền tố: là chuỗi con bất kỳ nằm ở đầu chuỗi Chuỗi hậu tố: là chuỗi con bất kỳ nằm ở cuối chuỗi • Chuỗi abc có các tiền tố a, ab, abc • Chuỗi 0246 có các hậu tố 6, 46, 246, 0246 5 Chuỗi Chuỗi nối kết (ghép): là chuỗi được tạo thành bằng cách viết chuỗi thứ nhất, sau đó viết chuỗi thứ hai, ... • Nối ghép của chuỗi Long và Int là LongInt • Nối kết của chuỗi rỗng: εw = wε = w (với mọi w) → ε là đơn vị của phép nối kết Chuỗi đảo ngược: của chuỗi w, ký hiệu wR, là chuỗi w được viết theo thứ tự ngược lại. w = abcd → wR = dcba εR = ε 6 Ngôn ngữ (Languages) Tổng quan về ngôn ngữ: • Ngôn ngữ tự nhiên: tiếng Việt, tiếng Anh, : • Ngôn ngữ lập trình: Pascal, C/C++, : • Là tập hợp các câu theo cấu trúc quy định nào đó • Biểu thị các ý nghĩ, các sự kiện hay các khái niệm • Bao gồm một tập các ký hiệu và các quy tắc để vận dụng chúng 26/09/2011 2 7 Ngôn ngữ (Languages) Một ngôn ngữ (hình thức) L là một tập hợp các chuỗi của các ký hiệu từ một bộ chữ cái Σ nào đó. Σ* và Σ+: ● Σ* : tập hợp tất cả các chuỗi con, kể cả chuỗi rỗng ε, sinh ra từ bộ chữ cái Σ. ● Σ+ : tập hợp tất cả các chuỗi con, ngoại trừ chuỗi rỗng ε, sinh ra từ bộ chữ cái Σ. Σ* = Σ+ + {ε} Σ+ = Σ* - {ε} ● Σ = {0,1} thì: 絃 Σ* = {ε, 0, 1, 00, 01, 10, 11, 000, :} 絃 Σ+ = {0, 1, 00, 01, 10, 11, 000, :} 絃 Chuỗi 010210 ∉ Σ* vì có số 2 ∉ Σ 8 Phép bao đóng (closure): thành lập một ngôn ngữ bằng cách kết nối các chuỗi (với số lượng bất kỳ) các chuỗi của một ngôn ngữ L cho trước Bao đóng Kleene: L* = ∪ Li Bao đóng dương (positive): L+ = ∪ Li Chú ý: L+ = L*L = LL* L* = L+ ∪ {ε} Ví dụ: cho L = {a, ba} • L2 = {aa, aba, baa, baba} • L3 = {aaa, aaba, abaa, ababa, baaa,baaba, babaa, bababa} • L* = {ε, a, ba, aa, aba, baa, baba, aaa, aaba, :} Các phép toán trên ngôn ngữ i = 0 ∞ i = 1 ∞ 9 Biểu diễn ngôn ngữ Liệt kê chuỗi: L = {aa, aba, baa, baba} Mô tả đặc điểm chủ yếu: L = {ai | i là số nguyên tố} Biểu diễn thông qua văn phạm và automata: • Cho phép biểu diễn ngôn ngữ một cách tổng quát • Văn phạm: cơ chế sản sinh ra mọi chuỗi của ngôn ngữ • Automata: cơ chế cho phép đoán nhận một chuỗi bất kỳ có thuộc một ngôn ngữ L hay không 10 Định nghĩa văn phạm Theo từ điển, văn phạm là một tập các quy tắc về cấu tạo từ và các quy tắc về cách thức liên kết từ lại thành câu Định nghĩa: văn phạm cấu trúc G là một hệ thống gồm 4 thành phần G(V, T, P, S) • V (variables): tập các biến (VD: A, B, C, :) • T (terminal): tập các ký hiệu kết thúc (V ∩ T = Ø) (VD: a, b, c, :, w, x, y, ...) • P (production): tập luật sinh, dạng α→β với α, β ∈ (V ∪ T)* • S (start): ký hiệu bắt đầu (S ⊂ V) 11 Định nghĩa văn phạm Dẫn xuất trực tiếp: nếu α→β là một luật sinh thì γ α δ ⇒ γ βδ Dẫn xuất gián tiếp: nếu các chuỗi α1, α2, ...., αm ∈ Σ* và α1⇒ α2, α2 ⇒ α3, ..., αm-1 ⇒ αm thì αm có thể được dẫn xuất từ α1 α1⇒* αm Ngôn ngữ L sinh bởi văn phạm G: L (G) = {w | w ∈ T * và S ⇒* w} Văn phạm tương đương: là 2 văn phạm sinh ra cùng một ngôn ngữ (G1 tương đương G2 ⇔ L(G1)=L(G2) ) 12 Phân cấp Chomsky trên văn phạm Bằng cách áp đặt một số quy tắc hạn chế trên các luật sinh, Noam Chomsky đề nghị một hệ thống phân loại các văn phạm dựa vào tính chất của các luật sinh. Loại 0 – Văn phạm không hạn chế (Unrestricted Grammar): không cần thỏa điều kiện ràng buộc nào trên tập các luật sinh Loại 1 – Văn phạm cảm ngữ cảnh (CSG – Context Sensitive Grammar): nếu văn phạm G có các luật sinh dạng α→β và |β| ≥ |α| Loại 2 – Văn phạm phi ngữ cảnh (CFG – Context-Free Grammar): có luật sinh dạng A→α với A là một biến đơn và α là chuỗi các ký hiệu thuộc (V ∪ T)* 26/09/2011 3 13 Phân cấp Chomsky trên văn phạm Loại 3 – Văn phạm chính quy (RG – Regular Grammar): có mọi luật sinh dạng tuyến tính phải hoặc tuyến tính trái. • Tuyến tính phải: A → wB hoặc A → w • Tuyến tính trái: A → Bw hoặc A → w Với A, B là các biến đơn, w là chuỗi ký hiệu kết thúc (có thể là rỗng) Nếu ký hiệu L0, L1, L2, L3 là các ngôn ngữ được sinh ra bởi văn phạm loại 0, 1, 2, 3, ta có: L3 ⊂ L2 ⊂ L1 ⊂ L0 Khoa KTMT Vũ Đức Lung 14 CÂU HỎI VÀ BÀI TẬP CHƯƠNG 02 26/09/2011 1 1 Automata hữu hạn & Biểu thức chính quy Nội dung: • Khái niệm DFA & NFA • Sự tương đương giữa DFA & NFA • Biểu thức chính quy • Các tính chất của tập chính quy Chương 3: 2 Khái niệm Automat hữu hạn (Finite Automata) FA là tập các trạng thái hữu hạn với các qui tắc để chuyển đổi từ một trạng thái này sang trạng thái khác. Ứng dụng nguyên thủy của FA là mạch chuyển trạng thái tuần tự (mạch tuần tự), trong đó trạng thái là cài đặt một tập các bits trong các flip-flop. Ngày nay được ứng dụng rộng rãi. Biểu diễn đơn giản nhất là “Đồ thị chuyển trạng thái” hay “sơ đồ dịch” 3 VD 1: Nhận biết chuỗi kết thúc “ing” nothing Saw i i Not i Saw ing g i Not i or g Saw in n i Not i or n Start Biểu diễn FA bằng sơ đồ dịch 4 Chuyển Automata thành Code In C/C++, tạo đoạn code cho từng trạng thái. Code sẽ có dạng: 1. Đọc ký tự nhập. 2. Tính toán để ra quyết định trạng thái kế. 3. Nhảy đến đoạn code của trạng thái kế đó. 2: /* State “Saw i” */ c = getNextInput(); if (c == ’n’) goto 3; else if (c == ’i’) goto 2; else goto 1; 3: /* State ”Saw in” */ . . . Khoa KTMT - UIT TS. Vũ Đức Lung 5 Biểu diễn FA bằng bảng truyền Thí dụ: Cho NFA: Tập trạng thái S = {0, 1, 2, 3}; Σ = {a, b}; Trạng thái bắt đầu So = 0; Tập trạng thái kết thúc F = {3}. ∑ Bảng truyền NFA nhận dạng (a|b)*abb 6 Phân loại FA FA (Finite Automata) DFA Deterministic Finite Automata NFA Nondeterministic Finite Automata Biểu thức chính quy 26/09/2011 2 7 Start 1 1 0 0 0 0 1 1 a b c d q1q0 q3q2 Ví dụ 2: Input Bộ điều khiển 10100110 Q : tập hữu hạn các trạng thái (p, qD) Σ : bộ chữ cái nhập (a, b D ; w, x, y D) δ : hàm chuyển, ánh xạ: Q x Σ → Q q0 ∈ Q : trạng thái bắt đầu. F ⊆ Q : tập các trạng thái kết thúc. M=(Q, Σ, δ, q0, F) Trạng thái bắt đầu Trạng thái kết thúc x Phép chuyển trên nhãn x Automata hữu hạn đơn định (DFA) 8 Mở rộng hàm chuyển trạng thái 1. δ(q, ε) = q 2. δ(q, wa) = δ( δ(q,w), a) với ∀ w, a Ngôn ngữ được chấp nhận: L(M) = { x | δ( q0, x ) ∈ F } Ngôn ngữ chính quyVí dụ: chuỗi nhập w=110101 • δ(q0, 1) = q1 • δ(q0, 11) = δ(q1, 1) = q0 • δ(q0, 110) = δ(q1, 10) = δ(q0, 0) = q2 • δ(q0, 1101) = δ(q1, 101) = δ(q0, 01) = δ(q2, 1) = q3 • δ(q0, 11010) = D = δ(q3, 0) = q1 • δ(q0, 110101) = D = δ(q1, 1) = q0 ∈ F 9 Giải thuật hình thức • Mục đích: kiểm tra một chuỗi nhập x có thuộc ngôn ngữ L(M) được chấp nhận bởi automata M. • Input: chuỗi nhập x$ • Output: câu trả lời ‘YES’ hoặc ‘NO’ • Giải thuật: q := q0 ; c := nextchar ; {c là ký hiệu nhập ñược ñọc tiếp theo} While c $ do begin q := δ(q, c); c := nextchar ; end If (q in F) then write("YES") else write("NO"); 10 Automata hữu hạn không đơn định (NFA) Nhận xét: • Ứng với một trạng thái và một ký tự nhập, có thể có không, một hoặc nhiều phép chuyển trạng thái. • DFA là một trường hợp đặc biệt của NFA Start 0 1 1 0 1 0 q0 q3 q4 1 0 q1 q2 0 1 • Ví dụ: cho automata M (hình vẽ) và xét chuỗi nhập 01001 0 0 10010 1 0 0 1 1 q0 q0 q0 q0 q0 q0 q3 q1 q3 q3 q1 q4 q4 11 Định nghĩa NFA Chú ý: khái niệm δ(q, a) là tập hợp tất cả các trạng thái p sao cho có phép chuyển từ trạng thái q trên nhãn a. Hàm chuyển trạng thái mở rộng: • δ(q, ε) = {q} • δ(q, wa) = { p | có một trạng thái r trong δ(q, w) mà p∈δ(r, a) } = δ( δ(q,w), a) • δ(P, w) = ∪q∈P δ(q, w) với ∀P ⊆ Q Q : tập hữu hạn các trạng thái. Σ : bộ chữ cái nhập. δ : hàm chuyển ánh xạ Q x Σ → 2Q q0 ∈ Q : trạng thái bắt đầu. F ⊆ Q : tập các trạng thái kết thúc. M=(Q, Σ, δ, q0, F) 12 Ví dụ: xét chuỗi nhập w=01001 và NFA đã cho ở trên • M( {q0, q1, q2, q3, q4}, {0, 1}, δ, q0, {q2, q4} ) {q4}{q4}q4 Ø{q4}q3 {q2}{q2}q2 {q2}Øq1 {q0,q1} {q0,q3} q0 10Trạng thái Inputδ • δ(q0, 0) = {q0,q3} • δ(q0, 01) = δ( δ(q0, 0), 1) = δ({q0, q3},1) = δ(q0, 1) ∪ δ(q3, 1) = {q0, q1} • δ(q0, 010) = {q0, q3} • δ(q0, 0100) = {q0, q3, q4} • δ(q0, 01001) = {q0, q1, q4} Do q4 ∈ F nên w=01001 ∈ L(M) Ví dụ về NFA 26/09/2011 3 13 NFA với ε- dịch chuyển (NFAε) Định nghĩa: NFAε M(Q, Σ, δ, q0, F) • δ : hàm chuyển ánh xạ Q x (Σ ∪ {ε}) → 2Q • Khái niệm δ(q, a) là tập hợp các trạng thái p sao cho có phép chuyển nhãn a từ q tới p, với a ∈ (Σ ∪ {ε}) q0 q1 q2 ε 0 1 2 Start ε Ví dụ: xây dựng NFA chấp nhận chuỗi 0*1*2* q0 q1 q2 0, 1 0 1 2 Start 1, 2 0, 1, 2 14 Sự tương đương giữa DFA & NFA Định lý 1: 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. Giả sử NFA M={Q, Σ, δ, q0, F} chấp nhận L Ta xây dựng DFA M’={Q’, Σ, δ’, q0’, F’} chấp nhận L • Q’ = 2Q . Một phần tử trong Q’ được ký hiệu là [q0, q1, D, qi] với q0, q1, D, qi ∈Q • q0’ = [q0] • F’ là tập hợp các trạng thái của Q’ có chứa ít nhất một trạng thái kết thúc trong tập F của M • Hàm chuyển δ’([q1, q2,..., qi], a) = [p1, p2,..., pj] nếu và chỉ nếu δ({q1, q2,..., qi }, a) = {p1, p2,..., pj} 15 Ví dụ về sự tương đương giữa DFA & NFA Ví dụ: NFA M ({q0, q1}, {0, 1}, δ, q0, {q1}) với hàm chuyển δ(q0,0) = {q0, q1}, δ(q0,1) = {q1}, δ(q1,0) = ∅, δ(q1,1) = {q0, q1} Ta sẽ xây dựng DFA tương đương M’ (Q’, {0, 1}, δ’, [q0], F’) • Q’ = {∅, [q0], [q1], [q0, q1]} • F’ = {[q1], [q0, q1]} • Hàm chuyển δ’ δ’(∅, 0) = δ’(∅, 1) = ∅ δ’([q0], 0) = [q0, q1] δ’([q0], 1) = [q1] δ’([q1], 0) = ∅ δ’([q1], 1) = [q0, q1] δ’([q0, q1], 0) = [q0, q1] δ’([q0, q1], 1) = [q0, q1] Xem VD 2.12, 2.13 trong [1] 16 Chuyển NFA thành DFA Xây dựng DFA tương đương cho NFA sau (NFA nhận dạng (a|b)*abb). 17 Tìm các trạng thái cho DFA Các bước thực hiện: Tính ∈-closure(0)={0,1,2,4,7} = A //Những trạng thái trên NFA có từ “0” đi mà có sự truyền rỗng ∈ Tính ∈-closure(Move(A,a)) = ∈-closure(3,8) = {1,2,3,4,6,7,8}=B Trong đó: Move(A,a) = (3,8) • Tính ∈-closure(Move(A,b)) = ∈-closure(5) = {1,2,4,5,6,7}=C Lập lại các bước này cho tất cả các tập B,C, cho đến khi không còn tập nào Kết quả: A = {0,1,2,4,7} B = {1,2,3,4,6,7,8} C = {1,2,4,5,6,7} D = {1,2,4,5,6,7,9} E = {1,2,4,5,6,7,10} 18 • Bảng hàm chuyển EA a a a a a b b b b b B D C Start CBE EBD CBC DBB CBA ba Ký hiệu nhập Trạng thái • Ký hiệu bắt đầu: q0’ = A (↔ ε-CLOSURE(q0) ) • Tập trạng thái kết thúc: F’ = {E} (vì trong E có chứa trạng thái 10 ∈ F) Xây dựng DFA từ NFA(ε) 26/09/2011 4 19 Sự tương đương giữa NFAε và NFA Định lý 2: nếu L được chấp nhận bởi một NFA có ε-dịch chuyển thì L cũng được chấp nhận bởi một NFA không có ε-dịch chuyển. Giả sử: NFAε M(Q, Σ, δ, q0, F) chấp nhận L Ta xây dựng: NFA M’={Q, Σ, δ’, q0, F’} Với: • F’ = F ∪ q0 nếu ε-CLOSURE(q0) chứa một trạng thái thuộc F. Ngược lại, F’ = F • δ’(q, a) = δ*(q, a) 20 Ví dụ: Xây dựng NFA tương đương M’={Q, Σ, δ’, q0, F’} • Q = {q0, q1, q2} • Σ = {0, 1, 2} • Trạng thái bắt đầu: q0 • F’ = {q0, q2} • Hàm chuyển δ’ {q2}∅∅q2 {q2}{q1, q2}∅q1 {q2}{q1, q2}{q0, q1, q2}q0 210Trạng thái Inputsδ’ q0 q1 q2 0, 1 0 1 2 Start 1, 2 0, 1, 2 q0 q1 q2 ε 0 1 2 Start ε Sự tương đương giữa NFAε và NFA 21 Biểu thức chính quy (RE) Vài ví dụ: • 00 : là biểu thức chính quy biểu diễn tập {00} • (0+1)* : tập hợp tất cả các chuỗi số 0 và số 1, kể cả chuỗi rỗng = {ε, 0, 1, 00, 01, 10, 11, 010, 011, 0010 ... } • (0+1)*011 : ký hiệu cho tất cả các chuỗi 0, 1 tận cùng bởi 011 = {011, 0011, 1011, 00011, 11011, ... } • (0+1)*00(0+1)* : tập hợp tất cả các chuỗi 0,1 có ít nhất hai số 0 liên tiếp = {00, 000, 100, 0000, 0001, 1000, 1001, 011001, ... } • (0+ ε)(1+10)* : tất cả các chuỗi không có hai số 0 liên tiếp = {ε, 0, 01, 010, 1, 10, 01010, 0111, ... } • 0*1*2* : {ε, 0, 1, 2, 01, 02, 12, 012, 0012, 0112, ... } • 00*11*22* : tất cả các chuỗi trong tập 0*1*2* với ít nhất một ký hiệu 0, 1 và 2 ↔ viết gọn thành 0+1+2+ 22 Biểu thức chính quy (RE) Định nghĩa: cho Σ là một bộ chữ cái. BTCQ trên Σ là các tập hợp mà chúng mô tả được định nghĩa đệ quy như sau: ● ∅ là BTCQ ký hiệu cho tập rỗng ● ε là BTCQ ký hiệu cho tập {ε} ● ∀a ∈ Σ, a là BTCQ ký hiệu cho tập {a} ● Nếu r và s là các BTCQ ký hiệu cho các tập hợp R và S thì (r + s), (rs) và ( r*) là các BTCQ ký hiệu cho các tập hợp R ∪ S, RS và R* tương ứng Thứ tự ưu tiên: Phép bao đóng > Phép nối kết > Phép hợp Ví dụ: • Biểu thức ((0(1*)) + 1) có thể viết là 01*+1 23 Tính chất đại số của BTCQ Phép hợp: • r + ∅ = ∅ + r = r • r + r = r • r + s = s + r • (r + s) + t = r + (s + t) = r + s + t Phép nối kết: • rε = εr = r • r∅ = ∅r = ∅ • (r + s) t = rt + st • r (s + t) = rs + rt Phép bao đóng: • ε* = ε • ∅* = ∅ • r*r* = r* • (r*)* = r* • r* = ε + r + r2 + D + rk + D • r* = ε + r+ • (ε + r)+ = (ε + r)* = r* • r*r = r r* = r+ Tổng hợp: • (r* + s*)* = (r*s*)* = (r + s)* • (rs)*r = r(sr)* • (r*s)* r* = (r + s)* 24 Sự tương đương giữa NFAε và BTCQ Định lý 3: nếu r là BTCQ thì tồn tại một NFA với ε-dịch chuyển chấp nhận L(r) Định lý 4: Nếu L được chấp nhận bởi một DFA, thì L được ký hiệu bởi một BTCQ DFA NFAε NFA RE Định lý 4 Định lý 2 Định lý 1 Định lý 3 26/09/2011 5 Khoa KTMT - UIT TS. Vũ Đức Lung 25 Từ biểu thức chính quy đến NFA Xây dựng NFA từ biểu thức chính quy Giải thuật : Xây dựng NFA từ biểu thức chính quy (Cấu trúcThompson’) Nhập: Biểu thức chính quy r trên . Xuất: NFA nhận dạng ngôn ngữ L(r). ∑ 26 Từ RE đến ε-NFA Symbol a: ε: ∅: a ε 27 For E1 For E2 E1∪ E2 ε ε ε ε Từ RE đến ε-NFA 28 For E1 For E2 E1E2 ε Từ RE đến ε-NFA 29 For E E* ε ε εε Từ RE đến ε-NFA Khoa KTMT - UIT TS. Vũ Đức Lung 30 Phương pháp Quy tắc: 26/09/2011 6 Khoa KTMT - UIT TS. Vũ Đức Lung 31 Phương pháp Giả sử N(s) và N(t) là NFA cho biểu thức chính quy s và t. Với s|t xây dựng NFA hỗn hợp N(s|t) Khoa KTMT - UIT TS. Vũ Đức Lung 32 Phương pháp Khoa KTMT - UIT TS. Vũ Đức Lung 33 Phương pháp Khoa KTMT - UIT TS. Vũ Đức Lung 34 Automat hữu hạn Automat hữu hạn không tất định (NFA) – Cách vẽ NFA cơ bản 35 Automat hữu hạn Automat hữu hạn không tất định (NFA) Cách vẽ NFA cơ bản 36 Ví dụ Dùng giải thuật để xây dựng NFA cho biểu thức chính quy r = (a|b)*abb 26/09/2011 7 37 Mô phỏng NFA Nhập:NFA gọi là N, chuỗi nhập x. x được kết thúc bằng eof, N có trạng thái bắt đầu s0 và tập trạng thái kết thúc F. Xuất: Giải thuật trả lời đúng nếu N chấp nhận x, ngược lại trả lời sai. 38 Giải thuật S = ∈-closure({So}) a = nextchar While a eof then Begin S = ∈-closure(move(s,a)) a = nextchar End if S ∩ F φ then write(đúng) Else write(sai) 39 Xây dựng DFA trực tiếp từ biểu thức chính quy Tìm hiểu 2 giải thuật để tối ưu việc so trùng mẫu được xây dựng từ biểu thức chính quy: Xây dựng DFA trực tiếp từ biểu thức chính quy. Tối thiểu trạng thái của DFA. 40 Trạng thái quan trọng của NFA Trạng thái quan trọng là từ nó có sự truyền khác rỗng. Như vậy nếu hai tập trạng thái có cùng số trạng thái quan trọng thì chúng được đồng nhất. NFA được xây dựng theo cấu trúc Thompson có trạng thái kết thúc không có sự truyền ra, như vậy nó không phải là trạng thái quan trọng ( nhưng thực sự nó lại rất quan trọng). Để tránh tình trạng này người ta thêm ký hiệu # vào sau biểu thức chính quy, và trạng thái kết thúc có sự truyền trên ký hiệu #. Khi xây dựng tập con hoàn tất thì trạng thái nào có sự truyền trên # là trạng thái chấp nhận. 41 Biểu thức chính quy gia tố Biểu thức r# được gọi là biểu thức chính quy gia tố. Ký hiệu # không thuộc tập các ký hiệu cơ bản của biểu thức chính quy r. Biểu diễn biểu thức chính qui gia tố bằng cây phân tích, sao cho tên các lá là các ký hiệu cơ bản. Các nút trung gian là các toán tử dạng: cat, or hoặc star. 42 Xây dựng DFA trực tiếp từ biểu thức chính quy Xây dựng DFA trực tiếp từ biểu thức chính quy: Vẽ cây phân tích Tính các giá trị Nullable, First Post (FP), Last Post (LP). Lập bảng Follow Post (FLP) Tìm tập các trạng thái, bảng truyền Vẽ DFA Tối thiểu trạng thái của DFA. 26/09/2011 8 43 Cây phân tích Là cây có nút lá là các ký hiệu cơ bản của r#. Các nút là các toán tử. Các toán tử trên cây phân tích như: Toán tử kết nối Toán tử tuyển. Toán tử bao đóng truyền. Khoa KTMT - UIT 44 Cây phân tích Cách vẽ cây phân tích r = (a|ba)(a|b)*ba# 45 Cây phân tích Cây phân tích r = (a|ba)(a|b)*ba# 46 Các quy tắc để tính ba hàm nullable, firstpos, lastpos 47 Các quy tắc để tính ba hàm nullable, firstpos, lastpos NULLABLE: Quy tắc: - Nốt lá là False (F) - Nốt (*) là True (T) - Nốt (|) là True (T) nếu 1 trong 2 nốt con là True (T) - Nốt (.) là True (T) nếu cả 2 nốt con đều True (T) FIRST POST (FP), LAST POST (LP): Quy tắc: - Bắt đầu đánh số cho các nốt lá theo thứ tự từ 1 lớn dần (tự đánh) - FP và LP của nốt lá bằng chính số của nó - Nốt (|): FP của nó bằng tổng hợp FP của 2 nốt con. LP cũng thế - Nốt (*): FP = FP nốt con. LP cũng thế - Nốt (.): o FP: Nếu (Nullable nốt con bên trái) = F thì (FP của nó) = (FP nốt con bên trái). Nếu (Nullable nốt con bên trái) = T thì (FP của nó) = tổng hợp (FP cả 2 nốt con) o LP: Nếu (Nullable nốt con bên phải) = F thì (LP của nó) = (LP nốt con bên phải). Nếu (Nullable nốt con bên phải) = T thì (LP của nó) = tổng hợp (LP cả 2 nốt con) 48 NULLABLE r = (a|ba)(a|b)*ba# 26/09/2011 9 49 FIRST POST (FP), LAST POST (LP) 50 Các quy tắc tính hàm followpos(n) Quy tắc: - Lập bảng FLP bằng cách liệt kê các nốt lá theo hàng dọc (Số thứ tự đã đánh trước) - Chỉ xét các nốt (.) và (*), không xét nốt (|) - Cách xét: o Đối với (.): Đưa (tập FP nốt con bên phải) vào (từng giá trị LP của nốt con trái) trong bảng FLP o Đối với (*): Đưa (tập FP của chính nó) vào (từng giá trị LP của chính nó) trong bản FLP - Cứ xét hết các nốt cần xét và điền giá trị vào các dòng tương ứng trong bảng FLP 51 Bảng FLP 52 Tìm tập các trạng thái Đặt [A] là trạng thái bắt đầu. [A] sẽ chứa FP của ROOT => [A] = {1,2} Xét [A] = {1,2}: Ở đây ta nhìn hình chỉ số các nốt lá và bảng FLP o 1 tương đương a => Ua =FLP(1) = {4,5,6} (Ra 1 tập khác ta đặt là {B}) o 2 tương đương b => Ub =FLP(2) = {3} (đặt là [C]) Xét {B} = {4,5,6}: o 4 tương đương a => Ua =FLP(4) = {4,5,6} (là {B}) o 5,6 tương đương b => Ub =FLP(5) U FLP(6) = {4,5,6,7} (đặt là [D]) 53 Bảng truyền 54 VẼ DFA VẼ DFA theo các trạng thái ta có được (A, B, C, D, E): - A là trạng thái bắt đầu - Trạng thái nào chứa 8 sẽ là trạng thái kết thúc - Đường đi dựa vào dữ liệu ta đã xét trên kia cho từng trạng thái (đọc a, đọc b) 26/09/2011 10 55 Xây dựng DFA trực tiếp từ biểu thức chính quy Xây dựng DFA trực tiếp từ biểu thức chính quy: Vẽ cây phân tích Tính các giá trị Nullable, First Post (FP), Last Post (LP). Lập bảng Follow Post (FLP) Tìm tập các trạng thái, bảng truyền Vẽ DFA Tối thiểu trạng thái của DFA. 56 Tối thiểu số trạng thái của DFA Khái niệm DFA đầy đủ, trạng thái chết d Chuỗi w phân biệt trạng thái s với trạng thái t Giải thuật 3.6: Tối thiểu trạng thái của DFA Nhập: DFA, gọi là M có S, Σ , s0, F. M là DFA đầy đủ. Xuất: DFA, gọi là M’ chấp nhận ngôn ngữ như M, với số trạng thái nhỏ nhất. Phương pháp: 1. Tạo phần khởi đầu Π có 2 nhóm: các trạng thái kết thúc F, và các trạng thái không kết thúc S –F. 2. Áp dụng thủ tục (mô phỏng 3.6) để tạo 3. Nếu = thì = tiếp tục bước 4, ngược lại lặp lại bước 2, với = 4. Chọn mỗi nhóm 1 trạng thái đại diện và đó là trạng thái của M’. 5. Nếu M’ có trạng thái chết d thì loại nó ra khỏi M’. Tất cả các sự truyền đến trạng thái d đều không xác định. ∏new ∏new ∏ new ∏ final∏ ∏ ∏ 57 Tối thiểu số trạng thái của DFA Mô phỏng 3.6: Giải thuật tạo for với mỗi nhóm G của do begin - Chia G thành các nhóm nhỏ hơn sao cho hai trạng thái s và t của G sẽ ở cùng một nhóm nhỏ hơn nếu và chỉ nếu các sự truyền trên tất cả các ký hiệu nhập a từ s và t đều đi đến các trạng thái kế tiếp ở trong cùng một nhóm của - Ta thay G bằng các nhóm nhỏ hơn vừa được tạo nên, cho chúng vào end ∏new ∏ ∏ ∏new Ví dụ đơn giản DFA 58 Khoa KTMT - UIT TS. Vũ Đức Lung 59 Tối thiểu số trạng thái của DFA Π={(E),(ABCD)} Xét (ABCD) trên sự truyền a – A → B : thuộc (ABCD) – B → B : – C → B : – D → E : không thuộc (ABCD) ⇒ tách D riêng Tương tự trên b Πnew = {(E), (ABC), (D)} Thông thường những trạng thái rút gọn được là có sự truyền đến cùng một trạng thái trên một ký hiệu nhập và đến chính mình trên ký hiệu nhập khác. Khoa KTMT Vũ Đức Lung 60 CÂU HỎI VÀ BÀI TẬP CHƯƠNG 03 26/09/2011 1 1 Văn phạm phi ngữ cảnh (Context Free Grammar) Nội dung: • Văn phạm phi ngữ cảnh (CFG) • Giản lược văn phạm phi ngữ cảnh • Chuẩn hóa văn phạm phi ngữ cảnh • Các tính chất của văn phạm phi ngữ cảnh Chương 04: 2 NHẬN XÉT CFG là những ký hiệu cho việc mô tả ngôn ngữ CFG mạnh hơn FA hay RE, nhưng vẫn không thể mô tả mọi ngôn ngữ Thường được dùng để mô tả những cấu trúc lồng vào nhau Ý tưởng cơ bản là dùng những biến thay thế cho tập các chuỗi( hay ngôn ngữ) Các biến này được định nghĩa hồi qui với các biến khác và các định nghĩa này gọi là các qui tắc sinh, hay luật sinh 3 Ví dụ: CFG for { 0n1n | n > 1} Luật sinh (Productions) có dạng: S -> 01 S -> 0S1 Chuỗi 01 là một ngôn ngữ Phương pháp quy nạp (Induction): Nếu w thuộc ngôn ngữ thì 0w1 cũng thuộc ngôn ngữ. Văn phạm phi ngữ cảnh Định nghĩa: là hệ thống gồm 4 thành phần G(V, T, P, S) • V (Variables = nonterminals) : tập hữu hạn các biến (ký tự chưa kết thúc) • T (Terminals) : tập hữu hạn các ký tự kết thúc (V ∩ T = Ø) • P (Productions) : tập hữu hạn các luật sinh dạng A → α (α∈ (V∪T)*) • S (Start symbol) : ký hiệu bắt đầu của văn phạm Quy ước: • V: chữ in hoa (A, B, C, ..); T: chữ in thường (a, b, c, .., w, x, y..) • α, β, γ, .. biểu diễn chuỗi ký hiệu kết thúc và biến 4 5 Ví dụ: Formal CFG A formal CFG for { 0n1n | n > 1}. – Terminals = {0, 1}. – Variables = {S}. – Start symbol = S. – Productions = S -> 01 S -> 0S1 S → AB A → aA A → a B → bB B → b S → AB A → aAa B → bBb hay • G=({S, A, B}, {a, b}, P, S) với P gồm các luật sinh: 6 Ví dụ số nguyên không dấu (Unsigned Integers) • Ký hiệu bắt đầu • Ký hiệu không kết thúc , • Ký hiệu kết thúc 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 • Luật → → 26/09/2011 2 7 BNF (Backus-Naur Form) 1959, John Backus giới thiệu ALGOL 58 thuộc nhóm ACM-GAMM 1960 Peter Naur cho ra phiên bản mới ALGOL 60 BNF là một ký hiệu tự nhiên mô tả cú pháp, là một siêu ngôn ngữ mô tả ngôn ngữ khác Các Grammar cho ngôn ngữ lập trình thường được viết dưới dạng BNF VD: ::= | 8 Ví vụ một biểu thức Start symbol Non-terminals , , , , , Terminals 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, -, *, / Productions: → | → | → | () →+ | − → ∗ | / 9 BNF mở rộng (Extended BNF) Không làm tăng khả năng đặc tả của BNF, chỉ là cách biểu diễn gọn hơn 1. Phần lựa chọn được đặt vào trong dấu [] -> if () [else )] 2. Đặt những phần tương tự trong RHS vào trong () và ngăn cách bởi | -> (+ | -) const 3. Đặt những phần lập lại trong {} -> letter {letter | digit} 10 BNF vs EBNF BNF: -> + | - | -> * | / | EBNF: -> {(+ | -) } -> {(* | /) } 11 Sơ đồ cú pháp (Syntax Diagrams) term exp term_op term exp Sơ đồ cú pháp của biểu thức 12 Dẫn xuất và ngôn ngữ (Derivation and Language) Dẫn xuất: • Nếu A → β là luật sinh trong văn phạm G và α, γ là 2 chuỗi bất kỳ, thì khi áp dụng luật sinh A → β vào chuỗi αAγ ta sẽ thu được chuỗi αβγ : αAγ ⇒G αβγ • Giả sử: α1 ⇒G α2, α2 ⇒G α3, ..., αm-1 ⇒G αm, ta có: α1 ⇒*G αm • Ta có: α ⇒*G α với mọi chuỗi α • Thông thường, ta sẽ dùng ⇒ và ⇒* thay cho ⇒G và ⇒*G Ngôn ngữ sinh bởi CFG: cho CFG G(V, T, P, S) L(G) = { ww ∈ T* và S ⇒*G w } (chuỗi w gồm toàn ký hiệu kết thúc và được dẫn ra từ S) 26/09/2011 3 13 Cây dẫn xuất Định nghĩa: cây dẫn xuất (hay cây phân tích cú pháp) của một văn phạm G(V, T, P, S) có đặc điểm (1) Mỗi nút có một nhãn, là một ký hiệu ∈ (V ∪ T ∪ {ε} ) (2) Nút gốc có nhãn là S (ký hiệu bắt đầu) (3) Nếu nút trung gian có nhãn A thì A ∈ V (4) Nếu nút n có nhãn A và các đỉnh n1, n2, ..., nk là con của n theo thứ tự từ trái sang phải có nhãn lần lượt là X1, X2, ..., Xk thì A → X1X2...Xk là một luật sinh trong P (5) Nếu nút n có nhãn là ε thì n phải là nút lá và là nút con duy nhất của nút cha của nó ĐỊNH LÝ 1 : Nếu G (V, T, P, S) là một văn phạm phi ngữ cảnh thì S ⇒* α nếu và chỉ nếu có cây dẫn xuất trong văn phạm sinh ra α. 14 Dẫn xuất trái nhất - Dẫn xuất phải nhất Dẫn xuất trái nhất (phải nhất): nếu tại mỗi bước dẫn xuất, luật sinh được áp dụng vào biến bên trái nhất (phải nhất) Ví dụ: xét văn phạm G với luật sinh: S →AB A → aAa B → bBb • Các dẫn xuất khác nhau cho từ aaabb: (a) S ⇒AB⇒ aAB ⇒ aaAB ⇒ aaaB ⇒ aaabB ⇒ aaabb (b) S ⇒AB⇒ AbB ⇒Abb ⇒ aAbb ⇒ aaAbb ⇒ aaabb (c) S ⇒AB⇒ aAB ⇒ aAbB ⇒ aAbb ⇒ aaAbb ⇒ aaabb (d) S ⇒AB⇒ aAB ⇒ aaAB ⇒ aaAbB ⇒ aaabB ⇒ aaabb • Dẫn xuất (a) là dẫn xuất trái nhất, (b) là dẫn xuất phải nhất • Các dẫn xuất tuy khác nhau, nhưng có cùng một cây dẫn xuất 15 Chuỗi dẫn xuất (Derivations) ⇒ ⇒ + ⇒ + ⇒ * + 4 ⇒ * 5 + 8 ⇒ 32 * 5 + 8 Chuỗi dẫn xuất của biểu thức: 32*5 + 8 16 Cây phân tích cú pháp (Parse Trees) + 32 5 8 * 17 Cây cú pháp (Parse Trees) + 12 3 4 * Cây cú pháp 18 Sự nhập nhằng (Ambiguity) Văn phạm cho câu lệnh gán đơn giản → = →A|B|C → + | * | () | VD biểu thức gán: A = B * (A + C) có chuỗi dẫn xuất cực tả: 26/09/2011 4 19 Sự nhập nhằng (Ambiguity) Văn phạm cho câu lệnh gán đơn giản (mở rộng VD trước) → = →A|B|C → + | * | () | Là một văn phạm nhập nhằng vì A = B + C * A có 2 cây cú pháp 20 Sự nhập nhằng (Ambiguity) 21 Khắc phục văn phạm nhập nhằng: • Quy định rằng các phép cộng và nhân luôn được thực hiện theo thứ tự từ trái sang phải (trừ khi gặp ngoặc đơn) E → E + T  E * T  T T → (E)  a • Quy định rằng khi không có dấu ngoặc đơn ngăn cách thì phép nhân luôn được thực hiện ưu tiên hơn phép cộng E → E + T  T T → T * F  F F → (E)  a Sự nhập nhằng (Ambiguity) 22 Giản lược văn phạm phi ngữ cảnh Trong CFG có thể chứa các yếu tố thừa: ● Các ký hiệu không tham gia vào quá trình dẫn xuất ra chuỗi ký hiệu kết thúc ● Luật sinh dạng A → B (làm kéo dài chuỗi dẫn xuất) ⇒ giản lược văn phạm nhằm loại bỏ những yếu tố vô ích, nhưng không được làm thay đổi khả năng sản sinh ngôn ngữ của văn phạm • Mỗi biến và mỗi ký hiệu kết thúc của văn phạm đều xuất hiện trong dẫn xuất của một số chuỗi trong ngôn ngữ • Không có luật sinh A→ B (với A, B đều là biến) ● Nếu ngôn ngữ không chấp nhận chuỗi rỗng ε thì không cần luật sinh A→ ε . 23 Các ký hiệu vô ích Khái niệm: một ký hiệu X được gọi là có ích nếu có một dẫn xuất S ⇒* αXβ ⇒* w với α, β là các chuỗi bất kỳ và w ∈ T*. ⇒ có 2 đặc điểm cho ký hiệu có ích • X phải dẫn ra chuỗi ký hiệu kết thúc • X phải nằm trong dẫn xuất từ S 24 Các ký hiệu vô ích Bổ đề 1: (loại bỏ các biến không dẫn ra chuỗi ký hiệu kết thúc) Cho CFG G(V, T, P, S) với L(G) ≠ Ø, có một CFG G'(V', T', P', S) tương đương sao cho mỗi A ∈ V' tồn tại w ∈ T* để A ⇒* w Giải thuật tìm V': Begin (1) OldV' := ∅; (2) NewV' := { A  A→ w với w ∈ T* }; (3) While OldV' ≠ NewV' do begin (4) OldV' := NewV'; (5) NewV' := OldV' ∪ {A  A→ α với α ∈ (T ∪OldV')* } end; (6) V' := NewV'; End; 26/09/2011 5 25 Các ký hiệu vô ích Bổ đề 2: (loại bỏ các biến không được dẫn ra từ ký hiệu bắt đầu) Cho CFG G(V, T, P, S), ta có thể tìm được CFG G'(V', T', P', S) tương đương sao cho mỗi X ∈ (V' ∪ T') tồn tại α, β ∈ (V' ∪ T')* để S ⇒* αXβ Cách tìm: • Đặt V' = {S} • Nếu A ∈ V' và A → α1 α2...αn là các luật sinh trong P thì ➢ Thêm các biến của α1, α2, ..., αn vào V' • Lặp lại cho đến khi không còn biến nào được thêm vào nữa 26 Các ký hiệu vô ích Định lý 2: mỗi ngôn ngữ phi ngữ cảnh (CFL) không rỗng được sinh ra từ một văn phạm phi ngữ cảnh (CFG) không có ký hiệu vô ích Ví dụ: xét văn phạm S → AB | a A →a • Áp dụng bổ đề 1: loại bỏ S → AB ta còn G: S → a A →a • Áp dụng bổ đề 2: loại bỏ luật sinh thứ hai G tương đương = ({S}, {a}, {Sa}, S) 27 Luật sinh ε Định lý 3: (loại bỏ luật sinh A → ε) Cho CFG G(V, T, P, S) và L là ngôn ngữ sinh ra bởi G. Khi đó L – {ε} là ngôn ngữ sinh ra bởi CFG G'(V, T, P', S) không có ký hiệu vô ích và không có luật sinh ε. Cách tìm: ➢ Bước 1: xác định tập biến rỗng Nullable i. A → ε ⇒ A ∈ Nullable ii.B → X1X2...Xn, ∀Xi ∈ Nullable ⇒ B ∈ Nullable ➢ Bước 2: xây dựng tập luật sinh P' Với mỗi luật sinh A → X1X2...Xn trong P, ta xây dựng luật sinh A → α1α2...αn với điều kiện: i. Nếu Xi ∉ Nullable thì αi = Xi ii. Nếu Xi ∈ Nullable thì αi = Xi  ε iii. Không phải tất cả αi đều bằng ε 28 S -> ABC, A -> aA | ε, B -> bB | ε, C -> ε A, B, C, and S are all nullable. New grammar: S -> ABC | AB | AC | BC | A | B | C A -> aA | a B -> bB | b Note: C is now useless. Eliminate its productions. VD loại bỏ luật sinh ε 29 Luật sinh ε Ví dụ: loại bỏ luật sinh ε trong văn phạm sau: S → AB A → aA  ε B → bB  ε ➢ Bước 1: xác định tập biến rỗng Nullable i. A → ε ⇒ A ∈ Nullable ii. B → ε ⇒ B ∈ Nullable iii.S → AB ⇒ S ∈ Nullable ➢ Bước 2: xây dựng tập luật sinh P' S → AB  Aε  εB A→ aA  aε B→ bB  bε Chú ý: văn phạm G' không chấp nhận chuỗi rỗng ε như văn phạm G. Để G' tương đương G, ta cần thêm luật sinh S → ε vào G'. 30 Luật sinh đơn vị Định lý 4: (loại bỏ luật sinh A → B) Mỗi CFL không chứa ε được sinh ra bởi CFG không có ký hiệu vô ích, không có luật sinh ε hoặc luật sinh đơn vị. Cách tìm: đặt L=L(G) là CFL không chứa ε và được sinh ra bởi văn phạm G(V, T, P, S). Theo định lý 3, ta có thể loại bỏ tất cả luật sinh ε trong G. Để loại bỏ luật sinh đơn vị, ta xây dựng tập P' mới theo giải thuật: For (mỗi biến A ∈ V) do Begin Tính ∆A = { B  B ∈ V và A ⇒* B } ; For (mỗi biến B ∈∆A) do For (mỗi luật sinh B → α thuộc P) do If (B → α không là luật sinh đơn vị) then Thêm luật sinh A→ α vào P' End ; Một luật sinh có dạng A → B với A, B đều là biến gọi là luật sinh đơn vị. 26/09/2011 6 31 Luật sinh đơn vị Ví dụ: loại bỏ luật sinh đơn vị trong văn phạm E → E + T  T T → T * F  F F → (E)  a Ta có: ∆E = {E, T, F} ⇒ thêm vào P' các luật sinh E → E + T T * F  (E)  a Tương tự: ∆T = {T, F} ⇒ thêm vào P' : T → T * F  (E)  a ∆F = {F} ⇒ thêm vào P' : F → (E)  a 32 Dạng chuẩn Chomsky (CNF) Chomsky Normal Form Một CFG được gọi là Chomsky Normal Form nếu mỗi luật sinh có một trong hai dạng sau: 1. A -> BC (right side is two variables). 2. A -> a (right side is a single terminal). ĐỊNH LÝ 5 : (Dạng chuẩn Chomsky, hay CNF ) Một ngôn ngữ phi ngữ cảnh bất kỳ không chứa ε đều được sinh ra bằng một văn phạm nào đó mà các luật sinh có dạng A → BC hoặc A → a, với A, B, C là biến còn a là ký hiệu kết thúc. 33 Dạng chuẩn Chomsky (CNF) Ví dụ: tìm văn phạm có dạng CNF tương đương văn phạm sau: S → A ABA A → aA  a  B B → bB  b Bước 1: ∆s = {S, A, B} , ∆A = {A, B} , ∆B = {B} S → aA  a  bB  b ABA A → aA  a  bB  b B → bB  b Bước 2: thay a bằng Ca và b bằng Cb trong các luật sinh có độ dài vế phải > 1: S → CaA  a  CbB  b ABA A → CaA  a  CbB  b B → CbB  b Ca → a Cb → b 34 Dạng chuẩn Chomsky (CNF) Bước 3: thay thế các luật sinh có độ dài vế phải > 2: S→ CaA  a  CbB  b AD1 A → CaA  a  CbB  b B → CbB  b Ca → a Cb → b D1 → BA 35 Dạng chuẩn Greibach (GNF) Định lý 6: mỗi CFL bất kỳ không chứa ε được sinh ra bởi một CFG mà mỗi luật sinh có dạng A → aα với A là biến, a là ký hiệu kết thúc và α là một chuỗi các biến (có thể rỗng) Đặt G là CFG sinh ra CFL không chứa ε Bước 1: xây dựng G' có dạng CNF tương đương G Bước 2: đổi tên các biến trong G' thành A1, A2, ..., Am (m ≥1 ) với A1 là ký hiệu bắt đầu. Đặt V = {A1, A2, ..., Am} Bước 3: thay thế luật sinh sao cho nếu Ai → Ajγ thì j > i • Nếu j<i : áp dụng bổ đề 3. Nếu i=j : áp dụng bổ đề 4 (giải thuật) • Trong P chỉ chứa các luật sinh dạng: Ai → Ajγ (j > i), Ai → aγ hoặc Bk → γ với γ ∈ (V ∪ {B1,B2, ...,Bi-1})* Bước 4: thay thế các Ai – luật sinh về đúng dạng (áp dụng bổ đề 3) Bước 5: thay thế các Bk – luật sinh về đúng dạng (bổ đề 3) 36 Dạng chuẩn Greibach (GNF) Giải thuật : (thay thế sao cho Ai→ Aiγ thì j > i) Begin (1) for k := 1 to m do begin (2) for j := 1 to k-1 do (3) forMỗi luật sinh dạng A k →A j α do begin (4) for Tất cả luật sinh A j → β do (5) Thêm luật sinh A k → βα; (6) Loại bỏ luật sinh A k →A j α end; (7) forMỗi luật sinh dạng A k →A k α do begin (8) Thêm các luật sinh B k →α và B k →αB k ; (9) Loại bỏ luật sinh A k →A k α end; (10) forMỗi luật sinh A k → β trong đó β không bắt đầu bằng A k do (11) Thêm luật sinh A k → βB k end; end; 26/09/2011 7 37 Dạng chuẩn Greibach (GNF) Ví dụ: tìm văn phạm có dạng GNF cho văn phạm G sau: A1 → A2A1A2A3 A2 → A3A1 a A3 → A2A2 b Bước 1: G thỏa CNF Bước 2: ta có V = {A1, A2, A3} Bước 3: ta cần sửa đổi luật sinh A3 → A2A2 • Áp dụng bổ đề 3: A3 → A3A1A2 aA2 A3 →A3A1A2 aA2  b • Áp dụng bổ đề 4, ta thu được tập luật sinh: A1 → A2A1A2A3 A2 → A3A1 a A3 → aA2  b  aA2B  bB B → A1A2A1A2B 38 Dạng chuẩn Greibach (GNF) Bước 4: A3 đã có dạng chuẩn. Thay thế A3 vào A2 : B → A1A2 A1A2B A3→ aA2  b  aA2B  bB A2→ aA2A1  bA1  aA2BA1  bBA1  a A1→ aA2A1A1  bA1A1  aA2BA1A1  bBA1A1  aA1 aA2A1A3  bA1A3  aA2BA1A3  bBA1A3  aA3 Bước 5: thay thế các Bk – luật sinh B → aA2A1A1A2  bA1A1A2  aA2BA1A1A2  bBA1A1A2  aA1A2 aA2A1A3A2  bA1A3A2  aA2BA1A3A2  bBA1A3A2  aA3A2  aA2A1A1A2B bA1A1A2B  aA2BA1A1A2B  bBA1A1A2B  aA1A2B aA2A1A3A2B  bA1A3A2B  aA2BA1A3A2B  bBA1A3A2B  aA3A2B 39 Bổ đề bơm cho CFL Bổ đề bơm: cho L là một CFL bất kỳ, tồn tại một số n chỉ phụ thuộc vào L sao cho nếu z ∈ L và |z| ≥ n thì ta có thể viết z=uvwxy sao cho: |vx| ≥ 1, |vwx| ≤ n và ∀i ≥ 0 ta có uviwxiy ∈ L Ví dụ: chứng minh L = {aibici | i ≥ 1} không là CFL • Giả sử L là CFL, khi đó tồn tại số n theo bổ đề bơm • Xét chuỗi z = anbncn, |z| ≥ n, ta có thể viết z=uvwxy thỏa bổ đề • Ta có: vwx ∈ anbncn, |vwx| ≤ n nên vwx không thể đồng thời chứa cả ký hiệu a và c (vì giữa a và c có n ký hiệu b) → vx cũng không thể chứa cả ký hiệu a và c. • Do |vx| ≥ 1 và trong uvwxy chứa số ký hiệu a, b, c bằng nhau: Nếu vx có chứa ký hiệu a (nên không thể chứa ký hiệu c) thì khi bơm chuỗi vx, số ký hiệu c sẽ không đổi (luôn là n), nhưng số ký hiệu a sẽ thay đổi. Ví dụ: chuỗi uv0wx0y ∉ L vì có số ký hiệu a (ít hơn n) số ký hiệu c (luôn là n) không bằng nhau. Nếu vx không chứa ký hiệu a thì khi bơm chuỗi vx, số ký hiệu a không đổi, nhưng số ký hiệu b (hoặc c) sẽ thay đổi. 40 Tính chất đóng của CFL Định lý 5.7: CFL đóng với phép hợp, phép kết nối và phép bao đóng Kleen. Định lý 5.8: CFL không đóng với phép giao Hệ quả: CFL không đóng với phép lấy phần bù 41 CÂU HỎI VÀ BÀI TẬP CHƯƠNG 04

Các file đính kèm theo tài liệu này:

chuong01_04_ltautomat_6206.pdf

Tài liệu liên quan

Bài giảng Cấu trúc dữ liệu và giải thuật - Chương 4 Nén dữ liệu
88 trang | Lượt xem: 2539 | Lượt tải: 2
Nhập môn công nghệ phần mềm - Chương 2: Xác định yêu cầu - Nguyễn Văn Danh
13 trang | Lượt xem: 835 | Lượt tải: 0
Kĩ thuật lập trình - Chapter 16: Graphical user interfaces
32 trang | Lượt xem: 958 | Lượt tải: 0
Lập trình hướng đối tượng - Chương 6: Cài đặt Interface
9 trang | Lượt xem: 639 | Lượt tải: 0
Giáo trình Phân tích & Thiết kế phần mềm hướng đối tượng - Chương 6: Các mẫu thiết kế che dấu hành vi, thuật giải trong đối tượng (Behavioral Patterns) - Nguyễn Văn Hiệp
43 trang | Lượt xem: 725 | Lượt tải: 1
Cấu trúc dữ liệu và giải thuật - Chương 6: Danh sách liên kết - Châu Thị Bảo Hà
99 trang | Lượt xem: 929 | Lượt tải: 0
Chương 4: Thiết kế phần mềm
24 trang | Lượt xem: 5180 | Lượt tải: 2
Tài l iệu html, dhtml và javascript
47 trang | Lượt xem: 2688 | Lượt tải: 1
Linux User Management - Ngô Bá Hùng
28 trang | Lượt xem: 718 | Lượt tải: 0
Development Process
13 trang | Lượt xem: 1826 | Lượt tải: 0