giải bài tập môn ngôn ngữ hình thức phần otomat huu han don đinh

Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc

... điểm): Áp dụng bổ đề bơm, bạn chứng minh ngôn ngữ sau không ngôn ngữ i j j i quy: L = {a b c d | i, j ≥ 1} Giả sử L ngôn ngữ quy Khi tồn DFA M chấp nhận cho ngôn ngữ L Gọi n số trạng thái DFA M Xét ... uv2w có số ký hiệu a nhiều ký hiệu d, hay chuỗi uv2w không thuộc ngôn ngữ L Vậy giả thiết L ngôn ngữ quy sai, hay L không ngôn ngữ quy Câu (2.0 điểm): Bạn tìm DFA tương đương với NFA sau: b start ... 3] a a a [q 2, q 3] b b [q 3] Câu (1.5 điểm): Bạn vẽ automata hữu hạn chấp nhận cho ngôn ngữ ký hiệu biểu thức quy sau: ( (a + ab) b* a )* Cách 1: start b a q1 q2 a a b q3 Cách 2: sử dụng cách...

4
4,018
78

Võ Minh Phổ – Các bài giảng ngôn ngữ hình thức và OTOMAT

Danh mục: Kỹ thuật lập trình

...

69
431
5

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

Danh mục: Toán học

... 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í ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngôn ngữ hữu hạn ngôn ngữ quy Chứng minh: Ngôn ngữ hữu hạn hợp hữu hạn ngôn ngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngôn ngữ quy quy), ta có ngôn ngữ hữu hạn...

107
4,319
54

Ngon ngu hinh thuc va otomat

Danh mục: Hệ điều hành

... vấn đề ngôn ngữ 1.2 Ngôn ngữ - Ngôn ngữ L chữ V tập hợp xâu V, L⊆V* - Các phép toán ngôn ngữ • Vì ngôn ngữ tập hợp nên có phép toán tập hợp: ∩(giao), ∪(hợp), -(hiệu), bù • Ghép tiếp ngôn ngữ Giáo ... ĐẦU Một số vấn đề ngôn ngữ 1.3 Biểu diễn ngôn ngữ  Ngôn ngữ phức tạp - Văn phạm: chế để sản sinh ngôn ngữ - Đối với ngôn ngữ tự nhiên: văn phạm hệ thống ngữ pháp - Đối với ngôn ngữ lập trình: văn ... NẴNG CHƯƠNG MỞ ĐẦU Một số vấn đề ngôn ngữ 1.3 Biểu diễn ngôn ngữ  Ngôn ngữ đơn giản - Phương pháp sử dụng tân từ P(x): ngôn ngữ mà xâu có đặc điểm Ví dụ: ngôn ngữ số thực nhỏ L={x/ (x∈ R) (x

174
2,557
99

Lý thuyết ngôn ngữ hình thức và ôtômát

Danh mục: Kĩ thuật Viễn thông

... 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í ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngôn ngữ hữu hạn ngôn ngữ quy Chứng minh: Ngôn ngữ hữu hạn hợp hữu hạn ngôn ngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngôn ngữ quy quy), ta có ngôn ngữ hữu hạn...

107
1,185
7

Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf

Danh mục: Kỹ thuật lập trình

... 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í ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngôn ngữ hữu hạn ngôn ngữ quy Chứng minh: Ngôn ngữ hữu hạn hợp hữu hạn ngôn ngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngôn ngữ quy quy), ta có ngôn ngữ hữu hạn...

107
1,328
44

Lý thuyết ngôn ngữ hình thức và Ôtômat doc

Danh mục: Cơ sở dữ liệu

... 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í ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngôn ngữ hữu hạn ngôn ngữ quy Chứng minh: Ngôn ngữ hữu hạn hợp hữu hạn ngôn ngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngôn ngữ quy quy), ta có ngôn ngữ hữu hạn...

107
518
5

Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx

Danh mục: Cao đẳng - Đại học

... gian đa thức Cách giải xây dựng lớp toán tương đương 2.1 Định nghĩa: Một ngôn ngữ L gọi NP-khó với ngôn ngữ L’ NP, ta có L’ ≤P L Ngôn ngữ L gọi NP-đầy đủ NP-khó L∈NP 2.2 Chú ý: Các ngôn ngữ NP-đầy ... ký hiệu KNAPSACK ngôn ngữ gồm từ 2.4 Định lý: Ngôn ngữ 2-CONSAT thuộc lớp P 100 2.5 Định lý: Ngôn ngữ SAT NP-đầy đủ 2.6 Định lý: Ngôn ngữ CONSAT NP-đầy đủ 2.7 Định lý: Ngôn ngữ 3-CONSAT NP-đầy ... quan trọng định ngôn ngữ nằm P xem tính Trên thực tế ta nói ngôn ngữ đệ quy bất trị không thuộc P Rõ ràng ngôn ngữ nằm P bất trị theo quan điểm thực hành Ta nói ngôn ngữ P có cận đa thức khổng lồ...

13
424
2

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

Danh mục: Cao đẳng - Đại học

... hàng ngàn ngôn ngữ nguồn từ ngôn ngữ lập trình họ cổ điển (Fortran, Pascal) đến ngôn ngữ đặc biệt xuất nhiều lĩnh vực ứng dụng máy tính Ngôn ngữ đích đa dạng ngôn ngữ lập trình ngôn ngữ máy Trình ... (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ữ ... pháp ngôn ngữ tập luật sinh, cung cấp cho ta mối quan hệ câu ngôn ngữ với cấu trúc cú pháp Thứ hai phép chiếu ngữ nghĩa, cấu trúc cú pháp câu ngôn ngữ nguồn ánh xạ đến vùng xuất – ngôn ngữ đích...

17
475
1

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

Danh mục: Cao đẳng - Đại học

... có cảm ngữ cảnh hay không, … Tất ngôn ngữ có 73 tính chất hình thành lên lớp lớp ngôn ngữ đệ quy đếm Khi ta khảo sát ngôn ngữ có hay không tính chất cho thực tế ta cần giải vấn đề ngôn ngữ có ... không lớp cho lớp ngôn ngữ đệ quy đếm Ta nói tính chất ngôn ngữ đệ quy đếm tầm thường ngôn ngữ đệ quy đếm có tính chất ngược lại ngôn ngữ đệ quy đếm tính chất Điều có nghĩa lớp ngôn ngữ xác định tính ... Đị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 đệ quy...

17
387
0

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

Danh mục: Cao đẳng - Đại học

... lớp ngôn ngữ phi ngữ cảnh Còn ôtômat đẩy xuống đơn định có khả đoán nhận lớp thực lớp ngôn ngữ phi ngữ cảnh mà Tuy vậy, lớp ngôn ngữ đoán nhận lớp ôtômat đẩy xuống đơn định rộng, bao gồm phần ... định nghĩa văn phạm phi ngữ cảnh mà L(G)=N(M) Lưu ý gọi P1, P2, P3 lớp ngôn ngữ phi ngữ cảnh, lớp ngôn ngữ đoán nhận ôtômat đẩy xuống theo tập trạng thái kết thúc, lớp ngôn ngữ đoán nhận ôtômat ... uvAxy … uviwxiy 3.1.12 Hệ quả: Tồn ngôn ngữ cảm ngữ cảnh mà phi ngữ cảnh Chứng minh: Trong Thí dụ 10 Chương I, ta biết ngôn ngữ L={ambmcm | m ≥ 1} sinh văn phạm cảm ngữ cảnh G =

17
395
2

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

Danh mục: Cao đẳng - Đại học

... ứ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, ... điều kiện cần đủ để ngôn ngữ đoán nhận ôtômat hữu hạn đơn định quy Do hệ cho biết tồn ngôn ngữ phi ngữ cảnh mà không ngôn ngữ quy, tức lớp ngôn ngữ quy thực lớp ngôn ngữ phi ngữ cảnh 25 2.1.11 ... định nghĩa biểu thức quy theo bước đệ quy sau đây: 1) ∅ biểu thức quy, biểu diễn ngôn ngữ rỗng 2) ε biểu thức quy, biểu diễn ngôn ngữ {ε} 3) Nếu a∈Σ a biểu thức quy, biểu diễn ngôn ngữ {a} 4) Nếu...

23
406
0

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

Danh mục: Cao đẳng - Đại học

... 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í ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngôn ngữ hữu hạn ngôn ngữ quy Chứng minh: Ngôn ngữ hữu hạn hợp hữu hạn ngôn ngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngôn ngữ quy quy), ta có ngôn ngữ hữu hạn...

16
525
4

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

Danh mục: Cao đẳng - Đại học

... Chương I: Nhập môn văn phạm ngôn ngữ hình thức 1.1 Khái niệm ngôn ngữ 1.2 Văn phạm ngôn ngữ sinh văn phạm 1.3 Một số tính chất ngôn ngữ 15 Bài tập Chương I ... liệu tham khảo phần phụ lục: Chương I: Trình bày khái niệm ngôn ngữ, cấu trúc văn phạm sinh ngôn ngữ phân cấp Chomsky ngôn ngữ Chương II: Trình bày ngôn ngữ quy, có công cụ sinh ngôn ngữ quy văn ... ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thiệu sơ lược trình biên dịch, phần quan trọng học phần Chương trình dịch, học phần gắn bó chặt chẽ với Lý thuyết ngôn ngữ hình thức...

4
405
2

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

Danh mục: Kỹ thuật lập trình

... 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 Tính ch t c a ngôn ng PNC ... X b i câu ph n 7/65 7/65 8/65 8/65 C u hình hì \ C u hình c a ô x hì Là b ba C = q, u, Trong ó : Q Q Q * Chuy n ti p m t b \ Cho ô x M, ta nói : M, C u hình C’= q’, w’, ’ nh n c t C= q, w, hì ... 1, \ Xây d ng VP2 G sinh ngôn ng L1 L2 nh sau : G V, , R, S v i : u N N1 N2 { S } S m t ký t m i thêm vào Ngôn ng : ¬ L2 phi ng c nh R R1 R2 {S S1, S u S2 } Tuy nhiên ngôn ng : ¬ LR L2 PNC v i...

11
446
0

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

Danh mục: Kỹ thuật lập trình

... 49/61 Bài toán : Xác toá Xá nh L = * 50/61 50/61 ? Bài toán : Xác toá Xá \ Bài toán gi i toá (Bài toán 2) (Bà toá \ Bài toán gi i c nh thu t toán sau : toá toá u Xây d ng m t ôhh M th a nh n ngôn ... ? * * * b*ab* = b*a 47/61 47/61 48/61 48/61 Bài toán : Xác toá Xá nh w L? Bài toán : Xác toá Xá \ Bài toán gl bài toán thành viên” toá toá viên” \ Bài toán gi i c nh thu toá u Xây d ng m t ôtômat ... cá M i ngôn ng h u h n (có h u h n câu) (có (Bài toán 4) (Bà toá Vì ngôn ng có h u h n câu Ls c ch nh b i BTCQ ó L quy chí (Bài toán 4) (Bà toá u quy chí L = {w1, , wk} L = L(w1 wk) M t ngôn ng...

11
454
0

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

Danh mục: Kỹ thuật lập trình

... A A, B, D B C \ M t ngôn ng qui n u ch n u ngôn ng chí c th a nh n b i m t ôtômat h u h n : B, D C D \ Cho L m t ngôn ng qui, M m t ôtômat h u h n chí u D N u m t ngôn ng ngôn ng ó không n nh ... t s ví d \ L(M) ngôn ng g m câu k t thúc b i b cá thú u L(M) = (a+b)*b a u Ví d aaabbb = a3b3 L(M) \ L(M) ngôn ng không ch a hai ch a liên ti p u Ví d bbaba L(M) b b b a a q0 \ Bài t p t i l p ... t w q0 F 110101 110101 110101 q0 q3 q1 q0 D ng 14/56 14/56 Khái ni m hình tr ng (C u hình) Khá hì hì \ Cho ôtômat hh M, m t hình tr ng (Configuration) c a M : hì u c p (q, w) Q * ký hi u C = (q,...

10
311
0

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

Danh mục: Kỹ thuật lập trình

... Giú ngôn ng hình th c nh b ng ch , t v ng, cú pháp cú phá ng ngh a pp+ = phân ph i = ng ng H c ph n trình bày công c ch y u làm vi c v i trì bà cá ngôn ng hình th c v n ph m ôtômat, phân lo i ngôn ... hay t khoá cá chí khoá Ngôn ng quy chí Không nh t thi t ghi c câu Tìm m i cách cá Ngôn ng phi ng c nh v , thay ch vi t ! Ngôn ng c m ng c nh Ngôn ng lo i (g n g i v i ngôn ng t nhiên) 7/38 7/38 ... Computation, Addison - Wesley, 1979 Phan Huy Khánh Lý thuy t ngôn ng hình th c ôtômát Khá ôtômá Tài li u l u hành n i b hà H V n Quân Giáo trình lý thuy t ôtômát ngôn ng hình Quân Giá trì ôtômá th c...

7
365
0

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

Danh mục: Kỹ thuật lập trình

... câu Ngôn ng phi ng c nh Tìm m i cá cách đ v , thay vì ch vi t ! Ngôn ng c m ng c nh Ngôn ng lo i (g n g i v i ngôn ng t nhiên) 7/38 7/38 8/38 8/38 Ki n th c yêu c u ánh giá giá k t qu h c t p Môn ... Addison - Wesley, 1979 Phan Huy Khá Khánh Lý thuy t ngôn ng hình th c ôtômá ôtômát Tài li u l u hà hành n i b H V n Quân Quân Giá Giáo trì trình lý thuy t ôtômá ôtômát và ngôn ng hình th c NXB HQG ... (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 Mô hình toán h c mô t ngôn ng - hình...

7
227
0