... lớp ngônngữ sau tương đương : − − − − 12 Lớp ngônngữquy Lớp ngônngữ sinh biểu thức quy Lớp ngônngữ sinh văn phạm quy Lớp ngônngữ đoán nhận ôtômat hữuhạn Chương Ôtômat hữuhạnngônngữquy ... hạn, ngônngữquy Σ định nghĩa đệ qui sau : i ii {λ} ngônngữquy Σ, Các ngônngữ sơ cấp bảng chữ Σ (tức tập ∅, {a} (a ∈ Σ)) ngônngữ Chương Ôtômat hữuhạnngônngữquyquy Σ iii Nếu R, S ngônngữ ... II Ngônngữ biểu thức quyNgônngữquy Trong phần ta đưa định nghĩa đệ qui lớp ngônngữ mà ta gọi ngônngữquy (thực chất lớp ngônngữ đoán nhận văn phạm quy) Định nghĩa : Cho Σ bảng chữ hữu hạn, ...
... {a1}, …, {an} việc áp dụng số hữuhạn phép hợp, ghép, lặp Vì tập sở ngônngữquy hợp, ghép, lặp số hữuhạn chúng ngônngữquy Do L ngônngữquy Giả sử L ngônngữquy bảng chữ Σ Khi theo Mục 2.2, ... ôtômat hữuhạn đơn định đoán nhận A Về sau, ta thấy điều kiện cần đủ để ngônngữ đoán nhận ôtômat hữuhạ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ữ ... 001}*} ngônngữquy 2.2.4 Chú ý: Từ định lý với ý ôtômat hữuhạn đơn định xem ôtômat hữuhạn không đơn định, ta rút kết luận sau Gọi D lớp ngônngữ đoán nhận ôtômat hữuhạn đơn định, N lớp ngôn ngữ...
... Automata hữuhạn (Finite automata) Lớp ngônngữNgônngữ qui”, đoán nhận máy ảo, gọi tên “automata hữuhạn Automata hữuhạn đơn định (Deterministic Finite Automata – DFA Automata hữuhạn không ... q2 q3 20 Ngônngữ DFA Định nghĩa: Ngônngữ L(A) DFA A = (Q, , , q0, F) xác định bởi: L(A) = {w | ^(q0, w) F } Nếu ngônngữ L L(A) DFA A đó, ta nói, L ngônngữ qui 21 Automata hữuhạn không ... trường hợp 2.2 0, Start 1 2.1 2.2 10 Automata hữuhạn đơn định (DFA) Định nghĩa: Một DFA A (Q, , , q0, F) với Q: tập hữuhạn trạng thái : tập hữuhạn ký hiệu nhập : hàm truyền q0: trạng thái...
... nhận ngôn ngữ, khả lưu trữ ôtômát hữuhạn Mặt khác, hàm chuyển δ hàm toàn phần đơn trị, bước chuyển ôtômát luôn xác định cách Chính hai đặc điểm mà DFA mô tả gọi ôtômát hữuhạn đơn định Ôtômát hữu ... định (NFA) DFA có khả nhận dạng ngônngữ dễ dàng NFA, thay vào thông thường kích thước lại lớn so với ôtômát hữuhạn không đơn định tương đương Ôtômát hữuhạn đơn định - DFA (Deterministic ... I ÔTÔMÁT HỮUHẠN (FA : Finite Automata) Tại thời điểm, hệ thống xác định số hữuhạn trạng thái (states) Mỗi trạng thái hệ thống thời điểm thay đổi tùy thuộc vào INPUT Ôtômát hữuhạn (FA)...
... ÔTÔMÁT HỮUHẠNVÀ BIỂU THỨC CHÍNHQUY Như nói, ngônngữ chấp nhận ôtômát hữuhạnngônngữ mô tả biểu thức quyChính tương đương này, mà người ta gọi ngônngữ chấp nhận ôtômát hữuhạn tập quy Trong ... biểu thức quy chứng tỏ lớp ngônngữ chấp nhận ôtômát hữuhạn thực lớp ngônngữ mô tả biểu thức quy 2.1 Định nghĩa Cho Σ chữ Biểu thức quy Σ tập hợp mà chúng mô tả định nghĩa cách đệ quy sau: 1) ... Ôtômát hữuhạn (FA) chia thành loại: đơn định (DFA) không đơn định (NFA) Cả hai loại ôtômát hữuhạn có khả nhận dạng xác tập quy Ôtômát hữuhạn đơn định có khả nhận dạng ngônngữ dễ dàng ôtômát hữu...
... thức quy Automata hữuhạn đơn định (DFA) Ví dụ: c Input Start q0 0 1 0 1 q1 Bộ điều khiển a b Trạng thái bắt đầu q2 d M=(Q, Σ, δ, q0, F) Trạng thái kết thúc q3 x Phép chuyển nhãn x Q : tập hữuhạn ... chuyển trạng thái δ(q, ε) = q δ(q, wa) = δ( δ(q,w), a) với ∀ w, a Ngônngữ chấp nhận: L(M) = { x | δ( q0, x ) ∈ F } Ngônngữquy Ví dụ: chuỗi nhập w=110101 • δ(q0, 1) = q1 • δ(q0, 11) = δ(q1, ... Tập trạng thái kết thúc: F’ = {E} (vì E có chứa trạng thái 10 ∈ F) 20 Biểu thức quy (RE) Vài ví dụ: • 00 : biểu thức quy biểu diễn tập {00} • (0+1)* : tập hợp tất chuỗi số số 1, kể chuỗi rỗng =...
... quy đến Ô tô mat hữuhạn Từ ô tô mát hữuhạn tới ngônngữquy Từ biểu thức quy đến Ô tô mat hữuhạn Định lý II.4 Mọi ngônngữquy ∑ ngônngữ trạng thái hữuhạn ∑ (ngôn ngữ đoán nhận OH) Chứng ... mát hữuhạn BTCQ Định lý II.6: Mọi ngônngữ trạng thái hữuhạn chữ ∑ ngônngữquy ∑ Từ định lý II.4 II.6 ta có Định lý II.7: Một ngônngữ chữ ∑ ngônngữ trạng thái hữuhạnngônngữquy ... đến Ô tô mat hữuhạn α1 +α2 Từ ô tô mát hữuhạn tới ngônngữquy Định lý II.5(Kleene) Mọi ngônngữ trạng thái hữuhạn phân tích thành ngônngữ thành phần cho kết hợp ngônngữ thành phần...
... RE dùng để mô tả ngôn ngữ, FA dùng để nhận dạng ngônngữ FA RE chấp nhận lớp ngônngữ qui” Ngônngữ định nghĩa DFA, NFA hay ε–NFA Ngônngữ định nghĩa RE 14 X Y: lớp ngônngữ chấp nhận X chấp ... nhiều số RE biểu diễn ngônngữ L: Ba toán tử RE Hội hai ngônngữ L M (L M): Tập chuỗi thuộc L thuộc M Nối hai ngônngữ L M (L.M hay LM): {xy | x L y M} Bao đóng ngônngữ L L*: Tập chuỗi ... Expression - RE) FA máy ảo nhận dạng ngôn ngữ, RE mô tả ngônngữ biểu thức đại số Ứng dụng: Các lệnh tìm kiếm chuỗi Các phát sinh phân tích từ vựng Toán tử RE Ngônngữ L: Tập chuỗi thỏa điều kiện:...
... Ôtômát hữuhạn (FA) chia thành loại: đơn định (DFA) không đơn định (NFA) Cả hai loại ôtômát hữuhạn có khả nhận dạng xác tập quy Ôtômát hữuhạn đơn định có khả nhận dạng ngônngữ dễ dàng ôtômát hữu ... thống trạng thái hữu hạn, lý thuyết ôtômát hữuhạn công cụ thiết kế hữu ích cho hệ thống Chẳng hạn, hệ chuyển mạch điều khiển (Control Unit) máy tính Một chuyển mạch bao gồm số hữuhạn cổng (gate) ... DFA cần dùng số hữuhạn trạng thái Định nghĩa Một cách hình thức ta định nghĩa ôtômát hữuhạn gồm năm thành phần (Q, Σ, δ, q 0, F), : Q tập hợp hữuhạn trạng thái Σ chữ nhập hữuhạn δ hàm chuyển...
... u L ngônngữ qui ị Ôtômát hữuhạn không đơn định í u D ò Ôtômát hữuhạn đơn định g N 2.4.3 Định lý : ( Định lý Pumping cho ngônngữ qui) Giả sử L ngônngữ vô hạn đ-ợc đoán nhận ôtômat hữ- hạn ... Ôtômát hữuhạn Nói tóm lại : Các ngônngữ BTCQ định lớp ngônngữ Ôtômát h-u hạn đoán nhận Đó lớp NNCQ Cực tiểu hóa Ôtômat hữuhạn 2.7.1 Định nghĩa : Cho M = < ồ,Q, d, q0, F> Ôtômát hữuhạn đơn ... Mọi ngônngữ tạo nên từ ngônngữhữuhạn cách áp dụng số hữuhạn lần l-ợt phép hợp, ghép tiếp * NNCQ Chứng minh : Do hệ 1.8.1, 1.8.3, 1.8.4, h T c 2.5.4 Định lý (Kleene) :Mọi NNCQ nhận đ-ợc từ ngôn...
... 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 sau: L1 = {w ... cho ngôn ng c sinh b i v n ph m B aS b c) Xây d ng VPTT-T t ng ng v i VPTT-P 15 Cho hai ngôn ng L1 L2 có hai dfa t ng ng M1 M2 sau Tìm dfa cho th ng úng c a L1/L2 a a b a, b b M1 : 16 Cho hai ngôn ... bi t r ng ngôn ng L3 = {anbn: n 0} L4 = {an: n nguyên t } không qui Tr b m ng H 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...
... dùng để mô tả ngônngữ qui Tổng quát, r biểu thức quy ta nói L(r) ngônngữ sinh từ r Ngôn ngữ liên kết với biểu thức quyNgônngữ L(r) biểu thị biểu thức quy r nào, định nghĩa quy tắc sau L(∅) ... thức quy r1 + r2, r1 r2, r1* (r1) biểu thức quy Một chuỗi gọi biểu thức quy xây dựng từ biểu thức quy nguyên tố áp dụng số hữuhạn lần quy tắc mục Ngônngữ liên kết với biểu thức quy Biểu thức quy ... để biểu diễn ngônngữquy Regular Languages & Grammars Way of representing Way of thinking Regular Expressions L = value of E Regular Expressions Alphabet Σ ∅, λ a ∈ ∑ biểu thức quy Những biểu...
... diễn hữuhạn nhóm tối đại S biểu diễn hữuhạn Chứng minh Điều kiện S có hữuhạn iđêan trái hữuhạn iđêan phải tương đương với điều kiện S có hữuhạn R - lớp hữuhạn L - lớp Điều kéo theo S có hữu ... Một vị nhóm biểu diễn hữuhạn vị nhóm biểu diễn hữuhạn nhóm (2) Một nhóm biểu diễn hữuhạn nhóm biểu diễn hữuhạn vị nhóm (3) Một nhóm biểu diễn hữuhạn nhóm biểu diễn hữuhạn nửa nhóm 29 2.3 ... - tối tiểu S Vì S chứa hữuhạn iđêan trái hữuhạn iđêan phải nên I ∧ hữuhạn Khi G biểu diễn hữuhạn nên T biểu diễn hữuhạn Chúng ta kết luận tất thương S biểu diễn hữuhạn được, áp dụng Mệnh...
... ngônngữ khác NNCQ Ngônngữ qui Ví dụ L = {} ? • NNCQ {} = * L = {001, 110} ? • {001, 110} = ({0}{0}{1} {1}{1}{0}) Mọi ngônngữhữuhạn qui 10 Nội dung Bao đóng Kleene tổng Kleene Ngôn ... Kleene tổng Kleene Ngônngữ qui (regular language) Biểu thức qui (regular expression) Đồ thị biểu diễn biểu thức qui Ngônngữ qui Một ngônngữ qui (NNCQ) L bảng chữ ngônngữ định nghĩa đệ qui: ... Bao đóng Kleene tổng Kleene Ngônngữ qui (regular language) Biểu thức qui (regular expression) Đồ thị biểu diễn biểu thức qui Nội dung Bao đóng Kleene tổng Kleene Ngônngữ qui Biểu thức qui (regular...