Ngôn ngữ hình thức và ôtômat chương 3

... ý A tr ng thái cu i m i thêm vào Chú thá thái vào 35 /61 35 /61 Chú ý A tr ng thái cu i m i thêm vào Chú thá thái vào 36 /61 36 /61 Bài t p Các ngôn ng quy chí \ Cho VP3 Gi nh sau : cá G1 { S bS | ... i nh t h ) có thá wB RG w RG } Nh v y L(G) ngôn ng c M th a nh n NNCQ 33 /61 33 /61 34 /61 34 /61 Ví d Ví d \ Cho VP3 G g m sx nh sau : cá { S \ Cho VP3 G g m sx nh sau : cá aS | bS...

Ngày tải lên: 01/08/2014, 22:20

... ng thá thái cu i nh t là h ) Nh v y L(G) là ngôn ng đ c M th a nh n và NNCQ 33 /61 33 /61 34 /61 34 /61 Ví d Ví d \ Cho VP3 G g m cá sx nh sau : \ Cho VP3 G g m cá sx nh sau : { S → aS | bS | abb ... A b Chú cu i m i thêm Chú ý A là tr ng thá th vvào thái 35 /61 35 /61 Chú cu i m i thêm Chú ý A là tr ng thá th vvào thái 36 /61 36 /61 Bài t p Các ngôn ng chí quy \ Cho NNCQ L, ta...

Ngày tải lên: 04/12/2015, 00:35

... )* vào R SX m i X cá v i m i Xj X1X2 Xk v i k>1 : X1X2 Xj-1 Xj+1 Xk j =1 k-1 =1 k- E Ngh a thêm vào R nh ng SX m i sau ã lo i b l n l (b A) t ký hi u có m t E có kh i R n G’ không -SX G’ cá 41 /65 ... th t ó u G4 { S aAS | a A nh lý : M t ngôn ng PNC n u ngôn ng ó c th a nh n b i m t ôtômat y xu ng L = L(M) = L(G) v i G VP2 M ô x là SbA | SS | ba } L(G4) = ? 25/65 25/65 26/65 26/65 Ng...

Ngày tải lên: 01/08/2014, 22:20

... ho c aaab Xây d ng DFA th a nh n ngôn ng cá cá R (2, 2, 2) +) R(1, 2, 2) R (2, 2, Các câu b ng ch R(1, 2, 3) = R(1, 2, 2) R(1, 2, 2) R (2, 2, 2) *R (2, 2, 2) R(1, 2, 2) ( Bi u di n nh phân s ch n cá u ... ôhh : cá M2 = (Q2, , 2, s2, F2), có L(M2) có \ XD ôhh M th a nh n L( ) = L( L( 1) L( 2) 2) t M1 M2 : Ghép hai ôtômat Ôtômat th a nh n a b a b M M1 a, b M1 Ôtômat th a...

Ngày tải lên: 01/08/2014, 22:20

... tính toán ôtômat tí toá NXB Khoa h c K thu t, Hà n i 19 92 Hà y xu ng (ô x) (ô x) Internet: tìm ki m Google.com.vn, wikipedia tì 11 /38 11 /38 12 /38 12 /38 Vài dòng l ch s Cantor (18 4 5 -1 918 ) Lý thuy ... Turing (19 1 2 -1 954) Các ngôn ng phi qui chí Alan Turing Alan Turing V n bi u di n ngôn ng Máy Turing McCulloch, Pitts M ng n -ron nhân t o Chomsky 13 /38 13 /38 14 /38...

Ngày tải lên: 01/08/2014, 22:20

... toán ôtômat NXB Khoa h c K thu t, Hà Hà n i 19 92 Internet: tì tìm ki m Google.com.vn, wikipedia 11 /38 11 /38 12 /38 12 /38 Vài dòng l ch s Cantor (18 45 -19 18) Lý thuy t t p h p Hilbert (18 62 -19 43) ... m t câu b t k Σ w (1) = a, , w(4) = b, , w (11 ) = a Returning 17 /38 17 /38 18 /38 18 /38 Các phé phép toá toán khác xâu Khá Khái ni m ngôn ng M t ngôn ng hình th c (nó...

Ngày tải lên: 04/12/2015, 00:34

... M2 = (Q2, Σ, 2, s2, F2), có có L(M2) = L(α L( 2) Ghép hai ôtômat \ XD ôhh M th a nh n L(α L(α) = L(α L(α1∪ 2) t M1 M2 : b Ôtômat th a nh n a∪b a b M M11 a, b M11 Ôtômat th a nh n a∪b M 22 M 22 ... ε∪a)(ε∪ R(1 ,2, k) b R(1 ,2, 1)∪ R(1 ,2, 1)∪R(1,1,1)R(1,1,1)*R(1 ,2, 1) R (2, 1,k) a R (2, 1,1)∪ R (2, 1,1)∪R (2, 1,1)R(1,1,1)*R(1,1,1) a∪a(ε∪ a)*(ε∪ ε∪a) a) a(ε∪a)*( R (2, 2,1)∪ R (2, 2,1)∪R (2...

Ngày tải lên: 04/12/2015, 00:35

... sinh w : Cách (dãy cá SX là 1 243 24) : S ⇒1 SS ⇒2 aSaS 4 aaS ⇒3 aabSb ⇒2 aabaSab 4 aabaab Cách (dãy cá SX là 13 242 4) : S ⇒1 SS ⇒3 SbSb ⇒2 SbaSab 4 Sbaab ⇒2 aSabaab 4 aabaab V.v \ S khác c a ... bD | b } 43 /65 43 /65 44 /65 44 /65 Lo i b s n xu t d ng A→ A→B Ví d lo i b SX d ng A→ A→B \ Cho VP PNC G = (N, ∑, R, S) có có ch a cá SX d ng A→ A→B u N u G có có s n xu t d ng A → B và...

Ngày tải lên: 04/12/2015, 00:35

... 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í dụ 4: L1 ... trình 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ày tải lên: 12/09/2012, 16:21