Bổ túc toán 4
Bổ túc toán 4
... Đả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à một ... Một phép toán là đóng đối với tập chính quy khi áp dụng chúng vào tập hợp chính quy thì vẫn giữ được các tính chất của tập chính quy. Định lý 4. 3: tập hợp chính quy đóng với các phép toán...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 1
... tuần } 4 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 } 5 ... 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 ... phép toán trên tập hợp Phần bù (complement): • A’ = { x | x ∉ A } Phép hợp (Un...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 2
... 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 0 246 có các hậu tố 6, 46 , 246 , 0 246 4 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ứ ... 0 14 Ví dụ 1: văn phạm G( {S, A}, {a, b}, P, S ) Đây là văn phạm loại 3 (dạng tuyến tính phải) Một dẫn xuất từ S có dạng: S → aS → aaS → aaaA → aaabA → aaabbA → aaabbbA → aaabbbb = a 3 b...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 3
... chuỗi nhập w=01001 và NFA đã cho ở trên • M( {q 0 , q 1 , q 2 , q 3 , q 4 }, {0, 1}, δ, q 0 , {q 2 , q 4 } ) {q 4 }{q 4 }q 4 Ø{q 4 }q 3 {q 2 }{q 2 }q 2 {q 2 }Øq 1 {q 0 ,q 1 } {q 0 ,q 3 } q 0 10Trạng ... ε-CLOSURE(q 0 ) = {0, 1, 2, 4, 7} → q 0 ’ = [0, 1, 2, 4, 7] = A ● ε-CLOSURE(δ(A, a)) = ε-CLOSURE({3, 8}) = {1, 2, 3, 4, 6, 7, 8} → B ● ε-CLOSURE(δ(A, b)) = ε-CLOSURE({5}) = {1,...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 5
... AC | BCD D → 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: ... NewV' do begin (4) OldV' := NewV'; (5) NewV' := OldV' ∪ {A A → α với α ∈ (T ∪ OldV')* } end; (6) V' := NewV'; End; 12 Các ký hiệu vô ích Bổ đề 2: (loại...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 6
... S) = {(q, AA)} 2. δ(q, a, A) = {(q, S), (q, ε)} 3. δ(q, b, A) = {(q, S)} 14 Tương đương giữa PDA và CFL Định lý 6 .4: Nếu L được chấp nhận bởi một PDA chấp nhận chuỗi bởi Stack rỗng thì L là ... 1 và q 2 • Stack có 3 ký hiệu: xanh (B), vàng (Y) và đỏ (R) • Quy tắc thao tác trên automata: 4 PDA Các khái niệm: • Phân loại PDA: đơn định (DPDA) và không đơn định (NPDA) • Phép chuyển: có ... YR...
Ngày tải lên: 06/07/2013, 01:25
Bổ túc toán 7
... Bq 3 011 ⊢ q 3 B011 ⊢ Bq 0 011 ⊢ BBq 1 11 ⊢ BB1q 2 1 ⊢ BB11q 2 ⊢ BB1q 4 1 ⊢ BBq 4 1 ⊢ Bq 4 ⊢ Bq 6 0 q 0 start q 1 q 2 q 4 q 3 q 5 q 6 (0,B,R) (1,B,R) (0,0,R) (1,1,R) (1,1,R) (0,1,L) (0,0,L) (1,1,L) ... ⊢ XXYYq 3 ⊢ XXYYq 4 Ví dụ: thiết kế TM chấp nhận L = {0 n 1 n | n > 0} Đặt TM M(Q, Σ, Γ, δ, q 0 , B, F) với Q = {q 0 , q 1 , q 2 , q 3 , q 4 }, Γ = {0, 1, X, Y, B}, F = {q 4 }...
Ngày tải lên: 06/07/2013, 01:25
