giới thiệu về biểu thức chính quy introduction to regular expression  1

... Đồ án tốt nghiệp Chơng 1: Giao thức TCP/IP W in d o w 12 11 10 11 10 1 10 3 H n g trư ợ t W in d o w 11 W in d o w (b ) 12 (a ) 12 6 (c ) Đ ã nhận A CK Chưa gửi Hình 1. 14: Hoạt động cửa sổ trợt ... chia chúng thành mạng (Subnets) Ví dụ cho mạng có địa lớp B 19 1 .12 .0.50 coi 19 1 .12 .0.0 địa to n mạng lập địa 19 1 .12 .1 cho Subnet 19 1 .12 .2 cho Subnet Có thể dành trọn nhóm bits để đánh địa Subnet ... Vũ Khoa ĐTTT4 K40 17 Đồ án tốt nghiệp Chơng 1: Giao thức TCP/IP A 1 R espo n se 1 1 R A R P re q u e st R A R P re sp o n se Hình 1. 9 Giao thức RARP 1. 2.3.7 ARP uỷ quy n ARP uỷ quy n phơng pháp...

Ngày tải lên: 25/08/2012, 10:15

Ngày tải lên: 17/04/2013, 16:04

... chọn khác to n tử đối sánh mục Nói thêm to n tử đối sánh, cuối chơng này, sau ta nói tất loại biểu thức qui Một to n tử biểu thức qui to n tử thay thế, làm việc thay phần xâu mà sánh biểu thức qui ... hợp Các to n tử split() join() Biểu thức qui đợc dùng để chặt xâu thành trờng To n tử split() thực điều to n tử join() lại dính mẩu lại với To n tử split() To n tử split() nhận biểu thức qui ... mà bạn thích) Không To n tử =~ giúp To n tử nhận to n tử biểu thức qui vế bên phải, thay đổi đối tợng to n tử thành bên cạnh biến $_ - có nghĩa giá trị có tên bên vế trái to n tử Nó trông tựa...

Ngày tải lên: 28/09/2013, 10:20

... khác to n tử đối sánh mục "Nói thêm to n tử đối sánh", cuối chương này, sau ta nói tất loại biểu thức qui Một to n tử biểu thức qui to n tử thay thế, làm việc thay phần xâu mà sánh biểu thức ... 7.6 Các to n tử split() join() Biểu thức qui dùng để chặt xâu thành trường To n tử split() thực điều to n tử join() lại dính mẩu lại với • 7.6 .1 To n tử split() To n tử split() nhận biểu thức qui ... =~ /(.) \1/ ) { } Mục tiêu to n tử =~ biểu thức cho giá trị xâu vô hướng Chẳng hạn, cho giá trị xâu vô hướng dùng hoàn cảnh vô hướng, tổ hợp điều với to n tử =~ to n tử sánh biểu thức qui...

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

... an to n khả áp dụng ứng dụng nhạy cảm, đặc biệt ứng dụng thương mại to n điện tử Giao thức SSL dựa hai nhóm giao thức giao thức “bắt tay” (handshake protocol) giao thức “bản ghi” (record protocol) ... thuật to n khoá công khai, cho mã hoá va xác thực, phát triển Rivest, Shamir Adleman; RSA key exchange - thuật to n trao đổi khoá cho SSL dựa thuật to n RSA; SHA -1 - thuật to n hàm băm an to n, ... đồ mã hoá thông tin Các thuật to n mã hoá xác thực SSL sử dụng bao gồm (phiên 3.0): DES - chuẩn mã hoá liệu (ra đời năm 19 77), phát minh sử dụng phủ Mỹ DSA - thuật to n chữ ký điện tử, chuẩn xác...

Ngày tải lên: 12/12/2013, 12:15

... q1, δ(q1, 1) = q0, δ(q0, 0) = q2, 11 01? δ(q2, 1) = q3; δ(q3, 0) = q1, δ(q1, 1) = q0 ∈ F (Hay δ(q0, 11 010 1) = δ(q1, 10 1 01) = δ(q0, 010 1) = δ(q2, 10 1) = δ(q3, 01) = δ(q1, 1) = q0 ∈ F) Vậy 11 010 1 ... số hai số liên tiếp = {ε, 1, 10 , 11 , 10 10, 11 1, 10 1 010 , }      (0 +1) * 011 = ? ký hiệu cho tất chuỗi 0, tận 011 = { 011 , 0 011 , 10 11, 00 011 , 11 011 , } 0 *1* 2* = ? ký hiệu cho tất chuỗi có số số ... dụ  Biểu thức ((0 (1* )) + 1) viết 01* +  00 biểu thức quy biểu diễn tập {00}  (0 +1) * ký hiệu cho 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) *00(0 +1) *...

Ngày tải lên: 15/12/2013, 04:15

... dân, to n diện II Nội dung thực tập: Thời gian thực tập: -Từ 11 /1/ 2 010 đến 10 /3/2 010 Công việc giao: -Từ 11 /1 đến 16 /1 Nghe phổ biến trình thực tập, nộp đơn xin thực tập chờ chấp nhận -Từ 18 /1 đến ... phương(tỉ đồng) 2006 94,276 89 ,14 8 86,297 2007 13 5 12 3 12 2 2008 15 5 15 5 15 2 2009 17 0,5 19 9 19 9,5 13 Công tác kế hoạch có nhiều tiến cải cách đáng kể phương thức, mục tiêu thực hiện, thu ngân sách ổn ... trước năm 2 012 3.3.Mục tiêu cụ thể: 3.2 .1 Kinh tế: Tốc độ tăng trưởng GDP đến 2 010 đạt 13 ,7% /năm Giai đoạn 2 011 – 2 015 đạt bình quân 15 ,5%/năm giai đoạn 2 016 – 2020 đạt bình quân 13 ,5%/năm GDP...

Ngày tải lên: 17/02/2014, 12:58

... textbox với biểu thức quy • Split: Sử lý biểu thức quy cách tách riêng thành token sở nơi mà đối tượng bạn tìm thấy cách sử dụng biểu thức quy bạn • Click button lựa chọn Update Automatically ... biểu thức 3 .1 RegexBuddy - Regexbuddy công cụ đầy đủ tính để tạo lập, kiểm tra thực thi biểu thức quy Nó có biểu thức quy cho ngôn ngữ lập trình khác như: NET, Java,… Và cho phép chuyển đổi biểu ... công cụ kiểm tra biểu thức quy online khác (More online Regex Testers) Để tạo công cụ kiểm tra biểu thức quy online điều không khó Nếu bạn có kiến thức phát triển web kiến thức regular expression...

Ngày tải lên: 18/02/2014, 14:20

... Định nghĩa: Biểu thức quy định nghĩa cách đệ quy sau: ε biểu thức quy L(ε)={ε} ∅ biểu thức quy L(∅)={∅} a∈∑, a biểu thức quy L(a)={a} Nếu r, s biểu thức quy thì:  ((r)) biểu thức quy L((r))=L(r); ... L((r))=L(r);  r+s biểu thức quy L(r+s)=L(r)∪L(s);  r.s biểu thức quy L(r.s)=L(r).L(s);  r* biểu thức quy L(r*)=L(r)* Biểu thức quy định nghĩa II.Tính chất biểu thức qui: 1. Phép hợp: • r+∅=∅+r=r ... định xem biểu thức có phải biểu thức qui không  Định dạng lại biểu thức  Đưa biểu thức dạng hậu tố  Biểu diễn biểu thức qui dạng nhị phân Phần I.Cơ sở lí thuyết I.Định nghĩa biểu thức qui:...

Ngày tải lên: 27/03/2014, 11:04

... Editor Bước 5: Đặt x1 ‘0’ đoạn từ ns đến 10 0 ns, tiếp đến đặt x1 1 đoạn từ 10 0 ns đến 200 ns cách đặt chuột vị trí bắt đầu đoạn nhấp kéo đến hết để đánh dấu vùng đặt giá trị, chọn giá trị 1 ... FPGA Bước 1: Gạt chuyển mạch RUN/PROG sang vị trí RUN Nhấp chọn Tools > Programmer để có cửa sổ Hình 11 Đánh dấu vào tùy chọn Program/Configue phép nạp tệp cấu hình light.sof Hình 11 Giao diện ... use IEEE.STD_LOGIC _11 64.all; entity light is port( x1, x2: in std_logic; f : out std_logic); end light; architecture Behavioral of light is begin f

Ngày tải lên: 01/04/2014, 17:45

... 01, 010 , 1, 10 , 010 10, 011 1, } * (0 +1) 011 ký hiệu cho tất chuỗi 0, tận 011 = { 011 , 0 011 , 10 11, 00 011 , 11 011 , } * * * ký hiệu cho tất chuỗi có số số 0, theo sau số số sau số số = {ε, 0, 1, ... δ(q0, 11 01) = q3, δ(q0, 11 010 ) = q1 Và cuối δ(q0, 11 010 1) = q0 ∈ F (Hay δ(q0, 11 010 1) = δ(q1, 10 1 01) = δ(q0, 010 1) = δ(q2, 10 1) = δ(q3, 01) = δ(q1, 1) = q0 ∈ F) Vậy 11 010 1 thuộc L(M) Ta chứng minh ... Chương III : Ôtômát hữu hạn biểu thức quy Thí dụ 3 .14 : Xây dựng NFAε chấp nhận lớp ngôn ngữ ký hiệu biểu thức quy r = 01* + Ta thấy L(r) = { 1, 0, 01, 011 , 011 1, 011 11, 011 111 , … } tập ngôn ngữ chứa...

Ngày tải lên: 27/04/2014, 01:43

... (14 ) (r*s*)*=(r+s)* Ví dụ  Hãy mô tả lời tập hợp định biểu thức 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 ... gọi ngôn ngữ quy ngôn ngữ định biểu thức quy Ví dụ BTCQ giá trị Ví dụ: BTCQ 00 (0 +1) * (0 +1) *00(0 +1) * (1+ 10)*  liên tiếp} Giá trị {00} {0 ,1} * {x|x∈{0 ,1} * x chứa liên tiếp} {x|x ∈{0 ,1} * x có đầu ... 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 01 , 11 , 011 0 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2 Định nghĩa...

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

... chuỗi 0, tận 011 = { 011 , 0 011 , 10 11, 00 011 , 11 011 , } • (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 00, 10 01, 011 0 01, } • (0+ ε) (1+ 10)* : tất chuỗi ... ngữ quy Ví dụ: chuỗi nhập w =11 010 1 • δ(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 010 ) = ... {ε, 0, 01, 010 , 1, 10 , 010 10, 011 1, } • 0 *1* 2* : {ε, 0, 1, 2, 01, 02, 12 , 012 , 0 012 , 011 2, } • 00 *11 *22* : tất chuỗi tập 0 *1* 2* với ký hiệu 0, ↔ viết gọn thành 0 +1+ 2+ 21 Biểu thức quy (RE)...

Ngày tải lên: 13/05/2014, 10:12

... (14 ) (r*s*)*=(r+s)* Ví dụ  Hãy mô tả lời tập hợp định biểu thức 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 ... gọi ngôn ngữ quy ngôn ngữ định biểu thức quy Ví dụ BTCQ giá trị Ví dụ: BTCQ 00 (0 +1) * (0 +1) *00(0 +1) * (1+ 10)*  liên tiếp} Giá trị {00} {0 ,1} * {x|x∈{0 ,1} * x chứa liên tiếp} {x|x ∈{0 ,1} * x có đầu ... 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 01 , 11 , 011 0 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2 Định nghĩa...

Ngày tải lên: 13/05/2014, 16:59

... 11 } L0 = {ε}, L1 = L = {0, 11 }, L2 = LL = {00, 011 , 11 0, 11 11} L3 = LLL = {000, 0 011 , 011 0, 11 00, 011 11, 11 011 , 11 110 , 11 111 1} → L* = L0  L1  L2  … Chú ý: Ø* = {ε}, Ø0 = {ε}, Øn = Ø (n  1) ... dựa vào Định lý 3 .1: Thay trực tiếp Rút gọn R 11( 2) 1* + 1* 0(ε + + 1) *Ø R12(2) 1* 0 + 1* 0(ε + + 1) *(ε + + 1) R 21( 2) Ø + (ε + + 1) (ε + + 1) *Ø R22(2) ε+0 +1 + (ε+0 +1) (ε+0 +1) *(ε+0 +1) 32 Cuối cùng, RE ... trạ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 +...

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

... hết cần phải tạo Linq to SQL class: File  New  File  LINQ to SQL class (Figure 10 ) Microsoft Vietnam – DPE Team | Bài số 2: Giới thiệu cách thức truy cập liệu Figure 10 Tạo LinqSqlDataContext ... DB_TEST.MDF (Figure 11 ) Figure 11 Mô hình LinqSqlDataContext Thiết lập cấu hình cho control Linqdatasource1: Chọn Linqdatasource1  Configure Data Source…  Chọn LinqSqlDataContext (Figure 12 ) Microsoft ... số 2: Giới thiệu cách thức truy cập liệu Figure 12 LinqDataSource  Configure Data Source… Thực đưa liệu từ LinqDataSource vào vào GridView (Figure 13 ) Figure 13 Chọn DataSource GridView1 LinqDataSource1...

Ngày tải lên: 13/05/2014, 19:48

Ngày tải lên: 25/07/2014, 08:20

... Gateway Protocols (IGPs) can be classified as two types: – Distance vector routing protocols – Link-state routing protocols Distance Vector Routing Protocol Operation • Distance vector means that ... www.bkacad.com 13 Distance Vector and Link State Link-state Protocol Operation • A link-state router uses the link-state information to create a topology • map and to select the best path to all destination ... Exterior Gateway Protocols (EGP) are used for inter-autonomous system routing - routing between autonomous systems Học viện mạng Bach Khoa - Website: www.bkacad.com 11 Distance Vector and Link State...

Ngày tải lên: 28/07/2014, 18:21

... navigation, tra Matches, Groups, and Captures đặc tính hay biểu thức quy ta nhóm kí tự làm việc theo cách lệnh hợp C# Pattern biểu thức quy ,ta nhóm kí tự (bao gồm metacharacters chuỗi escape) ... "bananas came to Europe late in the annals of history", cho anan từ bananas, viết an+ có ann từ annals, chuỗi tách biệt an từ bananas biểu thức (an)+ bắt xuất an , anan,ananan, biểu thức an+ bắt ... phương thức phương thức main() mà ta chỉnh sửa đề chọn phương thức Find( ): static void Main() { Find1(); Console.ReadLine(); } Đoạn mã sử dụng thêm namespace : using System; using System.Text.RegularExpressions;...

Ngày tải lên: 30/07/2014, 18:20

... chuyển quy n sở hữu (tính vào nguyên giá TSCĐ) Nợ TK 211 , 213 - Gía trị trả thêm (không có thuế GTGT) Nợ TK 13 3 (13 32) - Thuế GTGT đợc khấu trừ Có TK liên quan (11 1, 11 2, 342) Cách hạch to n phản ... 212 - Nguyên giá TSCĐ thuê + Nếu bên thuê đợc quy n sở hữu hoàn to n BT1) Kết chuyển nguyên giá TSCĐ Nợ TK 211 , 213 Có TK 212 - Nguyên giá BT2) Kết chuyển giá trị hao mòn luỹ kế Nợ TK 214 ( 214 2) ... Hàng không dân dụng Việt Nam ngày tháng năm 19 92 áp dụng mức quy định Quy t định số 11 6 /19 99/QĐ - BTC ngày 21/ 9 /19 99 Bộ trởng Bộ Tài Chính ban hành biểu mức thu lệ phí quản lý nhà nớc hàng không...

Ngày tải lên: 08/08/2014, 16:23