Bổ túc toán 5

... → ab • Áp dụng bổ đề 1: V' = {S, A, B, D} S → A A → aBb | ε B → A | cB D → ab • Áp dụng bổ đề 2: V' = {S, A, B} S → A A → aBb | ε B → A | cB 14 Luật sinh ε Định lý 5. 3: (loại bỏ luật ... SbASSba Một dẫn xuất của G: S ⇒ aAS ⇒ aSbAS ⇒ aabAS ⇒ aabbaS ⇒ aabbaa 1 3 6 10 2 5 9 4 7 8 11 S A b b a S a S A a a Định lý 5. 1: nếu G(V, T, P, S) là một CFG thì S ⇒* α nếu và chỉ nếu có...

Ngày tải lên: 06/07/2013, 01:25

... 1 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 Chương 1: 2 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 } 5 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: ... phép toán trên tập hợp Phần bù (complement): • A’ = { x | ‌‌x ∉ A } Phép hợp (...

Ngày tải lên: 06/07/2013, 01:25

... chuỗi w, ký hiệu w R , là chuỗi w được viết theo thứ tự ngược lại. w = abcd → w R = dcba ε R = ε 5 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 ... trên bộ chữ cái Σ 1 ∪ Σ 2 • LLL…LL = L i (kết nối i lần trên cùng ngôn ngữ L) • L 0 = {ε} Các phép toán trên ngôn ngữ L 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...

Ngày tải lên: 06/07/2013, 01:25

... ε-CLOSURE(δ(A, b)) = ε-CLOSURE( {5} ) = {1, 2, 4, 5, 6, 7} → C ● ε-CLOSURE(δ(B, a)) = ε-CLOSURE({3, 8}) → B ● ε-CLOSURE(δ(B, b)) = ε-CLOSURE( {5, 9}) = {1, 2, 4, 5, 6, 7, 9} → D ● ε-CLOSURE(δ(C, ... 8}) → B ● ε-CLOSURE(δ(C, b)) = ε-CLOSURE( {5} ) = → C ● ε-CLOSURE(δ(D, a)) = ε-CLOSURE({3, 8}) → B ● ε-CLOSURE(δ(D, b)) = ε-CLOSURE( {5, 10}) = {1, 2, 4, 5, 6, 7, 10} → E ● ε-CLOSURE(δ(E, a)) =...

Ngày tải lên: 06/07/2013, 01:25

... • Đảo ngược chuỗi vế phải cho tất cả mọi luật sinh của văn phạm vừa thu được 7 Bổ đề bơm cho tập hợp chính quy Bổ đề 4.1: nếu L là tập hợp chính quy thì có tồn tại hằng số n sao cho nếu z là ... 0 q 0 a 1 . . . a j q m q j =q k a k+1 . . a m a j+1 . . a k u v w q m 8 Bổ đề bơm cho tập hợp chính quy Ứng dụng của bổ đề bơm: dùng để chứng tỏ một tập hợp không là tập hợp chính quy Ví dụ:...

Ngày tải lên: 06/07/2013, 01:25

... automata không? automata đó như thế nào? Mô tả: gồm các thành phần của một automata hữu hạn với sự bổ sung thêm một ngăn xếp làm việc (Stack) 0 1 1 0 0 1 0 1 Y B R Bộ điều khiển 3 PDA Ví dụ: xét ... thái kết thúc Một ngôn ngữ được chấp nhận bởi PDA khi và chỉ khi nó là một ngôn ngữ phi ngữ cảnh. 5 PDA Định nghĩa: một PDA M là một hệ thống 7 thành phần M (Q, Σ, Γ, δ, q 0 , Z 0 , F) • Q : t...

Ngày tải lên: 06/07/2013, 01:25

... (1-2) ta có: q 0 0100 ⊢ Bq 1 100 ⊢ B1q 2 00 ⊢ Bq 3 110 ⊢ q 3 B110 ⊢ Bq 0 110 ⊢ BBq 5 10 ⊢ BBBq 5 0 ⊢ BBBBq 5 ⊢ BBBBq 6 Xét chuỗi nhập 0010 (2-1)ta có: q 0 0010 ⊢ B q 1 010 ⊢ B0q 1 10 ⊢ B01q 2 ... B0 m-1 1q 1 0 n 1 ⊢ B0 m-1 1q 5 0 n 10 n • Quay lại trạng thái bắt đầu: B0 m-1 1q 5 0 n 10 n ⊢ Bq 0 0 m-1 10 n 10 n • Chuẩn bị cho việc copy kế tiếp: B0 m-1 1q 5 0 n 10 n ⊢ B 2 0 m-2 1q 1...

Ngày tải lên: 06/07/2013, 01:25

Ngày tải lên: 16/09/2013, 22:10

... Chương I : Bổ túc toán Chương I BỔ TÚC TOÁN Nội dung chính : Trong chương này, chúng ta sẽ nhắc lại một cách khái quát các thuật ngữ và kiến thức toán học sẽ được dùng đến ... 3} } 1.2. Các phép toán trên tập hợp Các toán tử cơ bản trên tập hợp bao gồm các toán tử một ngôi (unary) và hai ngôi (binary) như sau : 2 Chương I : Bổ túc toán 1) Phép phần b...

Ngày tải lên: 27/04/2014, 01:38

... BỘ MÔN TOÁN ỨNG DỤNG - ĐHBK-------------------------------------------------------------------------------------TOÁN 1 HK1 0708•BÀI 4: VCBÉ – VCLỚN. LIÊN TỤC ... -----------------------------------------------------------------------------------------------------------------------------------2/ Chứng minh phương trình sau có ít nhất 1 nghiệm âmxx−= 151 / Tìm a, b để hàm số sau liên tục trên R...

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