các ngôn ngữ chính quy

Ngày tải lên: 06/09/2013, 10:49

... hạn, ngôn ngữ quy Σ định nghĩa đệ qui sau : i ii {λ} ngôn ngữ quy Σ, Các ngôn ngữ sơ cấp bảng chữ Σ (tức tập ∅, {a} (a ∈ Σ)) ngôn ngữ Chương Ôtômat hữu hạn ngôn ngữ quy quy Σ iii Nếu R, S ngôn ngữ ... lý Các lớp ngôn ngữ sau tương đương : − − − − 12 Lớp ngôn ngữ quy Lớp ngôn ngữ sinh biểu thức quy Lớp ngôn ngữ sinh văn phạm quy Lớp ngôn ngữ đoán nhận ôtômat hữu hạn Chương Ôtômat hữu hạn ngôn ... ngôn ngữ quy ta đưa biểu thức quy, định nghĩa : Định nghĩa : i ii iii iv v λ biểu thức quy, biểu diễn ngôn ngữ {λ} ∅ ngôn ngữ quy, biểu diễn ngôn ngữ ∅ Nếu a ∈ Σ, a biểu thức quy, biểu diễn ngôn...

Ngày tải lên: 06/09/2013, 10:50

... đ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 ... 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, ta bỏ ... áp dụng số hữu hạn phép hợp, ghép, lặp Vì tập sở ngôn ngữ quy hợp, ghép, lặp số hữu hạn chúng ngôn ngữ quy Do L ngôn ngữ quy Giả sử L ngôn ngữ quy bảng chữ Σ Khi theo Mục 2.2, L=T(A), với A=

Ngày tải lên: 23/10/2013, 14:20

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

Ngày tải lên: 12/03/2014, 05:20

... chấp nhận ngôn ngữ đ-ợc ký hiệu 02 c g N s0 s1 Ôtômát chấp nhận ngôn ngữ đ-ợc ký hiệu 0+1 d s0 s1 s2 s3 Ôtômát chấp nhận ngôn ngữ đ-ợc ký hiệu biểu thức 220*1 n a u Lý Thuyết Ngôn ngữ Hình thức ... phép quy nạp theo k, ta chứng minh đ-ợc với i,j, tập Ri jk thỏa mãn yêu cầu bổ đề (đ.p.c.m) biểu thức quy n a u Định lý Kleene gợi ý cho ta cách biểu diễn khác ngôn ngữ quy Đó nhờ biểu thức quy, ... wwR = am-kbmbmam ẽ L (mâu thuẩn) Vậy L không ngôn ngữ qui z Cho = {a, b} Chứng minh L = { w ẻồ * : na(w) < nb(w)} không ngôn ngữ qui Giả sử L ngôn ngữ qui ị thoả định lý pumping ị $m, ẵwẵ m ị...

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

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

Ngày tải lên: 10/05/2014, 21:11

... RE dùng để mô tả ngôn ngữ, FA dùng để nhận dạng ngôn ngữ  FA RE chấp nhận lớp ngôn ngữ qui” Ngôn ngữ định nghĩa DFA, NFA hay ε–NFA Ngôn ngữ định nghĩa RE 14 X  Y: lớp ngôn ngữ chấp nhận X chấp ... nhiều số RE biểu diễn ngôn ngữ L: Ba toán tử RE  Hội hai ngôn ngữ L M (L  M): Tập chuỗi thuộc L thuộc M  Nối hai ngôn ngữ L M (L.M hay LM): {xy | x  L y  M}  Bao đóng ngôn ngữ L L*: Tập chuỗi ... Expression - RE)  FA máy ảo nhận dạng ngôn ngữ, RE mô tả ngôn ngữ 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ôn ngữ L: Tập chuỗi thỏa điều kiện:...

Ngày tải lên: 13/05/2014, 17:00

... Kleene tổng Kleene Ngôn ngữ qui (regular language) Biểu thức qui (regular expression) Đồ thị biểu diễn biểu thức qui Ngôn ngữ qui Một ngôn ngữ qui (NNCQ) L bảng chữ  ngôn ngữ định nghĩa đệ qui: ... ngôn ngữ khác NNCQ Ngôn ngữ qui Ví dụ  L = {} ? • NNCQ {} = *  L = {001, 110} ? • {001, 110} = ({0}{0}{1}  {1}{1}{0}) Mọi ngôn ngữ hữu hạn qui 10 Nội dung Bao đóng Kleene tổng Kleene Ngôn ... Bao đóng Kleene tổng Kleene Ngôn ngữ 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ôn ngữ qui Biểu thức qui (regular...

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

... dùng để mô tả ngôn ngữ qui Tổng quát, r biểu thức quy ta nói L(r) ngôn ngữ sinh từ r Ngôn ngữ liên kết với biểu thức quy Ngôn ngữ 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ữu hạn lần quy tắc mục Ngôn ngữ liên kết với biểu thức quy Biểu thức quy ... cứu cách khác để biểu diễn ngôn ngữ 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...

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

... PHONG CÁCH NGƠN NGỮ SINH HOẠT PHONG CÁCH NGƠN NGỮ KHOA HỌC PHÂN LOẠI VĂN BẢN THEO PCNN PHONG CÁCH NGƠN NGỮ BÁO CHÍ PHONG CÁCH NGƠN NGỮ NGHỆ THUẬT PHONG CÁCH NGƠN NGỮ HÀNH CHÍNH PHONG CÁCH NGƠN NGỮ ... theo phong cách ngơn ngữ luận (tùy theo nội dung, có phát biểu lại theo phong cách ngơn ngữ hành chính, khoa học…) Chỉ có phát biểu mà nội dung bàn trị, mang tính chất trị sử dụng ngơn ngữ luận ... ngơn ngữ luận với ngơn ngữ dùng văn khác (hội thảo khoa học, bình luận văn chương…)? * Phân biệt ngơn ngữ luận với ngơn ngữ BLVC, HTKH… Ngơn ngữ dùng HTKH, BLVC… Ví dụ: Chỉ phương tiện ngơn ngữ...

Ngày tải lên: 19/07/2014, 13:00

... cấp kết mà tìm kiếm Chúng ta tập ngôn ngữ liệt kê đệ quy đếm được, chứng minh có nhiều ngôn ngữ đếm (ví dụ tập ngôn ngữ không đếm được) phải có ngôn ngữ liệt kê đệ quy Chứng minh tiếng tập đếm lý ... Hệ (Corollary) 10.1 : Tập ngôn ngữ {0,1} liệt kê đệ quy không đếm Nói cách cụ thể có tồn ngôn ngữ Chứng minh : Theo hệ định lý 10.8, khả đếm tập ngôn ngữ liệt kê đệ quy từ sở lập luận (fact) ... L ngược lại trả Một ngôn ngữ L liệt kê đệ quy (recursively enumerable) có tồn máy Turing T chấp nhận (accept) L đệ quy có máy Turing nhận L Mọi ngôn ngữ đệ quy liệt kê đệ quy nếu: T máy Turing...

Ngày tải lên: 11/11/2014, 15:21

... q1 q2 q1 0 q2 q3 20 Ngôn ngữ DFA Định nghĩa: Ngôn ngữ L(A) DFA A = (Q, , , q0, F) xác định bởi: L(A) = {w | ^(q0, w)  F } Nếu ngôn ngữ L L(A) DFA A đó, ta nói, L ngôn ngữ qui 21 Automata ... trạng thái kết thúc/chấp nhận, F  Q 11 Ví dụ: Mô tả DFA chấp nhận ngôn ngữ L: L = {w | w = x01y chuỗi x, y  {0, 1}*} Bảng chữ ngôn ngữ L là:  = {0, 1} DFA A cần phải nhớ: TH 1: Đã thấy 01 Chấp ... đầu Automaton A chấp nhận ngôn ngữ L: A = ({q0, q1, q2}, {0, 1}, , q0, {q1}) với hàm truyền  13 Biểu diễn DFA DFA thể cách hình thức thành phần khô khan khó đọc Có cách đơn giản để mô tả DFA:...

Ngày tải lên: 17/04/2015, 14:07

... 1 Ngôn ngữ quy • Các phép toán tập ngôn ngữ Giả sử L 1, L2 hai ngôn ngữ từ điển V, định nghĩa: • • • Phép tuyển Tuyển hai ngôn ngữ L1∪ L2= {w | w∈ L1, w∈ L2} Phép ghép Ghép hai ngôn ngữ L1.L2= ... Với ngôn ngữ L V định nghĩa phép lặp L ngôn ngữ L*: • ∞ L* = L  L ∪ L ∪ L =  Ln , E n = Ln −1.L; L0 = { λ } n =0 1 .Ngôn ngữ quy • • • • Giả sử V= {a1,a2, ,an }, ngôn ngữ φ ngôn ngữ {ai} gọi ngôn ... V biểu diễn ngôn ngữ quy R S tương ứng đó: • • • (r) ∪ (s) BTCQ biểu diễn ngôn ngữ R ∪ S (r).(s) BTCQ biểu diễn ngôn ngữ R.S (r)* BTCQ biểu diễn ngôn ngữ R* Định lý Một ngôn ngữ V quy biểu diễn...

Ngày tải lên: 09/06/2015, 01:04

... dụng để định nghĩa cú pháp cung cấp mọt công cụ để lập trình ngôn ngữ 1.4 Các kiến thức biểu thức quy 1.4.1 Cách thức họat động biểu thức quy Regex engine phận phần mềm, chuyên để xử lý regex (so ... Stephen Cole Kleene mô tả mô hình cách sử dụng ký hiệu toán học ông gọi tập quy Ngôn ngữ SNOBOL sử dụng việc so khớp mẫu, không giống hoàn toàn với biểu thức quy Sau Ken Thompson xây dựng ký hiệu ... dụng biểu thức quy không phù hợp với biểu thức muốn tìm số văn tìm với biểu thức quy không phù hợp 1.3 Lịch sử phát triển Nguồn gốc biểu thức quy nằm lý thuyết tự động lý thuyết ngôn ngữ hình thức,...

Ngày tải lên: 17/04/2016, 21:26

... tự đặc biệt ngôn ngữ lập trình Khác với ngôn ngữ lập trình, regex, ký tự ' " ký tự đặc biệt Vì vậy, không cần phải giải phóng Trong mã nguồn chương trình, cần ghi nhớ ký tự ngôn ngữ lập trình ... PCRE giống với engine Perl Ngôn ngữ C# NET Biểu thức quy xuất phát từ môi trường UNIX, đuợc dùng với PERL Microsoft cho vào Windows sử dụng với ngôn ngữ kịch Biểu thức quy hổ trợ số lớp NET namespace ... tiện ích tìm kiếm xử lý văn dựa mẫu quy định Nhiều ngôn ngữ lập trình hỗ trợ biểu thức quy việc xử lý chuỗi, chẳng hạn C#, Perl có máy mạnh mẽ để xử lý biểu thức quy xây dựng trực tiếp cú pháp chúng...

Ngày tải lên: 17/04/2016, 21:26

... Chương Các tính chất ngôn ngữ qui 4.1 Tính đóng ngôn ngữ qui 4.2 Các câu hỏi ngôn ngữ qui 4.3 Nhận biết ngôn ngữ không qui Trang 131 Lý thuyết Ôtômát & NNHT ... Công Nghệ Thông Tin Các định lý (tt) Chứng minh Chúng ta biểu diễn ngôn ngữ dfa Nếu tồn đường từ trạng thái khởi đầu đến trạng thái kết thúc ngôn ngữ khác trống Để xác định ngôn ngữ có vô hạn không, ... gọi giải thuật thành viên Một ngôn ngữ cho hữu hạn hay vô hạn? Hai ngôn ngữ có giống không? Có hay không ngôn ngữ tập ngôn ngữ khác? Biểu diễn chuẩn (Standard representation) Chúng ta nói NNCQ...

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

... cấp kết mà tìm kiếm Chúng ta tập ngôn ngữ liệt kê đệ quy đếm được, chứng minh có nhiều ngôn ngữ đếm (ví dụ tập ngôn ngữ không đếm được) phải có ngôn ngữ liệt kê đệ quy Chứng minh tiếng tập đếm lý ... Hệ (Corollary) 10.1 : Tập ngôn ngữ {0,1} liệt kê đệ quy không đếm Nói cách cụ thể có tồn ngôn ngữ Chứng minh : Theo hệ định lý 10.8, khả đếm tập ngôn ngữ liệt kê đệ quy từ sở lập luận (fact) ... biết phần lính vực ngôn ngữ hình thức số hàm đệ quy Đề tài gồm phần sau: Phần I: Lý thuyết - Liệt kê đệ quy ngôn ngữ đệ quy Phần II: Bài tập - Hãy giải thích cho ví dụ hàm đệ quy thực phép toán...

Ngày tải lên: 01/02/2015, 00:21

... results=x+y; return results; } Gọi hàm : sum = add(3,4); 18 Các lệnh JavaScript 19 Các quy tắc chung n Khối lệnh bao dấu { } n Mỗi lệnh kết thúc dấu ; n Các lệnh dạng q Lặp q n Điều kiện q Thao tác đối ... đối tượng Các cú pháp: document, form, frame, window… Xử lý kiện đối tượng giao diện Xử lý kiện timer Sử dụng JavaScript kiểm tra liệu Form Sử dụng JavaScript xử lý hiệu ứng 11 Biến số n Cách đặt ... hai biến khác kiểu liệu “12” + 34.5 “1234.5” n Hàm parseInt(), parseFloat(): đổi chuỗi sang số 14 Các phép toán n Phép gán (=) q Có thể gán giá trị cho biến n Phép toán (++, ) n Phép toán +=, -=,...

Ngày tải lên: 22/08/2012, 10:37

Ngày tải lên: 31/08/2012, 16:33