... với văn phạm xác định sau: G = (Σ, N, S, Ρ) Trong đó: - Σ = Σ1 U Σ2 - N = Ν1 U N2 U {S} - P bao gồm P1 U P2, bổ sung thêm quy tắc sau: S2 [S → S1 ] S1 [S → S2 ] (1) (2) Giả s S1 ⇒* m (xâu m thuộc ... thức s học với phép to n nhân cộng chẳng hạn : a+b*c (1) a*(b+c*e) (2) Văn phạm thứ G1 có tập quy tắc P1 bao gồm: S S+ S |S* S| (S) S → a | b | c | Văn phạm thứ hai G2 có tập quy tắc P2 bao gồm: S T |S+ T ... Bill ask John to invite ei Từ điền vào chỗ trống chỗ trống khoảng cách xa so với câu - Đôi mối liên hệ bị ẩn Ví dụ tiếng Đức, ngưòi ta nói: Hansi Peterj Marie* schưimmen*lassenj sahi , (Hans saw...
Ngày tải lên: 15/05/2014, 10:30
... cảnh, với luật sinh có dạng A → β (⏐β⏐≥ 0), thay không đòi hỏi ngữ cảnh Thí dụ 8.1 : Xét CSG G (V, T, P, S) với V ={ S, B, C}, ∑ ={a, b, c} P gồm luật sinh sau : 1) S → aSBC 2) S → aBC 3) CB → ... lập R(i) ngừng sau k bước Và w ∈ L(G) có i ≤ k w ∈ R(i) Trong thí dụ trên, giả s ta xét | w |= 4, ta có: R(0) = { S } R(1) = {S, aSBC, aBC} R(2) = {S, aSBC, aBC, abC} R(3) = {S, aSBC, aBC, abC, ... đoạn thực luật sinh G sau: S1 → [a, q0⊄a$] S1 → [a, q0 ⊄ a ]S2 137 Chương VIII :Ôtômát tuyến tính giới nội văn phạm cảm ngữ cảnh S2 → [a, a ]S2 , S2 → [a,a$] ∀a ∈ Σ - {⊄, $} Các luật sinh G cho phép...
Ngày tải lên: 26/01/2015, 10:08
Văn phạm Anh ngữ cơ bản ( full )
... This is my book = This is mine Your teacher is the same as his teacher = Yours is as the same as his Her dress is green and my dress is red = Hers is green is green and mine is red Our books are ... s nhiều Các danh từ sau phải dùng dạng s nhiều Trousers shorts Jeans eyeglasses scissors- kéo pants- quần tongs - kẹp tweezers- nhíp pliers - kìm Ví dụ: The pants are in the drawer A pair of ... động từ sau: to order to ask to something smb not to something to tell to say Ví dụ: John told Mary to close the door Jack asked Jill to turn off the light The teacher told Christopher to open...
Ngày tải lên: 27/07/2013, 01:25
Chương 9: ôtômat pushdown và văn phạm phi ngữ cảnh
... Chương Ôtômat hữu hạn biểu thức quy Thuật to n tìm kí hiệu hữu sinh (xem thuật to n sau) : Proc Tạo_∆’ { ∆’ = ∅; loop = true; while (R ≠ ∅ and loop) { loop = false; for (r = A → α ∈ R) if α ∈ (Σ ∪ ... đến : Tương tự ta xây dựng dần tập ∆’ Σ’ chứa kí hiệu đến sau : ∆’ = {I}, Σ’ = ∅ Lặp : Xét tất luật dạng A → α, với A ∈ ∆’ (ví dụ A I) Bổ sung kí hiệu phụ α vào ∆’ kí hiệu kết thúc vào Σ’ Dừng hết ... minh : Để chứng minh ta trình bày cách thức loại λ-qui tắc mà ngôn ngữ sinh văn phạm không thay đổi Giả thiết ngôn ngữ L sinh văn phạm phi ngữ cảnh G = < Σ, ∆, I, R>, ta xây dựng G’ =
Ngày tải lên: 06/09/2013, 10:50
Báo cáo bài tập lớn automata về biến đổi NPDA sang văn phạm phi ngữ cảnh CFG
... dich string tam2 = tam.Substring(0, tam.LastIndexOf(">")-1); //Lay trang thai can chuyen den string tam3 = tam.Substring(tam.LastIndexOf(">")+1); string tam4 = tam3.Substring(0, tam3.IndexOf(",")); ... tam.Substring(2, tam.IndexOf(',') - 2); //Lay qj string tam2 = tam.Substring(tam.LastIndexOf(">") + 1); string qj = tam2.Substring(1, tam2.IndexOf(",")-1); //Lay ky tu chuyen a string kta = tam.Substring(tam.IndexOf(",") ... //Lay qi string qi = tam.Substring(2, tam.IndexOf(",")-2); //Lay qj string tam2 = tam.Substring(tam.LastIndexOf(">") + 1); 10 Đồ án Automata NNHT string qj = tam2.Substring(1, tam2.IndexOf(",")-1);...
Ngày tải lên: 27/03/2014, 10:59
Tiểu luận biến đổi NPDA sang văn phạm phi ngữ cảnh CFG trong automata
... //Lay qi String qi=tam.substring(2,tam.indexOf(",")); //Lay qj String tam2=tam.substring(tam.indexOf(">>")+2); String qj=tam2.substring(1,tam2.indexOf(",")); //Lay ky tu chuyen a String kta=String.valueOf(tam.charAt(tam.indexOf(",")+1)); ... (tam.endsWith(",~)")) { //Ham delta o dang 7.5 //Lay qi String qi=tam.substring(2,tam.indexOf(",")); //Lay qj String tam2=tam.substring(tam.indexOf(">>")+2); String qj=tam2.substring(1,tam2.indexOf(",")); ... String kta=String.valueOf(tam.charAt(tam.indexOf(",")+1)); //Lay bien dinh Stack A String bentrai_npda=tam.substring(0,tam.indexOf(">>")); String bienA=bentrai_npda.substring(bentrai_npda.lastIndexOf(",")+1,...
Ngày tải lên: 27/03/2014, 11:01
Văn phạm phi ngữ cảnh
... phạm G( {S, A}, {a, b}, P, S} , với P gồm: S → aASa A → SbASSba Một dẫn xuất G: S ⇒ aAS ⇒ aSbAS ⇒ aabAS ⇒ aabbaS ⇒ aabbaa S a S a A S b b A a a 10 11 Định lý 5.1: G(V, T, P, S) CFG S ⇒* α có ... 2: V' = {S, A, B} S A A → aBb | ε B → A | cB 13 Luật sinh ε Định lý 5.3: (loại bỏ luật sinh A → ε) Cho CFG G(V, T, P, S) L ngôn ngữ sinh G Khi L – {ε} ngôn ngữ sinh CFG G'(V, T, P', S) ký hiệu ... luật sinh S → ε vào G' Luật sinh đơn vị Định lý 5.4: (loại bỏ luật sinh A → B) Mỗi CFL không chứa ε sinh CFG ký hiệu vô ích, luật sinh ε luật sinh đơn vị Cách tìm: đặt L=L(G) CFL không chứa ε sinh...
Ngày tải lên: 13/05/2014, 10:12
Bài giảng Automata và ngôn ngữ hình thức - Chương 5: Văn phạm phi ngữ cảnh ppt
... diễn d ưới d ạng Backus - Naur Form - BNF) ::= + ::= * ::= ( ) ::= ... University n A2m w4 wn 6/27/14 5.2 Dẫn xuấấ, cấy dẫn xuấấ CFG CFL t t 13 Ví dụ 5.3: Cho văn phạm G({a, b}, {S, A}, P, S} , với P gôề : m S aAS; A→SbA ; A→SS; S a; A→ba Xét chuỗi: S → aAS → aSbAS ... n ● Ví dụ 5.1: G=({a, b}, {S, A, B}, P, S) với P gôề luật sinh: m S → AB A → aAa B → bBb Ví dụ 5.2: Xét văn phạm G = ({a, b}, {S} , S , P), đó: S → aSb S → ab Automata ngôn ngữ hình thức -...
Ngày tải lên: 27/06/2014, 03:20
Văn phạm phi ngữ cảnh
... X1,X2, Xk X→X1X2…Xk phải s n xuất P Nguyễn Phương Thái - Coltech - Compiler 2009 22/10/14 23 Ví dụ: Cho VPPNC G =({a, b}, {S, A}, P, S) P gồm: S aAS | a, A→ SbA|SS|ba Kết quả: xâu aabbaa 22/10/14 ... - Coltech - Compiler 2009 22/10/14 27 S+ S |S* S|( S) |a S 22/10/14 Nguyễn Phương Thái - Coltech Compiler 2009 28 Viết lại văn phạm để không nhập nhằng S dụng qui tắc xử lý nhập nhằng Nguyễn ... nghĩa suy dẫn (derivation): Cho văn phạm G = (Σ, ∆ , P, S) trên, ta gọi suy dẫn trực tiếp quan hệ hai ký hiệu ⇒ tập V* αβγ xâu thuộc V* β→δ s n xuất P, αβγ ⇒ αδγ Suy dẫn k bước ⇒k Xâu α suy dẫn...
Ngày tải lên: 22/10/2014, 19:08
Văn phạm phi ngữ cảnh tương ứng với một máy nhận PDA và sự phân tích cú pháp (BÁO CÁO TIỂU LUẬN MÔN LÝ THUYẾT TÍNH TOÁN)
... System.Collections.Generic; using System.ComponentModel; using System.Data; using System.Drawing; using System.Text; using System.Windows.Forms; using System.Collections; namespace WindowsApplication1 Trang ... // sinh mot cap chuoi co dai y st1 = radomString(len); st2 = radomString(len); while (st2 == st1) st2 = radomString(len); //System.Console.WriteLine(st1 + "&&" + st2); this.lstKetqua.Items.Add(""+(i+1)+": ... void Main(string[] args) { //DoubleString(20); //System.Console.WriteLine(radomString(2) + "&&" + radomString(2)); StringS(20); //NSentenceStart(100); System.Console.ReadLine(); }*/ //sinh mot...
Ngày tải lên: 11/11/2014, 15:32
Ebook văn phạm anh ngữ căn bản phần 1 bùi gia tuân
... từ ngoại trừ : sugar, sure : đứng từ, không đứng nguyên âm Ex: most, translate, fast, last, Ngoại lệ: cosmic, dessert, dissol, scissors, posess, posession ( cải ), husband s → s : nằm cuối từ ... us, bus, plus, crisis, this, basic, 2, a, s → z :nằm từ, đứng nguyên âm, ngoại trừ đứng trước “ u, ca, io” : lose, these, raise, rise, rose, season, Ngoại lệ: case, loose, goose, base, basin ... be + too adj for sb to V Ex: the weather is too bad for us to go on picnic Note: S ầu trùng Scuối bỏ Scuối Ex1: the shoes are very small I can’t put my feet into them → the shoes are too small...
Ngày tải lên: 23/04/2015, 16:41
Ebook văn phạm anh ngữ căn bản phần 2 bùi gia tuân
... “ let s stop working” → He suggested stopping working Ex : he said: “ let s sell the house, Lan” Lan said: “ No, let s not” → He suggested selling the house but Lan was against → He suggested ... trousers savings: tiền tiết kiệm jeans earnings: tiền kiếm s ng tights greens: rau nói chung breeches gounds: đất đai, vườn tược paints cutshirts: ngoại ô shorts surroundings pyjamas pains bins riches ... leaves sheaf → sheaves Loas → loaves wife → wives Self → selves life → lives Shelf → shelves knife → knives c) Những danh từ sau tận = “f” biến đổi thông thường thêm s thay f → ves Ex: hoof →...
Ngày tải lên: 23/04/2015, 16:41
VĂN PHẠM ANH NGỮ CĂN BẢN 2002
... từ ngoại trừ : sugar, sure : đứng từ, không đứng nguyên âm Ex: most, translate, fast, last, Ngoại lệ: cosmic, dessert, dissol, scissors, posess, posession ( cải ), husband s → s : nằm cuối từ ... us, bus, plus, crisis, this, basic, 2, a, s → z :nằm từ, đứng nguyên âm, ngoại trừ đứng trước “ u, ca, io” : lose, these, raise, rise, rose, season, Ngoại lệ: case, loose, goose, base, basin ... be + too adj for sb to V Ex: the weather is too bad for us to go on picnic Note: S ầu trùng Scuối bỏ Scuối Ex1: the shoes are very small I can’t put my feet into them → the shoes are too small...
Ngày tải lên: 22/05/2015, 07:51
Bài giảng toán giải tích chương 5 văn phạm phi ngữ cảnh
... phạm G( {S, A}, {a, b}, P, S} , với P gồm: S aASa A SbASSba Một dẫn xuất G: S aAS aSbAS aabAS aabbaS aabbaa S a S A A S b b 10 a a a 11 Định lý 5.1: G(V, T, P, S) CFG S * có ... 2: V' = {S, A, B} S A A → aBb | ε B → A | cB 13 Luật sinh ε Định lý 5.3: (loại bỏ luật sinh A ε) Cho CFG G(V, T, P, S) L ngôn ngữ sinh G Khi L – {ε} ngôn ngữ sinh CFG G'(V, T, P', S) ký hiệu ... luật sinh S ε vào G' Luật sinh đơn vị Định lý 5.4: (loại bỏ luật sinh A B) Mỗi CFL không chứa ε sinh CFG ký hiệu vô ích, luật sinh ε luật sinh đơn vị Cách tìm: đặt L=L(G) CFL không chứa ε sinh...
Ngày tải lên: 25/04/2016, 10:52