... ngônngữ tồn máy Turing chấp nhận (D) Cả A, B, C (E) Chỉ có A, B 50 Từ lớp ngônngữ nghiên cứu phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ cảnh) (B) Lớp ngônngữ đệ qui CNC đồng (A) Tồn ngônngữ ... 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ônngữ PNC, L3 ngônngữ qui L4 ngônngữ không PNC Thì (A) L1 ∩ L2 PNC (B) L4 không PNC (C) L1 ∩ L3 PNC (D) Cả A, ... ≤ 2n} 38 Ngônngữ 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ônngữ sau KHÔNG phi ngữ cảnh đơn...
... 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...
... 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...
... (diference) hai ngônngữ dễ dàng xác đònh ♦ Bù ngônngữ : Bù ngônngữ L bảng chữ ∑ ký hiệu L =∑*-L ♦ Cho L1 L2 hai ngônngữ bảng chữ ∑: + L1L2 : Là ngônngữ ∑ chứa chuỗi có cách nối chuỗi ngônngữ L1 ... gọi Σ+ NGÔNNGỮ ♦ Bất kỳ tập L bảng chữ Σ, hay tập L Σ* gọi ngônngữ Ví dụ : Cho Σ={a,b} Σ*={λ,a,b,aa,ab,ba,aaa,aab, } Tập {a,aa,aab} ngônngữ ∑ Tập L={anbn : n≥0} ngônngữ tập ∑ ♦ Vì ngônngữ tập ... 4.2- NgônNgữ Chính Qui Trang Luận Tốt Nghiệp KS2-K7 Một ngônngữ gọi qui tồn automat hữu hạn chấp nhận Vì ngônngữ qui mô tả dfa hay nfa đó, để trình bày ngônngữ qui mô tả dfa hay nfa Ngôn ngữ...
... Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ 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ônngữ hữu hạn ngônngữ quy Chứng minh: Ngônngữ hữu hạn hợp hữu hạn ngônngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngônngữ quy quy), ta có ngônngữ hữu hạn...
... ĐẦU Một số vấn đề ngônngữ 1.3 Biểu diễn ngônngữ Ngônngữ phức tạp - Văn phạm: chế để sản sinh ngônngữ - Đối với ngônngữ tự nhiên: văn phạm hệ thống ngữ pháp - Đối với ngônngữ lập trình: văn ... vấn đề ngônngữ 1.2 Ngônngữ - Ngônngữ L chữ V tập hợp xâu V, L⊆V* - Các phép toán ngônngữ • Vì ngônngữ 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ônngữ Giáo ... NẴNG CHƯƠNG MỞ ĐẦU Một số vấn đề ngônngữ 1.3 Biểu diễn ngônngữ Ngônngữ đơn giản - Phương pháp sử dụng tân từ P(x): ngônngữ mà xâu có đặc điểm Ví dụ: ngônngữ số thực nhỏ L={x/ (x∈ R) (x
... Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ 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ônngữ hữu hạn ngônngữ quy Chứng minh: Ngônngữ hữu hạn hợp hữu hạn ngônngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngônngữ quy quy), ta có ngônngữ hữu hạn...
... (i = 7) gọi tên ngônngữ theo phân loại Chomsky 11 Xây dựng văn phạm sinh ngônngữ : 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ônngữ : a L = { anbm ... sinh ngônngữ : a L = { anbnan | n 0} b L = { anbncm | m, n 0} 14 Xây dựng văn phạm sinh ngônngữ : a L = { anbnam | m, n 0} b L = { ambnan | m, n 0} 15 Xây dựng văn phạm sinh ngônngữ L ... văn phạm sinh ngônngữ L = { b | * } với = {a1, a2, , an} 17 Xây dựng văn phạm sinh ngônngữ L = { | * } với = {a1, a2, , an} 18 *Kí hiệu d(a, ) số chữ a xuất xâu Cho L ngônngữ đợc sinh...
... Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ 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ônngữ hữu hạn ngônngữ quy Chứng minh: Ngônngữ hữu hạn hợp hữu hạn ngônngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngônngữ quy quy), ta có ngônngữ hữu hạn...
... điểm): Áp dụng bổ đề bơm, bạn chứng minh ngônngữ sau không ngônngữ i j j i quy: L = {a b c d | i, j ≥ 1} Giả sử L ngônngữ quy Khi tồn DFA M chấp nhận cho ngônngữ 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ônngữ L Vậy giả thiết L ngônngữ quy sai, hay L không ngônngữ 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ônngữ 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...
... bù Giả sử có bảng chữ , A, B ngônngữ sinh A = CB = { x */ x B} gọi ngônngữ phần bù hay ngônngữ bù ngônngữ B Ví dụ : Cho B = {a, bc} Khi ngônngữ bù ngônngữ B : A = {x * | x a, ... ngônngữ nguồn không chuyển sang ngônngữ máy mà chuyển sang ngônngữ trung gian Một chương trình có nhiệm vụ đọc chương trình ngônngữ trung gian thực câu lệnh Ngônngữ trung gian gọi ngônngữ ... biểu thức quy Bài tập tổng hợp Tính đóng lớp ngônngữ quy Điều kiện cần ngônngữ quy 10 Điều kiện cần đủ lớp ngônngữ quy 11 Otomat hữu hạn có lối 12 - Ngônngữ quy Bài tập Chƣơng 3: Ngôn ngữ...
... Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ 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ônngữ hữu hạn ngônngữ quy Chứng minh: Ngônngữ hữu hạn hợp hữu hạn ngônngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngônngữ quy quy), ta có ngônngữ hữu hạn...
... ký hiệu KNAPSACK ngônngữ gồm từ 2.4 Định lý: Ngônngữ 2-CONSAT thuộc lớp P 100 2.5 Định lý: Ngônngữ SAT NP-đầy đủ 2.6 Định lý: Ngônngữ CONSAT NP-đầy đủ 2.7 Định lý: Ngônngữ 3-CONSAT NP-đầy ... quan trọng định ngônngữ nằm P xem tính Trên thực tế ta nói ngônngữ đệ quy bất trị không thuộc P Rõ ràng ngônngữ nằm P bất trị theo quan điểm thực hành Ta nói ngônngữ 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ônngữ L gọi NP-khó với ngônngữ L’ NP, ta có L’ ≤P L Ngônngữ L gọi NP-đầy đủ NP-khó L∈NP 2.2 Chú ý: Các ngônngữ NP-đầy...
... (cuối ngônngữ máy) Ngữ nghĩa ngônngữ 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ônngữ đó, mà ta gọi nghĩa câu nguyên thuỷ (câu nhập vào) Đặc tả ngữ nghĩa ngônngữ ... trình cổ điển có Mở rộng ngônngữ (language extension) Bộ tiền xử lý tăng khả cho ngônngữ số macro nội Thí dụ ngônngữ Equel ngônngữ hỏi đáp với sở liệu nhúng vào ngônngữ C Các phát biểu bắt ... tương ứng ngônngữ khác, ngônngữ đích (target language) Như ta có nhiều trình biên dịch, ta có hàng ngàn ngônngữ nguồn từ ngônngữ lập trình họ cổ điển (Fortran, Pascal) đến ngônngữ đặc biệt...
... gọi ngônngữ đoán nhận M, ký hiệu T(M) Ngônngữ đoán nhận máy Turing gọi ngônngữ đệ quy đếm (Recursively Enumerable) Ngônngữ đoán nhận máy Turing mà dừng sau số hữu hạn bước từ vào gọi ngônngữ ... 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ônngữ cảm ngữ cảnh ngônngữ đệ quy 4.3.11 Định lý: Tồn ngônngữ đệ quy mà không ngônngữ ... Định lý: Một ngônngữhìnhthức loại đệ quy đếm Điều có nghĩa lớp ngônngữhìnhthức loại lớp ngônngữ đệ quy đếm 4.3.7 Chú ý: Nhờ vào Định lý 4.3.4, ta thấy có ngônngữ đệ quy đếm không đệ quy...
... không đơn định đoán nhận hết lớp ngônngữ 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ônngữ phi ngữ cảnh mà Tuy vậy, lớp ngônngữ đ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ônngữ phi ngữ cảnh, lớp ngônngữ đoán nhận ôtômat đẩy xuống theo tập trạng thái kết thúc, lớp ngônngữ đ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ônngữ Vì lẽ cần loại bỏ...
... ứng biểu thức quy Σ biểu diễn ngônngữ R, S (r+s) biểu thức quy biểu diễn ngônngữ R∪S, (rs) biểu thức quy biểu diễn ngônngữ R.S (r*) biểu thức quy biểu diễn ngônngữ R* Trong biểu thức quy, ... điều kiện cần đủ để ngônngữ đoán nhận ôtômat hữu hạn đơn định quy Do hệ cho biết tồn ngônngữ phi ngữ cảnh mà không ngônngữ quy, tức lớp ngônngữ quy thực lớp ngônngữ 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ônngữ rỗng 2) ε biểu thức quy, biểu diễn ngônngữ {ε} 3) Nếu a∈Σ a biểu thức quy, biểu diễn ngônngữ {a} 4) Nếu...