![Page 2: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/2.jpg)
Nội dung bài giảng
1. Khái niệm
2. Định nghĩa hình thức
3. Sự tương đương với Ôtômat hữu hạn
1
![Page 3: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/3.jpg)
Khái niệm
![Page 4: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/4.jpg)
Khái niệm
• Biểu thức chính quy: Sử dụng các toán tử chính quy để biểudiễn một biểu thức mô tả ngôn ngữVí dụ: (0∪1)0*→ Tất cả các xâu bắt đầu bằng 1 ký tự 0 hoặc 1 và sau đó làmột số nào đó các ký tự 0
• Vai trò của Biểu thức chính quy: Là một phương pháp mạnhđể mô tả 1 mẫu văn bản nào đó→ Trong một số ngôn ngữ lập trình đều ứng dụng kỹ thuậtmô tả mẫu bằng biểu thức chính quy (Regular Expression)
2
![Page 5: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/5.jpg)
Định nghĩa hình thức
![Page 6: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/6.jpg)
Định nghĩa hình thức của biểu thức chính quy
Ta nói R là một biểu thức chính quy nếu R là:
1. a với a là ký hiệu nào đó trọng bộ chữ Σ2. ε3. Ø4. (R1 ∪ R2) trong đó R1 và R2 là các biểu thức chính quy5. (R1 ◦ R2) trong đó R1 và R2 là các biểu thức chính quy6. (R1*) trong đó R1 là một biểu thức chính quy
3
![Page 7: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/7.jpg)
Độ ưu tiên của các toán tử chính quy
• Toán tử sao có độ ưu tiên cao nhấtab* = a(b*) 6= (ab)*
• Toán tử ghép tiếp có độ ưu tiên cao hơn toán tử hợpa◦b ∪ c = (a◦b) ∪ c 6= a(b ∪ c)
• Một số ký hiệu khác:- Hoặc (Union): ab|c = (ab)|c 6= a(b|c)- Sao: a* = {a} = {a}*- 1 hoặc nhiều: a+ = aa* = {a}+
- Tùy chọn: [a] = a|ε= (a∪ε) = a?
4
![Page 8: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/8.jpg)
Ví dụ về độ ưu tiên toán tử chính quy
• aab∪caab∪caa = ????
• aab|caab|caa = ????
• d∪ab* cd* = ????
• d|ab* cd* = ????
5
![Page 9: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/9.jpg)
Ví dụ về độ ưu tiên toán tử chính quy
• aab∪caab∪caa = (aab)∪(caab)∪caa• aab|caab|caa = (aab)|(caab)|(caa)• d∪ab* cd* = d∪(a(b*)c(d*))• d|ab* cd* = d|(a(b*)c(d*))
6
![Page 10: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/10.jpg)
Ví dụ biểu thức chính quy
Giả thiết sử dụng bộ chữ Σ = {0,1}
1. 0*10* = {w|w chỉ có một ký hiệu 1}2. Σ*1Σ* = {w|w có ít nhất một ký hiệu 1}3. Σ*001Σ* = {w|w có chứa xâu con 001}4. 1*(01+)* = {w|sau mỗi ký hiệu 0 trong w sẽ có ít nhất 1 ký
hiệu 1}5. (ΣΣ)* = {w|w là xâu có độ dài là một số chẵn}6. 01∪10 = {01,10}
7
![Page 11: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/11.jpg)
Ví dụ biểu thức chính quy
7. 0Σ*0∪1Σ*1∪0∪1 = {w|w bắt đầu và kết thúc bởi cùng 1 kýhiệu}
8. (0∪ε)1* = 01*∪1*9. (0∪ε)(1∪ε) = {ε,0,1,01}10. 1*Ø= Ø→ Ghép tập trống với bất cứ tập nào cũng sinh ra
tập trống11. Ø* = {ε}12. Ø|01 = {01}
8
![Page 12: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/12.jpg)
Sự tương đương với Ôtômat hữuhạn
![Page 13: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/13.jpg)
Ngôn ngữ của biểu thức chính quy
• Mỗi biểu thức chính quy R đều mô tả một ngôn ngữ → Ngônngữ gì?L(a) = {a}L(R1|R2) = L(R1) ∪ L(R2)L(R1 ◦ R2) = L(R1) ◦ L(R2)L(R1*) = L(R1)*L(ε) = {ε}L(Ø) = {}
9
![Page 14: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/14.jpg)
Ngôn ngữ của biểu thức chính quy
Định lý 1Một ngôn ngữ là chính quy nếu và chỉ nếu có một biểu thứcchính quy nào đó mô tả nó⇔ Định lý này có 2 chiều. Ta phát biểu nó thành từng bổ đề sau
Bổ đề 1.1Nếu một ngôn ngữ được mô tả bởi một biểu thức chính quy thìnó là chính quy
Bổ đề 1.2Nếu một ngôn ngữ là chính quy, thì nó được mô tả bởi một biểuthức chính quy
10
![Page 15: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/15.jpg)
Chứng minh Bổ đề 1.1
Từ Hệ quả 1.40 (Sách giáo trình): Nếu 1 NFA đoán nhận A thì Alà chính quy → Chuyển đổi R thành một NFA N
1. R = a → L(R) = {a}
start a
2. R = ε→ L(R) = {ε}
start
3. R = Ø→ L(R) = Ø
start
4. R = R1 ∪ R2
5. R = R1 ◦ R2
6. R = R1*Với 3 trường hợp cuối ta chứng minh tương tự với chứng minh tính đóng của 3toán tử (Xem lại bài 3)
11
![Page 16: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/16.jpg)
Ví dụ: Chuyển đổi R → NFA
Chuyển đổi biểu thức chính quy sau thành NFA: (ab∪a)*
a → start a
b → start b
ab → start a ε b
ab∪a → start
ε
ε
a ε b
a
12
![Page 17: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/17.jpg)
Ví dụ: Chuyển đổi R → NFA
(ab∪a)*
start ε
ε
ε
a ε b
a
ε
ε
13
![Page 18: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/18.jpg)
Chứng minh Bổ đề 1.2
Ý TƯỞNG:
- Vì A là ngôn ngữ chính quy → Nó được đoán nhận bởi 1 DFA- Chuyển đổi DFA thành biểu thức chính quy → Cần sử dụngGNFA. Vậy GNFA là gì?
14
![Page 19: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/19.jpg)
Ôtômat hữu hạn không đơn định suy rộng (GNFA)
• GNFA = Generalized Nondeterministic Finite Automaton→ Là Ôtômat hữu hạn không đơn định suy rộng
• GNFA giống NFA ngoại trừ:- Nhãn của các cạnh là các biểu thức chính quy- Chỉ có 1 trạng thái chấp thuận- Trạng thái chấp thuận không trùng với trạng thái bắt đầu- Không có cạnh nào nối tới trạng thái bắt đầu- Không có cạnh nào xuất phát từ trạng thái kết thúc- Loại trừ trạng thái bắt đầu và kết thúc, mọi mũi tên có thể đitừ 1 trạng thái đến các trạng thái còn lại hoặc là tới chính nó
15
![Page 20: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/20.jpg)
Ví dụ GNFA
q0start
q1
q2
q3
ab*
Øa*
(aa)*
b*
ab ∪ ba
aa
ab
b
16
![Page 21: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/21.jpg)
Chuyển đổi DFA → GNFA
• Thêm trạng thái bắt đầu mới
start ε
• Thêm trạng thái kết thúc mới
ε
ε
17
![Page 22: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/22.jpg)
Chuyển đổi DFA → GNFA
• Cạnh có nhiều chuyển đổi → Hợp của các chuyển đổi
a, b, c a|b|c
• Thêm các cạnh còn thiếu bằng các cạnh Ø sao cho đầy đủkết nối (Fully connected)
startstart
Ø
Ø
Ø
Ø
Ø
18
![Page 23: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/23.jpg)
Chuyển đổi DFA → GNFA
• Chọn 1 trạng thái và tách nó ra khỏi máy. Chỉnh sửa phầncòn lại sao cho ngôn ngữ tương tự vẫn được đoán nhận →Trạng thái bị tách ra được gọi là qrip
qi qj
qrip
R4
R1
R2
R3
qi qjR4|R1R2*R3
• Lặp lại bước trên cho đến khi máy chỉ còn 2 trạng thái bắtđầu và kết thúc
start< Regular Expression >
19
![Page 24: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/24.jpg)
Ví dụ
• Cho bộ chữ Σ = {0,1,2}• Chuyển đổi DFA sau thành biểu thức chính quy
bstart c2
0,1 0,1
• Kết quả: (0|1)*2(0|1)* → Làm như thế nào?
20
![Page 25: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/25.jpg)
Chuyển từ DFA sang GNFA
astart b c d2
0|1 0|1
ε ε
Ø
Ø
Ø
Ø
21
![Page 26: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/26.jpg)
Loại bỏ nút b
astart c dØ|ε(0|1)*2 = (0|1)*2
(0|1)|Ø(0|1)*2 = (0|1)
ε|Ø(0|1)*Ø = ε
Ø|ε(0|1)*Ø = Ø
Thu gọn lại, ta được:
astart c d(0|1)*2
(0|1)
ε
Ø
22
![Page 27: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/27.jpg)
Loại bỏ nút castart d
Ø|(0|1)*2(0|1)*ε
Cuối cùng, ta được:
astart d(0|1)*2(0|1)*
→ Mỗi biểu thức chính quy R đều mô tả một ngôn ngữ chính quy
23
![Page 28: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/28.jpg)
Định nghĩa hình thức của GNFA
• Ôtômat hữu hạn không đơn định suy rộng (GNFA) ≡ bộ 5(hay 5 chiều)
G = (Q, Σ, δ, qstart, qaccept)Trong đó:
- Q: Tập trạng thái (hữu hạn)- Σ: Bộ chữ, tập hữu hạn các ký tự- δ: Hàm dịch chuyển
δ: (Q-{qaccept}) x (Q-{qstart}) → RR là tập tất cả các biểu thức chính quy trên bộ chữ Σ
- qstart: Trạng thái bắt đầu- qaccept: Trạng thái kết thúc
24
![Page 29: LÝ THUYẾT TÍNH TOÁN - BÀI 4: BIỂU THỨC CHÍNH QUYvillahp.github.io/download/LTTT/Slide/Chap 4.pdf · 2017. 6. 7. · LÝTHUYẾTTÍNHTOÁN BÀI 4: BIỂU THỨC CHÍNH QUY](https://reader035.vdocuments.mx/reader035/viewer/2022062415/5fc4d2f78a3dbf47a576a044/html5/thumbnails/29.jpg)
Questions?
24