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

... n -1 quy tắc P dạng A→aS Khi ta có: 17 S 1 a1S 1 2’a2S … 1 2…ωn -1 an-1S 1 2…ωn -1 n = ω, đây, ωi =ωi’ai Như vậy, tồn quy tắc A1→a1S, A2→a2S, …, An -1 an-1S P’ tồn quy tắc A1→a1, A2→a2, …, An -1 an -1 ... 010 1, 10 0, 10 10} Do L1 ∪ (L2L3) ≠ (L1 ∪ L2)(L1 ∪ L3) tức phép hợp tính phân phối phép ghép L2 ∩ L3 = ∅, L1(L2 ∩ L3) = ∅, L1L2 = {0 01, 010 , 010 1, 011 0}, L1L3 = {00, 010 }, (L1...

Ngày tải lên: 23/07/2014, 02: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

... biểu mà ngôn ngữ lập trình cổ điển có Mở rộng ngôn ngữ (language extension) Bộ tiền xử lý tăng khả cho ngôn ngữ số macro nội Thí dụ ngôn ngữ Equel ngôn ngữ hỏi đáp với sở liệu nhúng vào ngôn ngữ ... từ ngôn ngữ sang ngôn ngữ khác 5. 2 TRÌNH BIÊN DỊCH Trình biên dịch chương trình dùng để đọc chương trình viết ngôn ngữ lập trình gọi ngôn ngữ nguồn...

Ngày tải lên: 23/07/2014, 02:20

... 4. 3.6 Định lý: Một ngôn ngữ hình thức loại đệ quy đếm Điều có nghĩa lớp ngôn ngữ hình thức loại lớp ngôn ngữ đệ quy đếm 4. 3.7 Chú ý: Nhờ vào Định lý 4. 3 .4, ta thấy có ngôn ngữ đệ quy đếm không ... Phi ngữ cảnh, e) Cảm ngữ cảnh, f) Đệ quy hay không vấn đề không giải thuật toán 4. 3.10 Định lý: Mọi ngôn ngữ cảm ngữ cảnh ngôn ngữ đệ quy 4. 3.11...

Ngày tải lên: 23/07/2014, 02:20

... rỗng, ta có: P1 ⊂ P2 (theo Định lý 3. 2.7), P2 ⊂ P3 (theo Định lý 3. 2.8), P3 ⊂ P1 (theo Định lý 3. 2.9) Vì vậy, P1=P2=P3 58 BÀI TẬP CHƯƠNG III: Cho văn phạm phi ngữ cảnh: G=

Ngày tải lên: 23/07/2014, 02:20

... 1) ω=a1a2 …an∈L(G): ω≠ε tồn suy dẫn: q0 a1p1 a1a2p2 … a1a2…an-1pn-1 a1…an-1an=ω Do q0→a1p1, p1→a2p2, …, pn-1→an-1pn-1, pn-1→an∈P hay ta có p1=δ(q0, a1), p2=δ(p1, a2), …, pn-1=δ(pn -2 , an-1), pn∈F ... A1∈δ(S, a1), A2∈δ(A1, a2), …, An-1∈δ(An -2 , an-1), E∈δ(An-1, an) Từ ta có S→a1A1, A1→a2A2, …, An-1→an∈P hay G có suy dẫn S a1A1 a1a2A2 … a1a2…an-1An-1 a1…an-1an=ω Vì ω∈L Thí dụ 6: Cho ngôn n...

Ngày tải lên: 23/07/2014, 02:20

... tính đắn ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết cấu trúc liệu lý thuyết sở liệu Lý thuyết ngôn ngữ hình thức ôtômat đóng vai trò quan trọng sở toán học tin học Ngôn ngữ hình thức sử dụng ... dựng ngôn ngữ lập trình, lý thuyết chương trình dịch Các ngôn ngữ hình thức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin và...

Ngày tải lên: 23/07/2014, 02:20

... )* 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

... ý 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

... 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

... 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

... 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

... 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