Thông tin tài liệu
ả ộ ! " # $ % % $ & " ! & ' ( ) & ! ! * + , ( - - - Lý thuy t automata và ế ngôn ng hình th cữ ứ !"#$ ! ữ ữ ạ %&' &( Ụ ) *+ ,- %&(.ị ữ ệ ữ ạ / &.ạ +010),23 3 + &.ổ ươ ươ ữ ạ 45%67(! 3 &.ể ứ ự ươ ươ ớ ,./ 8,92 +*+ + +),23 !!+' )! 0ữ ệ ậ ổ ạ ậ !"#$ ! ữ ữ ạ ":+*+ ệ ơ ượ " 3 3 %&(ữ ạ ơ ị "" 33 %#&(ữ ạ ị "; ' <%#&<(ớ ị ể "=8 3 &!#&ự ươ ươ ữ ">8 3 #&<!&ự ươ ươ ữ "? 45ể ứ 3.7.1. khái ni m v bi u th c chính quyệ ề ể ứ 3.7.2. S t ng đ ng gi a FA và REự ươ ươ ữ 3.7.3. S t ng đ ng gi a DFA và REự ươ ươ ữ " =@:"@:; !$ A Bữ ứ !"#$ ! ữ ữ ạ 0"1122 3 4 ệ ơ ượ " 3 3 %&(ữ ạ ơ ị "" 33 %#&(ữ ạ ị "; ' <%#&<(ớ ị ể "=8 3 &!#&ự ươ ươ ữ ">8 3 #&<!&ự ươ ươ ữ "? 45ể ứ 3.7.1. khái ni m v bi u th c chính quyệ ề ể ứ 3.7.2. S t ng đ ng gi a FA và REự ươ ươ ữ 3.7.3. S t ng đ ng gi a DFA và REự ươ ươ ữ ; =@:"@:; !$ A Bữ ứ ":+*+ ệ ơ ượ =@:"@:; = (53! + %$A4+(C /2! 3 3 C* ộ ừ ượ ơ ạ ộ ơ ả ư ả 9đoán nh n ngôn ngậ ữ 62275386(9B$A4+ DC* 3/-!*,2E !0/-3,-Cữ ạ ở ọ *4 $23 !*$ $25+A4+.ướ ữ ạ ị ể ở ộ 3 ) %ạ ộ ừ ướ ờ ạ 7:(. #C$ ) ả ở ộ 6(0 ! $! ! 3C#,2 ' ) ụ ộ ả ệ ạ ướ ử ụ ộ ớ %373;<( 9-CC4/2 ) $ ả ử ộ ộ ớ ạ . 8 0/) + ự ệ ữ ạ 53*+ ,2' , $C 3 3 !ủ ự ệ ể ượ ư *$. !$ A Bữ ứ ":+*+ ệ ơ ượ =@:"@:; > !$ A Bữ ứ &%& ( #&%#'& ( 67%67F0( 6%6(6 6(86227 (539 ":+*+ ệ ơ ượ =@:"@:; ? 1 =>=ậ ữD3+ + $ 3Cậ ừ ủ ữ 3 )923/- +3 ) +3/-,%ạ ộ ủ ừ ộ ạ ặ ệ ;7(. 9- 3 %ả ử ạ ỗ ờ ể 7:2377:(3 +!3C%ở ộ ạ 5;;7 7(3/-! 3C *G /-F G' +3 *G 3Củ ậ ộ ự ủ ỗ ử ướ ộ ủ ự +*,2,20%ể ộ ạ 7?7(. 3 3+ ,2 +$2H ! + +*,2ỗ ượ ậ ạ ủ ơ ộ ạ E%@227( !$ A Bữ ứ !"#$ ! ữ ữ ạ ":+*+ ệ ơ ượ 0&(53 5 A A 8B6(9ữ ạ ơ ị "" 33 %#&(ữ ạ ị "; ' <%#&<(ớ ị ể "=8 3 &!#&ự ươ ươ ữ ">8 3 #&<!&ự ươ ươ ữ "? 45ể ứ 3.7.1. khái ni m v bi u th c chính quyệ ề ể ứ 3.7.2. S t ng đ ng gi a FA và REự ươ ươ ữ 3.7.3. S t ng đ ng gi a DFA và REự ươ ươ ữ I =@:"@:; !$ A Bữ ứ " 3 3 %&(ữ ạ ơ ị =@:"@:; J =C0"ị &! ) 9Dộ ộ ộ K%LM5 N &( 3CD DD 0*+ 0 + +%05O(.ậ ỗ ậ ữ ạ ạ ED) + 0!%)O(.ộ ữ ậ FD → G35< ể %1?ạ( PLCQ!M%0(K5 M%0(KR3C⊆ ặ 05 ∈ ∈L. ! ∈D +)923/-%ạ ;7(. 6⊆D 0+ +*,2E%ậ ạ @227( 0KPLC! ườ ợ ộ B6(AH/<A ủ !$ A Bữ ứ " 3 3 %&(ữ ạ ơ ị =@:"@:; :N 2 5I2 ể ễ D /2!! + CC ộ ự ể ạ ủ ể ' ' ướ ạ J =5< ả ể + ' ' ạ ặ ướ ạ A>/ 5< ị ể =C0&ị >/ 5< ị ể ! 33$- C %C C*,(D 03 ộ ị ướ ể ậ ỉ ủ 3 +S) +0/- +3 +S) +0/- L,2 Lượ ở ử ộ ượ ở ử ộ ∈ 05 !M%5(K0A C 3 5 3 03 +ST ! 3$- ∈ ẽ ộ ừ ỉ ớ ỉ ượ ỉ ủ ị +)3/-5ể ứ ớ ạ N =C00ị =5< ả ể U) C*4 VVPVLV3C'W X ) !ả ỡ ộ ủ ả ) $2ặ ỏ !$ A Bữ ứ [...]... (NFA) 25 Ví dụ 3.7: Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA) 26 Ví dụ 3.8: Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 Bài 3 Ngôn ngữ và automata hữu hạn 27 3.1 Các khái niệm sơ lược 3.2 Automata hữu hạn đơn định (DFA) 3.3 Automata hữu hạn đa định (NFA) 3.4 Automata với dịch chuyển... 5/13/14 Bài 3 Ngôn ngữ và automata hữu hạn 36 3.1 Các khái niệm sơ lược 3.2 Automata hữu hạn đơn định (DFA) 3.3 Automata hữu hạn đa định (NFA) 3.4 Automata với dịch chuyển ε 3.5 Sự tương đương giữa DFA và NFA 3.6 Sự tương đương giữa NFAε và DFA 3.7 Biểu thức chính quy 3.7.1 khái niệm về biểu thức chính quy 3.7.2 Sự tương đương giữa FA và RE 3.7.3 Sự tương đương giữa DFA và RE Automata và ngôn ngữ hình thức... F) return (true); else return (false); Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 Bài 3 Ngôn ngữ và automata hữu hạn 17 3.1 Các khái niệm sơ lược 3.2 Automata hữu hạn đơn định (DFA) 3.3 Automata hữu hạn đa định (NFA) 3.4 Automata với dịch chuyển ε (NFAε) 3.5 Sự tương đương giữa DFA và NFA 3.6 Sự tương đương giữa NFAε và DFA 3.7 Biểu thức chính quy 3.7.1 khái... dụ 3.3: automata đa định sau nhận dạng các xâu kềế thúc bắề g 01 t n Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA) 19 Xét quá trình automata A nhận dạng xâu 00101: Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA) 20 Định nghĩa 3.5: Automat hữu hạn đa... {1*0*01x : x ∈ {0, 1}*} Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.2 Automata hữu hạn đơn định (DFA) 14 Ví dụ 3.2: Automat sau nhận dạng ngôn ngữ gôề chẵn các sôế và ch ẵn các sôế m 1 0 Quá trình đoán nhận các xâu: 001011, 101010, 10010 Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.2 Automata hữu hạn đơn định (DFA)... từ trạng thái đâề q0 và kềế thúc ở trạng thái kềế với dãy nhãn của đường đi là t u u t t a1a2 an Ngôn ng ω châế p δ ' ( q0ữ,đượ)c ∈ Fnhận bởi một automata A: L(A) = { x | δ’( q0, x ) ∈ F } Các ngôn ngữ châế nhận bởi automata hữu hạn đơn định được gọi là ngôn ngữ chính quy p Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.2 Automata hữu hạn đơn định (DFA) 16... từ trái qua phải Automata đoán nhận chuỗi khi đọc hết xâu và rơi vào trạng thái kết thúc Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.2 Automata hữu hạn đơn định (DFA) 13 Ví dụ 3.1: Cho automata A = ({q0; q1; q2}; {0, 1}, δ, q0, {q1}) với hàm chuyển được cho dưới dạng bảng chuyển và đôề ị chuyển như sau: th Ngôn ngữ được đoán nhận bởi automat A: L = {1*0*01x... w=01001 ∈ L(A) Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University = δ({q0, q3},1) = δ(q0, 1) ∪ δ(q3, 1) = {q0, q1} • δ(q0, 010) = {q0, q3} • δ(q0, 0100) = {q0, q3, q4} • δ(q0, 01001) = {q0, q1, q4} 5/13/14 3.3 Automata hữu hạn đa định (NFA) 24 Ví dụ 3.6: Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA)... đương giữa FA và RE 3.7.3 Sự tương đương giữa DFA và RE 3.7.4 Sự tương đương giữa NFAε và RE Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA) 18 DFA tại một thời điểm với một trạng thái và một ký tự nhập vào thì máy chỉ có th ể chuy ển đềế không n nhiềề hơn một trạng thái u NFA là automata mà ứng với một trạng thái và một ký tự... ⊆ Q Ngôn ngữ L(A), với A là NFA (Q, Σ, δ, q0, F) là tập hợp : L(A) = {w | δ(q0, w) có chứa một trạng thái trong F} Automata và ngôn ngữ hình thức - © PhD C.T.Ha, Le Quy Don Technical University 5/13/14 3.3 Automata hữu hạn đa định (NFA) 22 Ví dụ 3.4: cho automata (hình vẽ) và xét chuỗi nhập 01001 q0 0 q0 0 1 q0 1 q3 0 q0 0 q1 0 q0 1 0 q3 q0 1 q3 q1 0 q4 1 q4 Ngôn ngữ được đoán nhận bởi automata . 3/ -ạ ở 6⊆! 0 +*,2.ậ ạ cF ạ F! ! 3 %!*$ 3 3 (A ộ ị ơ ị ậ ( 3 !*$ 3 3 .ượ ọ ơ ị "" 3 3 %#&(ữ. ^Kỗ : 3 3 + ) &%CQ!ượ ậ ở (,2$- ạ ộ 3 3 )92 3/ - + 3/ -5ườ ừ ạ N !*,2E +*,2 'SS 3 3 !ở. 3 #&<!&ự ươ ươ ữ "? 45ể ứ 3. 7.1. khái ni m v bi u th c chính quyệ ề ể ứ 3. 7.2. S t ng đ ng gi a FA và REự ươ ươ ữ 3. 7 .3. S t ng đ ng gi a DFA
Ngày đăng: 13/05/2014, 10:00
Xem thêm: Ngôn ngữ và automat hữu hạn, Ngôn ngữ và automat hữu hạn, Bài 3. Ngôn ngữ và automata hữu hạn
