bài tập lý thuyết ngôn ngữ hình thức và automata

... Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5 Bài tập Lý thuyết Ngôn ngữ Hình thức Automata PHẦN NGÔN NGỮ PHI NGỮ CẢNH 19 Tìm VPPNC cho ngôn ngữ sau: L1 = {a2n+1bn+2: n ≥ 0} L2 = {w ∈ {a, b}*: ... 2/5 Bài tập Lý thuyết Ngôn ngữ Hình thức Automata 10 Tìm dfa tối giản cho ngôn ngữ sau: L1 = {anbm: n ≥ 2, m ≥ 1} L2= {anb: n ≥ 0} U {bna: n ≥ 1}} L3 = {an: n ≥ 0, n ≠ 3} 11 Tìm BTCQ cho ngôn ngữ ... Bài tập Lý thuyết Ngôn ngữ Hình thức Automata q0 q1 q2 q3 q4 Dfa M1 b λ q3 q1 q2, q0 q1 q4 q0, q4 q3 q3, q4 q4 F =...

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

... ngôn ngữ tồn máy Turing chấp nhận (D) Cả A, B, C (E) Chỉ có A, B 50 Từ lớp ngôn ngữ nghiên cứu phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ cảnh) (B) Lớp ngôn ngữ đệ qui CNC đồng (A) Tồn ngôn ngữ ... hay thuộc họ LL(1) hay không (D) Cả A, B, C (E) Cả A, B, C sai 47 Cho L1, L2 ngôn ngữ PNC, L3 ngôn ngữ qui L4 ngôn ngữ không PNC Thì (A) L1 ∩ L2 PNC (B) L4 không PNC (C) L1 ∩ L3 PNC (D) Cả A, ... ≤ 2n} 38 Ngôn ngữ sau KHÔNG phi ngữ cảnh (A) {ww: w ∈ {a, b}*} (B) {wcw: w ∈ {a, b}*} (C).{anbmcman} (D) Cả A, B (E) Cả A, B, C (D) Cả A, B (E) Cả A, B, C 39 Ngôn ngữ sau KHÔNG phi ngữ cảnh đơn...

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

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

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

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

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

Ngày tải lên: 14/08/2013, 15:54

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

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

... 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 đủ 2.8 Định lý: ... đoán nhận ngôn ngữ M1 (Nói chung, T(n) nhận giá trị lớn T1(n) đa thức) Tương tự, ngôn ngữ giới hạn đa thức mô hình máy Turing chuẩn mực hay mô hình tính toán hợp lý thuộc vào lớp P định ... 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...

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

... 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ữ ... (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ữ ... xử lý “nhét” tập tin vào chương trình văn Chẳng hạn, tiền xử lý ngôn ngữ C “nhét” nội dung tập tin vào thay cho phát biểu # include xử lý tập tin có chứa phát biểu Bộ xử lý...

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

... 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ữ ... Đị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 ... 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ữ...

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

... đị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 ... z1/ε> 3.2.7 Định lý: Cho L ngôn ngữ phi ngữ cảnh Khi tồn ôtômat đẩy xuống M đoán nhận L theo tập trạng thái kết thúc Chứng minh: Giả sử G= văn phạm phi ngữ cảnh sinh ngôn ngữ L Ta xây ... không đơn định đoán nhận hết 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...

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

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

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

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

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

... ồ, nói gọn ngôn ngữ Các tập { } tập {e} đ-ợc xem ngôn ngữ bảng chữ g N Từ ngôn ngữ cho tr-ớc, ta thu đ-ợc ngôn ngữ nhờ áp dụng phép toán lên ngôn ngữ ngôn ngữ tập hợp nên phép toán tập hợp : giao, ... Định lý : Nếu L1, L2 hai ngôn ngữ phi ngữ cảnh (hoặc qui) L1ẩL2 ngôn ngữ phi ngữ cảnh (hoặc qui) - Nếu L1 ngôn ngữ văn phạm phi ngữ cảnh G1 = - Nếu L2 ngôn ngữ văn phạm phi ngữ ... giao, hợp, hiệu áp dụng lên ngôn ngữ - Một số phép toán khác lên ngôn ngữ: Phép ghép tiếp : Cho ngôn ngữ L1 chữ ồ1, ngôn ngữ L2 chữ ồ2, ký hiệu ngôn ngữ L1L2 ngôn ngữ {vw/ v ẻ L1, w ẻ L2} chữ...

Ngày tải lên: 09/05/2014, 08:58

... để chứng minh ngôn ngữ vô hạn không ngôn ngữ phi ngữ cảnh h T c Ví dụ 10: Chứng minh ngôn ngữ L = {anbncn : n 0} không ngôn ngữ phi ngữ cảnh u D Chứng minh: Giả sử L ngôn ngữ phi ngữ cảnh Xét ... Lý Thuyết Ngôn Ngữ Hình Thức & Ôtômat 30 Nguyễn Đức Thuần - * ( ) + db ... L không ngôn ngữ phi ngữ cảnh g N Định lý : Có giải thuật xác định ngôn ngữ phi ngữ cảnh L(G) hữu hạn hay không Chứng minh: Theo định lý 3.2.3 ta chuyển dạng chuẩn chomsky ngôn ngữ phi ngữ cảnh...

Ngày tải lên: 09/05/2014, 08:58

... x lý, tớnh toỏn d liu : Cỏc hot ng x lý cỏc d liu cc b ca mụ hỡnh phc v cho yờu cu dy v hc Cỏc phng thc ny m nhn vic chuyn i d liu nhp thnh cỏc d liu cc b ca mụ hỡnh Mụ hỡnh s tớnh toỏn, x lý ... dng b cụng c thc hin mt s gii thut Lý thuyt Ngụn ng Hỡnh thc & Automata, c gng a nhng ni dung c bn ca mụ hc nhm gúp phn giỳp cho sinh viờn nm bt c cỏc c s lý thuyt Hin vi iu kin v c s vt cht ... thng qun lý vic hc, mc ging dy c xp sp theo th t t d n khú v cú th cho phộp ngi s dng la chn mc phc phự hp vi trỡnh ngi hc thit k tt mt phn mn h tr vic ging dy ngi ta thng da vo lý thuyt...

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

... x lý, tớnh toỏn d liu : Cỏc hot ng x lý cỏc d liu cc b ca mụ hỡnh phc v cho yờu cu dy v hc Cỏc phng thc ny m nhn vic chuyn i d liu nhp thnh cỏc d liu cc b ca mụ hỡnh Mụ hỡnh s tớnh toỏn, x lý ... dng b cụng c thc hin mt s gii thut Lý thuyt Ngụn ng Hỡnh thc & Automata, c gng a nhng ni dung c bn ca mụ hc nhm gúp phn giỳp cho sinh viờn nm bt c cỏc c s lý thuyt Hin vi iu kin v c s vt cht ... thng qun lý vic hc, mc ging dy c xp sp theo th t t d n khú v cú th cho phộp ngi s dng la chn mc phc phự hp vi trỡnh ngi hc thit k tt mt phn mn h tr vic ging dy ngi ta thng da vo lý thuyt...

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

... Σ*={λ,a,b,aa,ab,ba,aaa,aab, } Tập {a,aa,aab} ngôn ngữ ∑ Tập L={anbn : n≥0} ngôn ngữ tập ∑ ♦ Vì ngôn ngữ tập hợp chuỗi nên hội (union), giao (intersection) hiệu (diference) hai ngôn ngữ dễ dàng xác đònh ♦ Bù ngôn ngữ : ... ♦ Bù ngôn ngữ : Bù ngôn ngữ L bảng chữ ∑ ký hiệu L =∑*-L ♦ Cho L1 L2 hai ngôn ngữ bảng chữ ∑: + L1L2 : Là ngôn ngữ ∑ chứa chuỗi có cách nối chuỗi ngôn ngữ L1 với chuỗi ngôn ngữ thuộc L2 L1L2={w: ... 4.2- Ngôn Ngữ Chính Qui Trang Luận Tốt Nghiệp KS2-K7 Một ngôn ngữ gọi qui tồn automat hữu hạn chấp nhận Vì ngôn ngữ qui mô tả dfa hay nfa đó, để trình bày ngôn ngữ qui mô tả dfa hay nfa Ngôn ngữ...

Ngày tải lên: 22/08/2014, 16:40

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

Ngày tải lên: 20/12/2013, 19:15