dự đoán các dạng bài điểm 8 9 10 môn hóa kì thi thpt quốc gia 2016 pdf p 1 19

Bảo mật máy chủ ứng dụng Web với ModSecurity

Bảo mật máy chủ ứng dụng Web với ModSecurity

Ngày tải lên : 26/06/2016, 09:05
... e2456e72-A- [11 /Dec/2 013 :23:36:22 080 0] UqlndsCoAWMAADUbGHEAAAAA 19 2 .1 68. 1. 15 54625 19 2 .1 68. 1 .99 80 e2456e72-B-GET /vulnerabilities/csrf/ HTTP /1. 1 Host: 19 2 .1 68. 1 .99 User-Agent: hacker (Windows NT 6 .1; ... thông tin Ví dụ: [11 /Dec/2 013 :23:36:22 080 0] [ 19 2 .1 68. 1 .99 /sid#f0cfa0][rid#b 697 2c 18 ] [/vulnerabilities/csrf/] [1] Access denied with code 403 (phase 2) Match of "rx ^ 19 2 \\ .1 68\ \ .1\ \ .16 " against "REMOTE_ADDR" ... (Windows 7) IP: 19 2 .1 68. 1. 15 Sử dụng hệ điều Hành CentOS 6.3 IP: 19 2 .1 68. 1 .99 - Cài đặt Web server Apache - Cài đặt Damn Vulnerable Web App (DVWA) - Cài đặt ModSecurity 2.5 .12 Bảng 3 .1 Thành phần mô...
  • 38
  • 790
  • 6
C# và các lớp cơ sở Biểu thức chính quy ( Regular Expression) – Phần 2 doc

C# và các lớp cơ sở Biểu thức chính quy ( Regular Expression) – Phần 2 doc

Ngày tải lên : 30/07/2014, 18:20
... Groups captures ta đề c p l p NET RegularExpressions hổ trợ groups captures, l p Group Capture có l p GroupCollection CaptureCollection ,mà trình bày việc thu th p groups captures l p Match phơi ... sau :// điều lấy http:// vào phần đầu HTTP URL chuỗi (\S+)sẽ lấy phần www.wrox.com URL trên.nhóm kết thúc g p phần cuối từ ( \b) g p dấu hai chấm (:) đánh dấu phần Phần lấy port dấu ? định nhóm ... bày phương thức ,Group() mà trả đối tượng GroupCollection l p Group thi hành phương thức ,Captures() mà trả CaptureCollection mối quan hệ đối tượng thể qua biểu đồ sau : việc trả đối tượng Group...
  • 9
  • 598
  • 2
Biếu thức chính quy

Biếu thức chính quy

Ngày tải lên : 28/09/2013, 10:20
... cách phân tích thành tố /etc/passwd: $line = merlyn: :1 18 : 10 : Randal:/home/merlyn:/usr/bin/perl; @fields = split(/:/,$line); # chặt $line ra, dùng : làm dấu định biên # @field (merlyn, , 1 18 , 10 , ... khác: [ 012 3456 7 89 ] # sánh với chữ số [0 -9] # [0 -9\ -] # sánh 0 -9 hay dấu trừ [a-z0 -9] # sánh chữ thờng hay số [a-zA-Z0 -9_ ] # sánh chữ, số hay dấu gạch th p Cũng có l p tự bị phủ định, l p tự, ... @words = split; # hệt nh @words = split(/\s+/, $_); Các trờng theo sau rỗng không trở thành phần danh sách Điều nói chung không cần quan tâm - giải ph p giống này: $line = merlyn: :1 18 : 10 : Randal:/home/merlyn:/usr/bin/perl;...
  • 15
  • 1.6K
  • 5
Ngôn ngữ Perl-Chương 07-Biểu thức chính quy

Ngôn ngữ Perl-Chương 07-Biểu thức chính quy

Ngày tải lên : 04/11/2013, 21:15
... [ 012 3456 7 89 ] # sánh với chữ số [0 -9] # tương tự nhưu [0 -9\ -] # sánh 0 -9 hay dấu trừ [a-z0 -9] # sánh chữ thường hay số [a-zA-Z0 -9_ ] # sánh chữ, số hay dấu gạch Cũng có l p tự bị phủ định, l p ... @words = split; # hệt @words = split(/\s+/, $_); Các trường theo sau rỗng không trở thành phần danh sách Điều nói chung không cần quan tâm-một giải ph p giống này: $line = "merlyn: :1 18 : 10 : Jenny:/home/merlyn:/usr/bin/perl"; ... qui trả danh sách giá trị Chẳng hạn, sau cách phân tích thành tố file /etc/passwd: $line = "merlyn: :1 18 : 10 : Jenny:/home/merlyn:/usr/bin/perl"; @fields = split(/:/,$line); # chặt $line ra, dùng :...
  • 12
  • 728
  • 6
Tài liệu ÔTÔMÁT HỮU HẠN VÀ BIỂU THỨC CHÍNH QUY docx

Tài liệu ÔTÔMÁT HỮU HẠN VÀ BIỂU THỨC CHÍNH QUY docx

Ngày tải lên : 15/12/2013, 04:15
... q1, δ(q1, 1) = q0, δ(q0, 0) = q2, 11 01 ? δ(q2, 1) = q3; δ(q3, 0) = q1, δ(q1, 1) = q0 ∈ F (Hay δ(q0, 11 01 01) = δ(q1, 10 1 01) = δ(q0, 010 1 ) = δ(q2, 10 1 ) = δ(q3, 01) = δ(q1, 1) = q0 ∈ F) Vậy 11 01 01 ... ti p = {00, 000, 10 0 , 0000, 00 01, 10 0 0, 10 0 1, 0 11 00 1, }  (1 +10 ) * ký hiệu cho tất chuỗi 0, bắt đầu số hai số liên ti p = {ε, 1, 10 , 11 , 10 1 0, 11 1, 10 1 010 , }      (0 +1) * 011 = ? ký hiệu cho ... cho tất chuỗi 0, tận 011 = { 011 , 0 011 , 10 1 1, 00 011 , 11 01 1, } 0 *1* 2* = ? ký hiệu cho tất chuỗi có số số 0, theo sau số số sau số số = {ε, 0, 1, 2, 01, 02, 12 , 012 , 0 012 , 011 2, } Một chuỗi tên...
  • 55
  • 1.6K
  • 23
Tài liệu Biểu thức chính quy pptx

Tài liệu Biểu thức chính quy pptx

Ngày tải lên : 18/02/2014, 14:20
... trợ PHP PCRE, PHP POSIX JavaScript - http://www.nregex.com/ : hỗ trợ ngôn ngữ NET phát triển David Seruyange - http://www.rubular.com/: xây dựng tác giả Micheal Lovitt - http://www.myregexp.com ... framework 2.0 phiên để chạy Expresso - Đây phần mềm tính phí (60 ngày sử dụng miễn phí) Ta đăng ký quyền miễn phí Expresso http://www.ultrapico.com/App/Register.aspx cách nh p email vào form giống bên ... dụng cho Windows PowerGREP có giao diện sau: 10 d Windows Grep Windows Grep ứng dụng Grep cũ cho Windows Có thể download tại: http://www.wingrep.com/ Chương trình có giao diện sau: 11 e RegexRenamer...
  • 13
  • 517
  • 10
Viết chương trình phân tích cú pháp, tạo và hiển thị cây cú pháp của một biểu thức chính quy

Viết chương trình phân tích cú pháp, tạo và hiển thị cây cú pháp của một biểu thức chính quy

Ngày tải lên : 27/03/2014, 11:04
... ViTriNut[i] = new Point (1 98 + (i - 1) * 79, 91 ); } if(i>2&&i6&&i 14 && i ... (bao đóng), (ph p nối kết), + (ph p h p) Ví dụ: Biểu thức quy cho ngôn ngữ gồm xâu nhị phân mà hai số hay hai số liên ( 01) *+ (10 ) *+0 (10 ) * +1( 01) * là: (ε +1) ( 01) *(ε+0) Thứ tự ưu tiên ph p toán: *, ... qui.Phương ph p phân tích biểu thức qui Để thực đò án Viết chương trình phân tích cú ph p, tạo hiển thị cú ph p biểu thức quy ta cần phải:  Thực xử lí chuỗi nh p vào.Xác định xem biểu thức có phải...
  • 20
  • 833
  • 1
Luận văn:  Automata hữu hạn và biểu thức chính quy

Luận văn: Automata hữu hạn và biểu thức chính quy

Ngày tải lên : 27/04/2014, 01:43
... ti p = {ε, 1, 10 , 11 , 10 1 0, 11 1, 10 1 010 , } * (0+ε) (1 +10 ) ký hiệu cho tất chuỗi hai số liên ti p = {ε, 0, 01, 010 , 1, 10 , 010 1 0, 011 1, } * (0 +1) 011 ký hiệu cho tất chuỗi 0, tận 011 = { 011 , ... δ(δ(q0 ,1) ,1) = δ(q1, 1) = q0 Ti p tục δ(q0, 0) = q2, δ(q0, 11 0) = δ(δ(q0, 11 ), 0) = q2 Ti p tục ta có δ(q0, 11 01 ) = q3, δ(q0, 11 01 0) = q1 Và cuối δ(q0, 11 01 01) = q0 ∈ F (Hay δ(q0, 11 01 01) = δ(q1, 10 1 01) ... rỗng = {ε, 0, 1, 00, 01, 10 , 11 , 010 , 011 , 0 010 } (0 +1) *00(0 +1) * ký hiệu cho t p h p tất chuỗi 0 ,1 có hai số liên ti p = {00, 000, 10 0 , 0000, 00 01, 10 0 0, 10 0 1, 0 11 00 1, } (1 +10 ) * ký hiệu cho...
  • 32
  • 1.5K
  • 0
Biểu thức chính quy và automat hữu hạn

Biểu thức chính quy và automat hữu hạn

Ngày tải lên : 10/05/2014, 21:03
... đơn FA   DFA cho: M=({0 ,1} , {p, r},δ ,p, {r}) δ gồm: δ (p, 1) =p; δ (p, 0)=r; δ(r,0)=r Văn phạm tương đương với DFA: G=({0, 1} , {p, r}, p, P) P gồm: p 1p; p 0r ; r→0r; r→ε 51 ... quy sau:  (11 +0)*(00 +1) *  (1+ 01+ 0 01) *(ε+0+00)*  [00 +11 +( 01 +10 ) (00 +11 )*( 01 +10 ) ]* Cấu tạo OHT  Cấu tạo:  Một băng vào: chứa xâu cần xử lý (xâu vào), ô chứa tự  Một đầu đọc: thời điểm trỏ ... chữ vào ∑={0 ,1} Q={q0, q1, q2, q}, q0 trạng thái đầu F={q0} t p trạng thái kết thúc Hàm dịch chuyển δ: Q× ∑Q, cho bảng bên Xâu vào: 10 0 1 , 11 , 0 11 0 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2 Định nghĩa...
  • 61
  • 1.8K
  • 1
Automat hữu hạn và biểu thức chính quy

Automat hữu hạn và biểu thức chính quy

Ngày tải lên : 13/05/2014, 10:12
... diễn t p {00} • (0 +1) * : t p h p tất chuỗi số số 1, kể chuỗi rỗng = {ε, 0, 1, 00, 01, 10 , 11 , 010 , 011 , 0 010 } • (0 +1) * 011 : ký hiệu cho tất chuỗi 0, tận 011 = { 011 , 0 011 , 10 1 1, 00 011 , 11 01 1, ... (0 +1) *00(0 +1) * : t p h p tất chuỗi 0 ,1 có hai số liên ti p = {00, 000, 10 0 , 0000, 00 01, 10 0 0, 10 0 1, 0 11 00 1, } • (0+ ε) (1 +10 ) * : tất chuỗi hai số liên ti p = {ε, 0, 01, 010 , 1, 10 , 010 1 0, 011 1, ... ch p nhận: L(M) = { x | δ( q0, x ) ∈ F } Ngôn ngữ quy Ví dụ: chuỗi nh p w= 11 01 01 • δ(q0, 1) = q1 • δ(q0, 11 ) = δ(q1, 1) = q0 • δ(q0, 11 0) = δ(q1, 10 ) = δ(q0, 0) = q2 • δ(q0, 11 01 ) = δ(q1, 10 1 )...
  • 31
  • 1.7K
  • 22
ÔTÔMÁT HỮU HẠN VÀ BIỂU THỨC CHÍNH QUY

ÔTÔMÁT HỮU HẠN VÀ BIỂU THỨC CHÍNH QUY

Ngày tải lên : 13/05/2014, 16:59
... đơn FA   DFA cho: M=({0 ,1} , {p, r},δ ,p, {r}) δ gồm: δ (p, 1) =p; δ (p, 0)=r; δ(r,0)=r Văn phạm tương đương với DFA: G=({0, 1} , {p, r}, p, P) P gồm: p 1p; p 0r ; r→0r; r→ε 51 ... quy sau:  (11 +0)*(00 +1) *  (1+ 01+ 0 01) *(ε+0+00)*  [00 +11 +( 01 +10 ) (00 +11 )*( 01 +10 ) ]* Cấu tạo OHT  Cấu tạo:  Một băng vào: chứa xâu cần xử lý (xâu vào), ô chứa tự  Một đầu đọc: thời điểm trỏ ... chữ vào ∑={0 ,1} Q={q0, q1, q2, q}, q0 trạng thái đầu F={q0} t p trạng thái kết thúc Hàm dịch chuyển δ: Q× ∑Q, cho bảng bên Xâu vào: 10 0 1 , 11 , 0 11 0 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2 Định nghĩa...
  • 61
  • 2.3K
  • 1
Biểu thức chính quy và ngôn ngữ chính quy

Biểu thức chính quy và ngôn ngữ chính quy

Ngày tải lên : 13/05/2014, 17:00
... {ε}, L1 = L = {0, 11 }, L2 = LL = {00, 011 , 11 0, 11 11} L3 = LLL = {000, 0 011 , 0 11 0, 11 00 , 011 11, 11 01 1, 11 11 0, 11 111 1} → L* = L0  L1  L2  … Chú ý: Ø* = {ε}, Ø0 = {ε}, Øn = Ø (n  1) Xây dựng ... thái 34 R1m q1 R 11 Q1 Dạng tổng quát trước trạng thái s bị hủy p1 P1 S S Qk qk Pm Rkm pm Rk1 35 q1 R 11 + Q1S *P1 p1 R1m + Q1S*Pm Hiện trạng sau loại trạng thái s Rk1 + QkS *P1 qk pm Rkm + QkS*Pm 36 ... Xây dựng RE phức t p Luật xây dựng Rij (1) dựa vào Định lý 3 .1: 29 Dựa vào bảng Rij(0), ta có: Thay trực ti p R 11( 1) (ε + 1) + (ε + 1) (ε + 1) *(ε + 1) R12 (1) + (ε + 1) (ε + 1) *0 R 21( 1) Ø + Ø(ε + 1) *(ε...
  • 33
  • 1.4K
  • 3
NGÔN NGỮ  CHÍNH  QUY BIỂU THỨC CHÍNH QUY

NGÔN NGỮ CHÍNH QUY BIỂU THỨC CHÍNH QUY

Ngày tải lên : 09/06/2015, 01:04
... • Ví dụ 1. Cho A= {0, 11 } B= {1, 10 , 11 0 } với Σ={0 ,1} Tìm A∪B, B.A Bài giải A ∪B={0 ,11 }∪ {1 ,10 , 11 0} ={0 ,11 ,1 ,10 , 11 0} A.B={ 01, 010 , 0 11 0, 11 1 ,1 11 0, 11 11 0} • • Ví dụ Cho A={0}, B={0 ,1} , C= {11 } Tìm A*, ... 10 w0 , 11 w0 | n≥3 } c) d) n m 2k 0* 11 1*(00)* có NNCQ L= {0 , 11 1 | n,m,k≥0 } (1 10 ) * có NNCQ L= {λ }∪ {1, 10 }∪ {1, 10 } {1 ,10 }∪ … = {λ, 1, 10 , 11 ,10 1 , 11 0, 10 1 0, | n≥0 } gồm xâu rỗng xâu có số ... C* Bài giải 2 A*={λ}∪A ∪A ∪…={λ} ∪{0}∪{0}{0} ∪ ={λ,0,0 , ,…} B*={λ}∪B ∪B ∪B ∪…={λ} ∪{0 ,1} ∪{0 ,1} {0 ,1} ∪ … = Σ* = {λ, 0, 1, 00, 01, 10 , 11 , 000,0 01, …} C*={λ}∪C ∪C ∪…={λ ,11 , 11 11, 11 111 1,… = {11 }*=...
  • 16
  • 765
  • 0
ÔTÔ mát hữu hạn và BIỂU THỨC CHÍNH QUY

ÔTÔ mát hữu hạn và BIỂU THỨC CHÍNH QUY

Ngày tải lên : 28/03/2016, 01:16
... δ(δ(q0, 11 ), 0) = q2 Ti p tục ta có δ(q0, 11 01 ) = q3, δ(q0, 11 01 0) = q1 Và cuối δ(q0, 11 01 01) = q0 ∈ F (Hay d(q0, 11 01 01) = d(q1, 10 1 01) = d(q0, 010 1 ) = d(q2, 10 1 ) = d(q3, 01) = d(q1, 1) = q0 ... Σ = {0, 1} , F = {q0} hàm chuyển δ sau: Giả sử chuỗi w = 11 01 01 nh p vào M Ta có δ(q0, 1) = q1 δ(q1, 1) = q0 ,vậy δ(q0, 11 ) = δ(δ(q0 ,1) ,1) = δ(q1, 1) = q0 Ti p tục δ(q0, 0) = q2, δ(q0, 11 0) = δ(δ(q0, ... = d(q0, 0) d(q1, 0) = {q0, q1} ∅ = {q0, q1}) d’([q0, q1], 1) = [q0, q1] ( d({q0, q1} ,1) = d(q0, 1) d(q1, 1) = {q1} {q0, q1} = {q0, q1}) T p trạng thái kết thúc F' = {[q1], [q0, q1]} Thực tế,...
  • 19
  • 556
  • 0
tiểu luận môn Nguyên lý các ngôn ngữ lập trình. Đề tài tìm hiểu biểu thức chính quy, thư viện chính quy trong NN Java, PHP.net

tiểu luận môn Nguyên lý các ngôn ngữ lập trình. Đề tài tìm hiểu biểu thức chính quy, thư viện chính quy trong NN Java, PHP.net

Ngày tải lên : 17/04/2016, 21:26
... expression PHP 12 2.2 .1 T p hàm preg 12 2.2 .1. 1 Hàm preg_match 12 2.2 .1. 2 Hàm preg_match_all 12 2.2 .1. 3 Hàm preg_grep 13 2.2 .1. 4 Hàm preg_repalce ... thức l p theo độ dài 10 1. 4.6 Phân nhóm 11 Thư viện biểu thức quy ngôn ngữ l p trình PHP 11 2 .1 Thư viện PCRE l(Perl-Compatible Regular Expressions) 11 2.2 Các ... thích Perl), dựa biểu thức quy Perl sử dụng nhiều công cụ đại PHP Apache HTTP Server Một phần nổ lực việc thi t kế Perl6 cải thi n, phát triển biểu thức quy Perl tích h p tăng phạm vi khả ph p định...
  • 15
  • 823
  • 1
tiểu luận môn Nguyên lý các ngôn ngữ lập trình. Đề tài tìm hiểu BIỂU THỨC CHÍNH QUY VÀ THƯ VIỆN BIỂU THỨC CHÍNH QUY  CỦA CÁC NGÔN NGỮ LẬP TRÌNH PHP, JAVA, .NET

tiểu luận môn Nguyên lý các ngôn ngữ lập trình. Đề tài tìm hiểu BIỂU THỨC CHÍNH QUY VÀ THƯ VIỆN BIỂU THỨC CHÍNH QUY CỦA CÁC NGÔN NGỮ LẬP TRÌNH PHP, JAVA, .NET

Ngày tải lên : 17/04/2016, 21:26
... thường, ta phải giải phóng ký tự \ VD cần so kh p 1+ 1=2, regex 1\ +1= 2 Chú ý 1+ 1=2 regex đúng, nên không báo lỗi, không cho ta kết mong muốn Regex 1+ 1=2 so kh p với 11 1=2 chuỗi 12 3 +11 1=234, dấu ... Regex cho ph p – space / làm dấu phân cách ngày tháng năm Lưu ý dấu l p ký tự ký tự thông thường, không cần phải giải phóng Nhưng regex chưa hoàn hảo, coi 99 /99 /99 ngày h p lệ Giải ph p ti p theo: ... GroupCollection CaptureCollection , mà trình bày việc thu th p groups captures L p Match thể phương thức Group() trả đối tượng GroupCollection L p Group thi hành phương thức Captures() trả CaptureCollection...
  • 13
  • 840
  • 1
Bài giảng toán giải tích   chương 3  automata hữu hạn và biểu thức chính quy

Bài giảng toán giải tích chương 3 automata hữu hạn và biểu thức chính quy

Ngày tải lên : 25/04/2016, 10:52
... diễn t p {00} • (0 +1) * : t p h p tất chuỗi số số 1, kể chuỗi rỗng = {, 0, 1, 00, 01, 10 , 11 , 010 , 011 , 0 010 } • (0 +1) * 011 : ký hiệu cho tất chuỗi 0, tận 011 = { 011 , 0 011 , 10 1 1, 00 011 , 11 01 1, ... (0 +1) *00(0 +1) * : t p h p tất chuỗi 0 ,1 có hai số liên ti p = {00, 000, 10 0 , 0000, 00 01, 10 0 0, 10 0 1, 0 11 00 1, } • (0+ ) (1 +10 ) * : tất chuỗi hai số liên ti p = {, 0, 01, 010 , 1, 10 , 010 1 0, 011 1, ... ch p nhận: L(M) = { x | δ( q0, x )  F } Ví dụ: chuỗi nh p w= 11 01 01 • • • • • • Ngôn ngữ quy δ(q0, 1) = q1 δ(q0, 11 ) = δ(q1, 1) = q0 δ(q0, 11 0) = δ(q1, 10 ) = δ(q0, 0) = q2 δ(q0, 11 01 ) = δ(q1, 10 1 )...
  • 34
  • 757
  • 0
Biểu thức chính quy  thư viện hàm biểu thức chính quy trong PHP

Biểu thức chính quy thư viện hàm biểu thức chính quy trong PHP

Ngày tải lên : 11/06/2016, 15:08
... thích Perl), dựa biểu thức quy Perl sử dụng nhiều công cụ đại PHP Apache HTTP Server Một phần nổ lực việc thi t kế Perl6 cải thi n, phát triển biểu thức quy Perl tích h p tăng phạm vi khả ph p định ... 1+ 1=2, regex 1\ +1= 2 Chú ý 1+ 1=2 regex đúng, nên không báo lỗi, không cho ta kết mong muốn Regex 1+ 1=2 so kh p với 11 1=2 chuỗi 12 3 +11 1=234, dấu + mang ý nghĩa đặc biệt Nếu ta quên không giải phóng ký ... gồm nhiều phiên Linux chia sẻ thư viện so file h Các hàm preg PHP l p REALbasic Regex xây dựng dựa PCRE PCRE thực gần cú ph p biểu thức quy Perl 5 .8, có hỗ trợ thuộc tính Unicode với \p không đầy...
  • 13
  • 548
  • 1
ứng dụng biểu thức chính quy trong bảo mật web

ứng dụng biểu thức chính quy trong bảo mật web

Ngày tải lên : 04/09/2016, 14:38
... thƣờng, không cần phải giải phóng Nhƣng regex chƣa tốt, coi 99 /99 /99 ngày h p lệ Giải ph p ti p theo: [0 -1] \d[- /.][0-3]\d[- /.]\d\d tốt nhƣng chƣa hoàn hảo, kh p với 19 / 39/ 99 Chất lƣợng regex tuỳ ... dòng Ví dụ: preg_replace('/[^a-z0 -9] /','','phpBASIC$') -> php preg_replace('/[^a-z0 -9] /i','','phpBASIC$') -> phpBASIC Ý nghĩa ký tự biểu thức so mẫu: \ loại bỏ ký tự đặc biệt pattern /(phpbasic)/ ... 10 2 .1. 2 Cơ chế hoạt động Webserver 11 2.2 WEB APPLICATION 17 2.2 .1 Web application gì? 17 2.2.2 Cấu trúc Web Application? 17 2.2.3 Các ứng dụng...
  • 95
  • 207
  • 0
Automata hữu hạn  Biểu thức chính quy

Automata hữu hạn Biểu thức chính quy

Ngày tải lên : 25/12/2016, 07:07
... ch p nhận: L(M) = { x | δ( q0, x ) w, a F} Ngôn ngữ quy Ví dụ: chuỗi nh p w= 11 01 01 • δ(q0, 1) = q1 • δ(q0, 11 ) = δ(q1, 1) = q0 • δ(q0, 11 0) = δ(q1, 10 ) = δ(q0, 0) = q2 • δ(q0, 11 01 ) = δ(q1, 10 1 ) ... = δ(q0, 01) = δ(q2, 1) = q3 • δ(q0, 11 01 0) = … = δ(q3, 0) = q1 • δ(q0, 11 01 01) = … = δ(q1, 1) = q0 F Giải thuật hình thức • Mục đích: kiểm tra chuỗi nh p x có thuộc ngôn ngữ L(M) ch p nhận automata ... {q4} {q4} Do q4 F nên w= 010 0 1 L(M) = δ({q0, q3} ,1) = δ(q0, 1) δ(q3, 1) = {q0, q1} • δ(q0, 010 ) = {q0, q3} • δ(q0, 010 0 ) = {q0, q3, q4} • δ(q0, 010 0 1) = {q0, q1, q4} 10 ...
  • 10
  • 430
  • 0

Xem thêm