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

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 1 ppt

... 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 }, (L1L2) ∩ (L1L3) = { 010 } ... ngôn ngữ bảng chữ Σ = {0, 1} : L1 = {0, 01} , L2 = { 01, 10 }, L3 = {0} L2L3 = { 010 , 10 0}, L1 ∪ (L2L3) = {0, 01, 010 , 10 0}, L1 ∪ L2 = {0, 01, 10 }, L1 ∪ L3 = {0, 01} , (L1 ∪ L2)(L1 ∪ L3) = {00, 0 01, 010 ,...

Ngôn ngữ hình thức và Ôtômat - Chương 1 ppt

... 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 14 /38 Mô hình toán h c mô t ngôn ... w m t câu b t k nv w (1) = a, , w(4) = b, , w (11 ) = a Returning 17 /38 17 /38 18 /38 18 /38 Các phép toán khác xâu phé toá Khái ni m ngôn ng Khá M t ngôn ng hình th c (nói g n ngôn ng ) : (nó Cho câu...

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

... 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ó (nói g n ngôn ng ) : Cho cá ... Turing (19 12 -19 54) Bi u th c chí qui (BTCQ) Các ngôn ng phi chí qui Alan Alan Turing 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 14 /38...

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps

... 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 (source language) dịch chương trình sang chương ... (cuối ngôn ngữ máy) Ngữ nghĩa ngôn ngữ phép ánh xạ kết hợp cấu trúc cú pháp câu nhập vào với chuỗi ký hiệu ngôn ngữ đó, mà ta gọi nghĩa câu nguyên thuỷ (câu nhập vào) Đặc tả ngữ nghĩa ngôn ngữ...

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps

... 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 Định lý: Tồn ngôn ngữ đệ quy mà không ngôn ngữ ... toán ngôn ngữ hình thức mô tả đệ quy Sau ta nghiên cứu vài tính chất ngôn ngữ đệ quy đệ quy đếm Việc chứng minh tính chất phức tạp nên ta không sâu vào chi tiết 4. 3.2 Định lý: Phần bù ngôn ngữ...

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 3 pdf

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

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot

... 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 ngữ L={ωabnab ... {ε} 2) ω=a1a2 …an∈L \ {ε}: Tồn dãy trạng thái p1, p2, …, pn cho δ(q0, a1)=p1, δ(p1, a2)=p2, …, δ(pn -2 , an-1)=pn-1, pn∈F Do q0→a1p1, p1→a2p2, …, pn-1→an-1pn-1, pn-1→an∈P hay q0 a1p1 a1a2p2 … a1a2…an-1pn-1...

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương mở đầu pot

... 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ào-ra lẫn kiểu thao tác Lý thuyết ngôn ngữ hình thức, ... tả hình thức văn phạm phát sinh nhiều ngành khoa học khác từ ngôn ngữ học đến sinh vật học Do khía cạnh thích hợp lý thuyết ngôn ngữ hình thức có tầm quan trọng định giáo trình Lý thuyết ngôn ngữ...

Ngôn ngữ hình thức và Ôtômat - Chương 4 pot

... )* 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ôn ng L1 ... c v a ghi nh A, B vào DS X A, B DS X vào a, b ã c a, b ã c q , Z| sabbaZ p, b, B p, b, B| p , Z| b, |A , Z| 23/65 23/65 24/ 65 24/ 65 Ví d VP2 \D \ Các ngôn ng th a nh n b i ôtômat y xu ng có th...

Ngôn ngữ hình thức và Ôtômat - Chương 3 pps

... ý 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 | abb } { S \ ... ây, xé cá tí 37 /61 37 /61 38 /61 38 /61 Phép h p c a hai NNCQ L1 L2 Phé Các tính ch t c a ngôn ng quy tí chí \ Cho hai NNCQ L1 L2 \ Cho hai NNCQ L1 L2 \ Ta có tính ch t sau ây : có Các ngôn ng c t...

Ngôn ngữ hình thức và Ôtômat - Chương 2 potx

... 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 nh n a b M2 M2 a a Ôtômat th ... ( a)( a)*( a)( a)*b R(1 ,2, k) b R(1 ,2, 1) R(1,1,1)R(1,1,1)*R(1 ,2, 1) b ( R (2, 1,k) qj2 a R (2, 1,1) R (2, 1,1)R(1,1,1)*R(1,1,1) a a( R (2, 2,1) R (2, 1,1)R(1,1,1)*R(1 ,2, 1) ( R (2, 2,k) qjm b R(i, j, k+1) =...

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

... 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, 1,1)R(1,1,1)*R(1 ,2, 1) (ε∪b) ... R(1, 2, 3) = R(1, 2, 2) ∪ 2) ∪R(1, 2, 2) R (2, 2, 2) *R (2, 2, 2) Bi u di n nh phân cá s ch n u Các câu b ng ch Σ = { a, b } ch a aab ho c aaab Xây d ng cá DFA th a nh n cá ngôn ng cho Xây d ng cá ôtômat...

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

... 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 ta xé xét b n ... m và ôtômat \ B ng tó tóm t t v tính t ng đ ng gi a v n ph m và ôtômat c a cá l p v n ph m theo Chomsky : Σ* Lo i VP0 VP1 VP2 V n ph m D ng s n xu t Ví d Ôtômat T Không có h n ch Máy Turing Ngôn...

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

... 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à B → A, ... t đó u G4 { S → aAS | 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 là VP2 M là ôđx A → SbA | SS | ba } L(G4) = ? 25/65 25/65 Ngôn ng L1...

Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat

... 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ữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình ... 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ào-ra lẫn kiểu thao tác Lý thuyết ngôn ngữ hình thức, ...

107
4,319
54

Xem thêm