phần i ngôn ngữ hình thức văn phạm và ôtômat

... Chu i rỗng: ký hiệu ε, chu i ký hiệu |ε| = Chu i con: chu i v chu i w v tạo ký hiệu liền kề chu i w Ví dụ: chu i 10 chu i chu i 010001 Chu i tiền tố: chu i nằm đầu chu i Ví dụ: chu i 010 chu i tiền ... lo i 2: (văn phạm phi ngữ cảnh) văn phạm có luật sinh dạng A→α v i A biến đơn α chu i ký hiệu thuộc (Σ Δ)*; Văn phạm lo i 3: (văn phạm quy) có luật sinh dạng tuyến tính ph i tuyến tính tr i Trong ... Khi hai trạng th i cho thấy phân biệt, có l i g i chu i đệ quy DIST để thiết lập D [i, j]=1 L i g i DIST (i, j) không đánh dấu qi qj phân biệt , đánh dấu cặp trạng th i qm,qn (v i [m,n] thuộc S [i, j])...

Ngày tải lên: 30/12/2015, 14:44

... xây dựng văn phạm G5 cho L(G5) = L(G2) L(G3) 27 Cho văn phạm Gi = (i = 3) v i : R1 v i tập qui tắc I II | a | b R2 v i tập qui tắc I IaI | b R3 v i tập qui tắc I aII | b a Hãy ... aIb | c G2 v i tập qui tắc I II | a | b G3 v i tập qui tắc I aA | bB | c , A Ia, B Ib G4 v i tập qui tắc I AB, A Ic | a, B dB | b G5 v i tập qui tắc I IaI | b G6 v i tập qui tắc I aII ... L i gi i : L1 L2 a {1, | * } b II văn phạm hình thức ngôn ngữ sinh Xây dựng văn phạm G = sinh ngôn ngữ sau : a b {} c {a1a2 an} d + e * Tìm ngôn ngữ đợc sinh văn phạm G =

Ngày tải lên: 06/09/2013, 10:48

... | Ib | aIb | c b G2 vi qui tc I II | a | b c G3 vi qui tc I aA | bB | c , A Ia, B Ib d G4 vi qui tc I AB, A Ic | a, B dB | b e G5 vi qui tc I IaI | b f G6 vi qui tc I aII | b g G7 vi ... I aII nờn xõu sinh bi I phi bt u l a, mt khỏc tt c cỏc xõu trung gian u phi kt thỳc bi II nờn xõu sinh bi I phi kt thỳc bi bb Ngoi vi mi I sinh aII nờn s cú thờm kớ t l aI, nu I thay thnh b thỡ ... I, bIa I abbaabab cú dn xut I, aIb I bbaaba cú dn xut I, bIa I baab cú dn xut I, II I ba cú dn xut I, ba I ab cú dn xut I, ab Túm li ta cú dn xut cui cựng l : I bIa baIba babIaba...

Ngày tải lên: 06/09/2013, 10:50

... Cho văn phạm : G1 v i tập qui tắc I aI | Ib | aIb | c G2 v i tập qui tắc I II | a | b G3 v i tập qui tắc I aA | bB | c , A Ia, B Ib G4 v i tập qui tắc I AB, A Ic | a, B dB | b G5 v i tập ... tập qui tắc I IaI | b G6 v i tập qui tắc I aII | b G7 v i tập qui tắc I AA , A aAa | bAb | c Hãy tìm L(Gi) (i = 7) g i tên ngôn ngữ theo phân lo i Chomsky 11 Xây dựng văn phạm sinh ngôn ngữ ... dựng văn phạm G5 cho L(G5) = L(G1) L(G2) L(G3) 26 Cho văn phạm Gi = (i = 3) v i : B i tập Toán học r i rạc R1 = {I1 aI1b | ba } ; R2 = {I2 aI2b | I2 c | ba } ; R3 = {I3 aI3b...

Ngày tải lên: 06/09/2013, 10:51

... L1 L2 hai ngôn ngữ sinh văn phạm o phép toán lớp ngôn ngữ Nếu L1 o L2 ngôn ngữ sinh văn phạm ta n i lớp ngôn ngữ văn phạm sinh đóng phép toán o 1.3.2 Định lý: Lớp ngôn ngữ sinh văn phạm đóng ... lớp văn phạm tổng quát rộng nhất, chứa đựng văn phạm cảm ngữ cảnh, lớp văn phạm cảm ngữ cảnh chứa văn phạm phi ngữ cảnh lớp văn phạm phi ngữ cảnh chứa văn phạm quy Hệ thống lớp văn phạm g i phân ... 1.1.6 Định nghĩa: M i tập Σ* g i ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, g i ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí...

Ngày tải lên: 23/10/2013, 14:20

... L1◦L2 ngôn ngữ sinh văn phạm ta n i lớp ngôn ngữ văn phạm sinh đóng phép toán ◦  Lớp ngôn ngữ sinh văn phạm đóng hầu hết phép toán ngôn ngữ  Lớp ngôn ngữ sinh văn phạm đóng phép nhân ghép ngôn ngữ ... Don Technical University B i Văn phạm ngôn ngữ hình thức 2.1 Ngôn ngữ 2.1.1 Các kh i niệm 2.1.2 Các phép toán từ 2.1.3 Các phép toán ngôn ngữ 2.2 Văn phạm 2.2.1 Văn phạm kh i niệm liên quan 2.2.2 ... B i Văn phạm ngôn ngữ hình thức 30 2.1 Ngôn ngữ 2.1.1 Các kh i niệm 2.1.2 Các phép toán từ 2.1.3 Các phép toán ngôn ngữ 2.2 Văn phạm 2.2.1 Văn phạm kh i niệm liên quan 2.2.2 Phân lo i văn phạm...

Ngày tải lên: 13/05/2014, 09:59

... ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University 6/27/14 5.1 Kh i niệm văn phạm phi ngữ cảnh  Văn phạm lo i – Văn phạm phi ngữ cảnh (CFG – Context-Free Grammar): văn phạm ... không th ể u i đặc tả Automata ngôn ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University 6/27/14 5.1 Kh i niệm văn phạm phi ngữ cảnh  Nhăấ l i kh i niệm: Văn phạm G săấ thứ ... tính chấấ văn phạm phi ngữ cảnh t Automata ngôn ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University 6/27/14 5.1 Kh i niệm văn phạm phi ngữ cảnh  Ví dụ: ngôn ngữ lập trình...

Ngày tải lên: 27/06/2014, 03:20

... hiệu không kết thúc (đ i khi, ta g i chúng qui tắc luật viết l i) Automata ngôn ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University 4.1 Kh i niệm văn phạm quy  Phân lo i ... (tr i giả thiết) Automata ngôn ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University B i Văn phạm quy 22 4.1 Văn phạm quy 4.2 Sự tương đương RG FA 4.2.1 Gi i thuật biến đ i ... ký hiệu RE g i RS Automata ngôn ngữ hình thức - ©copyright by PhD C.T.Ha, Le Quy Don Technical University 4.1 Kh i niệm văn phạm quy  Ví dụ 4.1: Ví dụ văn phạm quy:  Văn phạm tuyến tính phải...

Ngày tải lên: 27/06/2014, 03:20

... Don Technical University B i Văn phạm ngôn ngữ hình thức 2.1 Ngôn ngữ 2.1.1 Các kh i niệm 2.1.2 Các phép toán từ 2.1.3 Các phép toán ngôn ngữ 2.2 Văn phạm 2.2.1 Văn phạm kh i niệm liên quan 2.2.2 ... Don Technical University B i Văn phạm ngôn ngữ hình thức 2.1 Ngôn ngữ 2.1.1 Các kh i niệm 2.1.2 Các phép toán từ 2.1.3 Các phép toán ngôn ngữ 2.2 Văn phạm 2.2.1 Văn phạm kh i niệm liên quan 2.2.2 ... Technical University 2.2.4 Tính đóng lớp ngôn ngữ sinh VP 37  Giả sử L1 L2 hai ngôn ngữ sinh văn phạm, “◦” phép toán lớp ngôn ng ữ, N ếu L1◦L2 ngôn ngữ sinh văn phạm ta n i lớp ngôn ng ữ văn phạm...

Ngày tải lên: 27/06/2014, 03:20

... Chương Văn phạm ngôn ngữ hình thức  … Các cách biểu diễn m i tương quan chúng v i n i dung trình bày chương chương sau II VĂN PHẠM VÀ NGÔN NGỮ SINH B I VĂN PHẠM Định nghĩa văn phạm Định nghĩa : Văn ... (nếu I  I1 ) 2 (nếu I  I2 ) Ngược l i  sinh I1 I2 dẫn xuất G kết hợp v i I  I1 I  I2 Chương Văn phạm ngôn ngữ hình thức  Tương tự v i phép nhân ghép I1 đảm nhận việc sinh xâu 1 I2 sinh xâu ... Văn phạm ngôn ngữ hình thức Định nghĩa : Hai văn phạm g i tương đương chúng sinh ngôn ngữ, tức G G’ tương đương L(G) = L(G’) III PHÂN LO i VĂN PHẠM CỦA CHOSMKY Định nghĩa : Các lo i văn phạm...

Ngày tải lên: 05/06/2016, 09:13

... kh i niệm máy Turing, tiên đề Turing, ngôn ngữ đệ qui kể , ngôn ngữ đệ qui, ngữ pháp không gi i hạn, ngữ pháp cảm ngữ cảnh 8.12/ Hiểu liên hệ ngữ pháp không gi i hạn ngôn ngữ đệ qui kể Hiểu liên ... pháp qui, chuyển ngữ pháp qui sang dfa + Biểu thức qui + Biểu thức qui ngôn ngữ qui + Ngữ pháp qui + Ngữ pháp qui ngôn ngữ qui Tóm tắt PPGD: + Thuyết trình + Thảo luận nhóm B/ Các n i dung cần tự ... Turing( 9/0/18) A/ Tóm tắt ND PPGD lớp: (9) N i Dung (ND) lớp: + Máy Turing + Tiên đề Turing + Ngôn ngữ đệ qui kể ngôn ngữ đệ qui + Ngữ pháp không gi i hạn + Ngữ pháp không gi i hạn ngôn ngữ...

Ngày tải lên: 12/05/2014, 20:50

... nghĩa ngôn ngữ học tốt TAG hình thức văn phạm 1.2 Văn pha ̣m TAG Văn phạm kết n i (Tree Adjoining Grammar - TAG) hệ hình thức viết l i dạng cây, đưa nửa cu i thập kỷ 80 Khác v i văn phạm phi ngữ ... #REQUIRED #REQUIRED> phần  Văn phạm TAG có khả biểu diễn mạnh văn phạm phi ngữ cảnh Tất văn phạm phi ngữ cảnh chuyển thành TAG, i u ngược l i không Học viên: Khuất Thị Thủy 15 Luận văn tốt nghiệp  Văn phạm...

Ngày tải lên: 08/01/2015, 08:31

Ngày tải lên: 09/08/2012, 23:24

... tương ứng biểu thức quy Σ biểu diễn ngôn ngữ R, S (r+s) biểu thức quy biểu diễn ngôn ngữ R∪S, (rs) biểu thức quy biểu diễn ngôn ngữ R.S (r*) biểu thức quy biểu diễn ngôn ngữ R* Trong biểu thức quy, ... L1 L2 hai ngôn ngữ sinh văn phạm o phép toán lớp ngôn ngữ Nếu L1 o L2 ngôn ngữ sinh văn phạm ta n i lớp ngôn ngữ văn phạm sinh đóng phép toán o 1.3.2 Định lý: Lớp ngôn ngữ sinh văn phạm đóng ... bày văn phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng th i đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngo i ra, giáo trình giới...

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

... dụng lo i 1; việc lo i bỏ luật sinh-đơn vị sinh luật sinh vô dụng lo i 2; việc lo i bỏ luật sinh vô dụng lo i sinh luật sinh vô dụng lo i 25 Hãy lo i bỏ đồng th i luật sinh-rỗng, luật sinh-đơn ... Chứng minh văn phạm sau cho ngôn ngữ L = {w: na(w) = nb(w)} không văn phạm LL: S → aSbbSaSSλ Tìm văn phạm LL cho ngôn ngữ sau (chỉ k bao nhiêu) dựa vào tính chất họ văn phạm phân tích chu i cho ... biến đ i văn phạm sau sang văn phạm- s tương ứng: G1: S → aSb|aAb G2: S → aSb | aab A → bAa|ba Dựa vào đặc i m văn phạm- s phân tích chu i w = aabbaabb có sinh văn phạm G1 hay không 23 Chứng minh...

Ngày tải lên: 13/10/2012, 09:16

... kh i niệm (tt) Cho chu i w = uv Tiếp đầu ngữ (prefix) u g i tiếp đầu ngữ w Tiếp vĩ ngữ (suffix) v g i tiếp vĩ ngữ w Chiều d i chu i w Là số kí hiệu chu i, kí hiệu |w| Chu i trống (empty string) ... Tin B i tập văn phạm Mô tả toán học cho ngôn ngữ Ngôn ngữ L1 bao gồm chu i từ khóa begin, end ngôn ngữ Pascal Các chu i biểu diễn cấu trúc lồng cặp từ khóa chương trình ngôn ngữ Pascal Ngôn ngữ ... N I DUNG MÔN HỌC Chương Chương Chương Chương Chương Chương Gi i thiệu lý thuyết tính toán Ôtômát hữu hạn Ngôn ngữ qui văn phạm qui Các tính chất ngôn ngữ qui Ngôn ngữ phi ngữ cảnh Đơn giản...

Ngày tải lên: 13/10/2012, 09:16

... a | b B → AB Biến đ i G thành G’ tương đương có dạng chuẩn Greibach theo gi i thuật học cách lo i bỏ luật sinh đệ qui tr i cho biến A g i Z biến sinh từ việc lo i bỏ đệ qui tr i Dành cho câu ... Cho văn phạm G sau 17 Sau lo i bỏ luật sinh - λ theo gi i thuật học, biến S có luật sinh (hay S có vế ph i) (A) (B) (C) (D) (E) Tất sai 18 Sau lo i bỏ luật sinh - λ theo gi i thuật học, văn phạm ... Mâu thuẫn Vậy L không phi ngữ cảnh 36 Trong lập luận chứng minh chỗ sai có (A) Sai [1] (B) Sai [2] (C) Sai [3] Trang (D) Sai [4] (E) Không có chỗ sai 37 Ngôn ngữ sau phi ngữ cảnh (B) {wcwR: w ∈...

Ngày tải lên: 13/10/2012, 09:16

... Nghip KS2-K7 GII THIU GII THIU TI Yờu cu ca ti l : Xõy dng b cụng c thc hin mt s gii thut mụn hc ngụn ng hỡnh thc v Automata. Ngoi cỏc gii thut bin i phm, trung vo nghiờn cu v hin thc hai gii ... 3:Vit li phm cho tt c cỏc lut sinh cú mt cỏc dng sau: Ai -> Ajxj vi j > i Zi -> Ajxj vi j i Ai -> axi Trong ú a T v xi (V T)*, cũn Zi l cỏc bin mi s dng loi b qui tr i Bc 4: sau thc hin ... thi i bc cho mi trng th i nú x lý bi vỡ nú phi thờm f trng th i ti If, trng th i c tr tr li thc hin tỏc v complete Do ú mt i2 bc Ii (d) Tớnh tng I = 0, , n+1 ca i2 ta c n3 Vy phc ca gii...

Ngày tải lên: 14/03/2013, 11:56

... Nghip KS2-K7 GII THIU GII THIU TI Yờu cu ca ti l : Xõy dng b cụng c thc hin mt s gii thut mụn hc ngụn ng hỡnh thc v Automata. Ngoi cỏc gii thut bin i phm, trung vo nghiờn cu v hin thc hai gii ... 3:Vit li phm cho tt c cỏc lut sinh cú mt cỏc dng sau: Ai -> Ajxj vi j > i Zi -> Ajxj vi j i Ai -> axi Trong ú a T v xi (V T)*, cũn Zi l cỏc bin mi s dng loi b qui tr i Bc 4: sau thc hin ... thi i bc cho mi trng th i nú x lý bi vỡ nú phi thờm f trng th i ti If, trng th i c tr tr li thc hin tỏc v complete Do ú mt i2 bc Ii (d) Tớnh tng I = 0, , n+1 ca i2 ta c n3 Vy phc ca gii...

Ngày tải lên: 15/03/2013, 10:20