Lý thuyết Ngôn ngữ hình thức và Automata ppt

            !  "#!$%& '(! !!)*+'',        /0               ,121   343 5-444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446 347 89:;4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446        !"  # $% &  !%' 34< 89:9=>8 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444? 34@ 89:84444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444433  743 '8;-ABACDEFF8GHF-8IJKLM44444444444444444437  (%)%*+   (%*+   , "/0"123  # 4567889, # & :3;5<=4;>? #  $%71@AB>,   3B 747 '8;-ABACDEFF8GHF-8IKLM3N  C<D*+$   :3;5<=4;>? '  $%71@AB>$ E 74< OPBAB;JKL9KL444444444444444444444444444444444444444444444444444444444444444444447Q  =5F, A$ G  F18718$ H3,   3B# 74@ )E14444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444447R # $  *;)2;A)I& # ,  *;)2;A)I # 3B     <43 S-TUV DF-2FW>FGGGM4444444444444444444444444444444444444444444444444444444447N  C<D*+94+0J=  C?1! !4+0J='  0K7LMN94+0J= ' # 3BE <47 S-TUV 9;UV 444444444444444444444444444444444444444444444444444447?  3B <4< )E1XYS-TUV 444444444444444444444444444444444444444444444444444444444444444444444<<  O0AHF"=MM  <4@ *=>8UV 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444<< # PQL;=20H3HQL;=20 # $%0J=H3HQL;0J=# # 3B <4R UZA[X;UV 444444444444444444444444444444444444444444444444444444<6 & R07I9%0J=51S B@ & R07I51S )' <46 -\2]V-A^;UV 44444444444444444444444444444444444444444444<? <4N OPBABX89PS-[84444444444444444444444444444444444@Q  F187189L#G  F187189, #  F4I, # # 3B# <4_ \Y^;2UV 444444444444444444444444444444444444444444444444444444@@ ' C<TU8;V %0J= ## ' W5X7<U8;V#& ' 3B#  @43 *=>8>;`444444444444444444444444444444444444444444444444444444444444444444444444444444444444444@N # C<DHQL;H3%# # ,Y"KKH35Y"KK #E # =5Y"K#E ## 3B& @47 )E1X9=>8>;`444444444444444444444444444444444444444444444444444444444444444R7 # (%%B*& @4< OP\>a9=>8>;` 44444444444444444444444444444444444444444444444444R7 # 3B&# @4@ J-bX9=>8>;`44444444444444444444444444444444444444444444444444444444444R@ ## Z L[)0\H%0&# ## Z L[BM]ε& ## Z L[BM78H<&E ### ^1@HQL; ##& ,L_ ;M)=  ## 3B  #   R43 '8Ab.W-cDd-GJeL-8IdJLM444444444444444444444444444444444444444444446@ & (%)%*+ # & C<D*+ & & 456O,.`47a &# K*9O,. R47 ;AfA\YgdJL44444444444444444444444444444444444444444444444444444444444444444446N & C B>LN  & C B>Q"2b ' & =4AO,.7 B>Q"2bHcO,.7 B>L N E &# =4O,.7 B>LNHcO,.7 B>Q"2 b  && 3B R4< OPBAB;dJL99=>8>;` 444444444444444444444444444444444444N7 & =4HQL;3O,.  & =4O,.3HQL;  & 3B R4@ '8Ab.W-cABAC44444444444444444444444444444444444444444444444444444444444444444444444444444444N6 &# 3B R4R UZX;>;`4444444444444444444444444444444444444444444444444444444444NN R46 -\2]V-A^;>;` 44444444444444444444444444444444444444N? R4N \Y^;>;`44444444444444444444444444444444444444444444444444444N? & d01S=5Y"K'G & C<T8; %'G & W5X7<T8; %' &# 3B'  643 ,.- 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444_@  C<D;=R '#  456;=R`47a '  K*9;=R ' # $%71@7 B>;=R '' & 3B'' 647 UYg8.- 44444444444444444444444444444444444444444444444444444444444444444444444444444444444__  3B'E 64< "-\A:-I-D--FGGM4444444444444444444444444444444444444444444444_? 64@ h-\Wi.EP8.-44444444444444444444444444444444444444444444444444444444444444444444?Q # $S>?7c)4L EG # QceEG # 18* E 64R 80X8.-444444444444444444444444444444444444444444444444444444444444444444444?3 & (=RIcQ E  &  & (=R)%787<E 2-8`j j j j j j j j j j j j j j j j j j j j j j j j j j j j ?<       P3 Q;EGf.R7e!+;=A1@I)QF \0 1;=03==;=A1@3=71@g3 P3 Q;E#GH3E&Gf;=A1@788f;3hg3 f7e71@!+>3) g 7IfH3 Q;E&Gf3%g ;M)=7eF\!+Hc *+PQL;3=I;NJ\ijHS%%;H33==HQL; 3;?kc9H\"=5F;?MNk;c;f7i\;318*5< l%;3;%*0 ck;c;JgmL51S7=3;?MN +5Xn • Ok;c;2)2H3)4;;L7\/MN • ?0AHF9;?18*5< • ,<A%B M%BK • ,<A%F!3=M%F!).fOfP\fo • R*;)2;A HQ )\;89;%g3=3n%fHQL;H3%%;Mj71@*3= AS7872S+LH3;NJ\;K2h (?%f 5p3%F!=%B*f*7c71@";3;? B@R=!f1S)I7<D0"Hc%fhMj*; 4;?MNJ\;*+Hc%    = q g3 ? )0 F 3 ;?  L  )0\M=;    1r71@)0\3Σ  Mn   sfffoftunZ   sGffofEu nMNB   sGfu  nMN<      Afb3;?5e=L)0\A R%1rfM/5X1rfffo456)0\? H3vffHfo456"  Σwsffu"H3?Σ b3")%h)0\3 f1r71@)0\3ε   !" #$ kE"9;?"v71@)0\3xvxf3MN)0\9" ^c  "H3H3"B71@`N)0\9"H H3 Np!9"f+3n w    o  H3Hw    o ; *)2N9H3H3"Hw    o      o ;  `HM"3"B71@`H2)0\ +F1@LfD 3 vw    o  *"7 B71@3v y w   ] o   Z1Tfε y wε :cz"H3\-c Mz"n2vwH*71@g3cN9vH3H3BN 9v "l.m v"n2v3;?"*v  3"B71@`)2NvHS 0Ik v  wvvovk Z1Tfv G wεHS;gv % &' $%3;?B@"!Σ$%1r71@)0\3Z RBK"!Σf71@)0\3Σ {  |3;?% Σ } 3BK"!Σ LA"bfD3n Σ }  wΣ {  ]ε ∅3%bf+3)%+K)~)0\3  sεu3%•+"bZ1Tf∅)HSsεu  ΣwsGfu ZwsGG  x€Gu3;?%!Σ qΣ { wsεfGffGGfGfGffGGGfou  Z  wsffffu3!sfu  Z  ws   x€Gu3!sfu  '  (  !" #' $%3;?B@f5 7IK !B@7cI45X  %$ 3%qI;?MN Jg)  %ZfZ  H3Z  !Σ  Z  ∪Z  wsvxv∈Z   iv∈Z  u Z  ∩Z  wsvxv∈Z  H3v∈Z  u  Z  •Z  wsvxv∈Z  H3v∉Z  u  wsvxv∉Zu i  wΣ {  ]Z  Z  Z  wwsvxvwHf∈Z  H3H∈Z  u  Z  wsGfuH3Z  wsGGfu  Z  Z  wsGGGfGfGGfu Z y wsvxv y ∈Zu  Z  wZZoZk :=Z G wsεufZ  wZZ ]   Z { wZ G ∪Z  ∪o∪Z    Z } wZ  ∪Z  ∪o∪Z   Z1Tn Z { wZ } ∪sεu   Z } wZZ { wZ { Z  Zwsfu   Z  wsfffu Z  wsffffffffffff fffu  E  d!+%k;?82;%%7I3;;(? )%*+fHQL;3J=‚M7h CNHS%F!fHQL;3\NCNHS%B*fHQ L;3J=‚hH218* C<D;?2P\78>HQL;Mn   ƒ€ → ƒ9€ƒP<€   ƒ9€ → ƒ,A€xƒ,A€ƒR0A€   ƒP<€ → ƒC?A€xƒC?A€ƒ„€   ƒ„€ → ƒRLA€xƒ,A€ƒR0A€ PQL;!M7hMn ]  „Q q7 ] :gMI=\c Cn3434PQL;^71@7<D13?Nn   ^w$fΣfyf  7In ] $3B@L)0\)%)2h ;M=; = q71@g32… ] Σ3fB)0\)2h;M=; f$∩Σw∅… ] ∈$3)0\7k=2)>7k… ] y3BJ=‚ iM"K†BM 5 fB MI5Ln α→β    7Iα∈$∪Σ } I+0K;?2fβ∈$∪Σ {  • 2†)0\)%)2h?$71@456>)0Fn.fffo • )0\)2h?Σ71@456>)0Fnfffo • "•a;)0\)2h71@456>)0FnvffHfo • "a;)0\)2hH3)0\)%)2h71@456> )0Fnαfβfγfo ]  HQL;^  wsf.fufsfufyff 7Iya;BM Mn→x.f.→f→x.xε ]  HQL;^  wsufsGfufs→Gxεuf RAHQL;74MfhI)\;5Y"K Cn3474  G   HQL;^w$fΣfyfH3"∈$∪Σ } H3H∈$∪Σ {  • =5Y"K;?1SnI5Y"KF2Hf)0\    f2H3•2n  w"α=     Hw"β=     α→β∈y • =5Y"Kc1SnI5Y"K2Hf)0 \ {    f2H3•2n          Cn34<4  ^w$fΣfyffv∈Σ { 5 HQL;^M2H3•2n     {   $D3aLn         fv  fv  fo71@g39 5Y"K Cn34@4  HQL;^w$fΣfyff%Z5 HQL;^M3n   Z^wsv∈Σ { x   {  u  HQL;^  wsufsGfufs→Gxεuf *GGGGGGGGG3;?5Y"K $%18+9HQL;^  3nZ^  wsG    x≥Gu  HQL;^  wsf.ufsfufs→.f.→.f.→uf $%18+9HQL;^  3nZ^  ws  x€Gu R  ;M)=I# LHQL; 5L9BM1Mn  $2BM7cI5L.→ i.→HS.f∈$f∈Σ*HQL; 71@g3 !=HQL; L  $2BMI5L.→αf.∈$fα∈$∪Σ { *HQL;71@g3 "=HQL; L  $2BMI5Lα→βfα∈$∪Σ } fβ∈$∪Σ { [;exαx≤xβx* HQL;71@g3""=HQL; L # $2)%IL2*!BM*HQL;71@g3 #$%=HQL; LG