ngôn ngữ hình thức và automata

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

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

Ngày tải lên : 13/10/2012, 09:16
... 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}*: na(w) ... 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ữ sau: L1 ... 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 = {q2} a q1...
  • 5
  • 6.2K
  • 215
Môn Lý Thuyết ngôn ngữ hình thức và automata

Môn Lý Thuyết ngôn ngữ hình thức và automata

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...
  • 5
  • 2.1K
  • 40
ngôn ngữ hình thức và automata

ngôn ngữ hình thức và automata

Ngày tải lên : 14/03/2013, 11:56
... GII THIU TI Yờu cu ca ti l : Xõy dng b cụng c thc hin mt s gii thut mụn hc ngụn ng hỡnh thc v Automata. Ngoi cỏc gii thut bin i phm, trung vo nghiờn cu v hin thc hai gii thut phõn tớch cỳ phỏp ... ngoi mc ớch giỳp sinh viờn nghnh CNTT cú mt cụng c h tr thờm cho vic hc mụn hc Ngụn Ng Hỡnh Thc & Automata B cụng c ny cho phộp sinh thy rừ cỏch thc hot ng ca mt s gii thut ca phn ngụn ng phi ng ... khỏi nim khỏc cha c nờu õy, cỏc bn cú th tỡm hiu thờm An Introduction To Formal Languages And Automata ca Peter Linz Trang Lun Tt Nghip KS2-K7 CHUNG MT S GII THUT BIN I VN PHM PNC V CC DNG CHUN...
  • 145
  • 1.4K
  • 9
Xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và Automata

Xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và Automata

Ngày tải lên : 15/03/2013, 10:20
... GII THIU TI Yờu cu ca ti l : Xõy dng b cụng c thc hin mt s gii thut mụn hc ngụn ng hỡnh thc v Automata. Ngoi cỏc gii thut bin i phm, trung vo nghiờn cu v hin thc hai gii thut phõn tớch cỳ phỏp ... ngoi mc ớch giỳp sinh viờn nghnh CNTT cú mt cụng c h tr thờm cho vic hc mụn hc Ngụn Ng Hỡnh Thc & Automata B cụng c ny cho phộp sinh thy rừ cỏch thc hot ng ca mt s gii thut ca phn ngụn ng phi ng ... khỏi nim khỏc cha c nờu õy, cỏc bn cú th tỡm hiu thờm An Introduction To Formal Languages And Automata ca Peter Linz Trang Lun Tt Nghip KS2-K7 CHUNG MT S GII THUT BIN I VN PHM PNC V CC DNG CHUN...
  • 145
  • 888
  • 1
đồ án tốt nghiệp xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và automata

đồ án tốt nghiệp xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và automata

Ngày tải lên : 22/08/2014, 16:40
... (diference) hai ngôn ngữ dễ dàng xác đònh ♦ 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 ... gọi Σ+ NGÔN NGỮ ♦ Bất kỳ tập L bảng chữ Σ, hay tập L Σ* gọi ngôn ngữ Ví dụ : Cho Σ={a,b} Σ*={λ,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 ... 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ữ...
  • 192
  • 761
  • 0
Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat

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

Ngày tải lên : 12/09/2012, 16:21
... Đị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í dụ 4: ... 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.3K
  • 54
Ngon ngu hinh thuc va otomat

Ngon ngu hinh thuc va otomat

Ngày tải lên : 02/05/2013, 21:26
... ĐẦ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 ... 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 ... 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.6K
  • 99
Lý thuyết ngôn ngữ hình thức và ôtômát

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

Ngày tải lên : 14/08/2013, 15:54
... Đị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í dụ 4: ... 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.2K
  • 7
Ngôn ngữ hình thức và văn phạm sinh

Ngôn ngữ hình thức và văn phạm sinh

Ngày tải lên : 06/09/2013, 10:51
... (i = 7) gọi tên ngôn ngữ theo phân loại Chomsky 11 Xây dựng văn phạm sinh ngôn ngữ : a b c d e f g a L = { anbn | n 0} b L = { anbm | m, n 0} 12 Xây dựng văn phạm sinh ngôn ngữ : a L = { anbm ... sinh ngôn ngữ : a L = { anbnan | n 0} b L = { anbncm | m, n 0} 14 Xây dựng văn phạm sinh ngôn ngữ : a L = { anbnam | m, n 0} b L = { ambnan | m, n 0} 15 Xây dựng văn phạm sinh ngôn ngữ L ... văn phạm sinh ngôn ngữ L = { b | * } với = {a1, a2, , an} 17 Xây dựng văn phạm sinh ngôn ngữ L = { | * } với = {a1, a2, , an} 18 *Kí hiệu d(a, ) số chữ a xuất xâu Cho L ngôn ngữ đợc sinh...
  • 4
  • 865
  • 9
Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf

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

Ngày tải lên : 20/12/2013, 19:15
... Đị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í dụ 4: ... 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.3K
  • 44
Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc

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

Ngày tải lên : 23/12/2013, 05:15
... đ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 ... q 2] [q 1,q 2,q 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...
  • 4
  • 4K
  • 78
Bài giảng ngôn ngữ hình thức và automat

Bài giảng ngôn ngữ hình thức và automat

Ngày tải lên : 10/05/2014, 21:15
... bù Giả sử có bảng chữ , A, B ngôn ngữ sinh  A = CB = { x  */ x B} gọi ngôn ngữ phần bù hay ngôn ngữngôn ngữ B Ví dụ : Cho B = {a, bc} Khi ngôn ngữngôn ngữ B : A = {x  * | x  a, ... ngôn ngữ nguồn không chuyển sang ngôn ngữ máy mà chuyển sang ngôn ngữ trung gian Một chương trình có nhiệm vụ đọc chương trình ngôn ngữ trung gian thực câu lệnh Ngôn ngữ trung gian gọi ngôn ngữ ... biểu thức quy Bài tập tổng hợp Tính đóng lớp ngôn ngữ quy Điều kiện cần ngôn ngữ quy 10 Điều kiện cần đủ lớp ngôn ngữ quy 11 Otomat hữu hạn có lối 12  - Ngôn ngữ quy Bài tập Chƣơng 3: Ngôn ngữ...
  • 68
  • 685
  • 1
Lý thuyết ngôn ngữ hình thức và Ôtômat doc

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

Ngày tải lên : 20/06/2014, 19:20
... Đị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í dụ 4: ... 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

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

Ngày tải lên : 23/07/2014, 02:20
... 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ồ ... 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...
  • 13
  • 424
  • 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps

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

Ngày tải lên : 23/07/2014, 02:20
... (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ữ ... 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ữ C Các phát biểu bắt ... tương ứng ngôn ngữ khác, ngôn ngữ đích (target language) Như ta có nhiều trình biên dịch, ta 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...
  • 17
  • 475
  • 1
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps

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

Ngày tải lên : 23/07/2014, 02:20
... gọi ngôn ngữ đoán nhận M, ký hiệu T(M) Ngôn ngữ đoán nhận máy Turing gọi ngôn ngữ đệ quy đếm (Recursively Enumerable) Ngôn ngữ đoán nhận máy Turing mà dừng sau số hữu hạn bước từ vào gọi ngôn 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ữ ... Đị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

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

Ngày tải lên : 23/07/2014, 02:20
... 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 ... đị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 ... Trong văn phạm phi ngữ cảnh có nhiều yếu tố thừa, chẳng hạn có ký hiệu không tham gia vào trình sinh ngôn ngữ, có quy tắc dạng A→B làm thời gian trình hình thành xâu ngôn ngữ Vì lẽ cần loại bỏ...
  • 17
  • 395
  • 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot

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

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...
  • 23
  • 406
  • 0

Xem thêm