                          ả
          ộ
                
  ! " # $  % % $  & "  ! &
'  (  )      & ! ! * + , (  - -   - 
Lý thuy t automata và ế
ngôn ng hình th cữ ứ





!"#$ !  ữ ữ ạ
%&'
&(
  Ụ

)  *+ ,-  %&(.ị ữ ệ ữ ạ

/ &.ạ

+010),23  3  + &.ổ ươ ươ ữ ạ

  45%67(!  3  &.ể ứ ự ươ ươ ớ
,./

8,92 +*+ + +),23 !!+' )! 0ữ ệ ậ ổ ạ ậ

!"#$ !  ữ ữ ạ
":+*+   ệ ơ ượ
"  3 3 %&(ữ ạ ơ ị

9đoán nh n ngôn ngậ ữ

62275386(9B$A4+  DC* 3/-!*,2E !0/-3,-Cữ ạ ở ọ
*4   $23 !*$   $25+A4+.ướ ữ ạ ị ể ở ộ

 3  )   %ạ ộ ừ ướ ờ ạ 7:(.

#C$ )  ả ở ộ 6(0  ! $!  ! 3C#,2 ' )  ụ ộ ả ệ ạ ướ ử ụ ộ ớ
%373;<(  9-CC4/2 )  $ ả ử ộ ộ ớ ạ .

8 0/)  + ự ệ ữ ạ 53*+ ,2' , $C 3 3 !ủ ự ệ ể ượ ư
*$.
!$ A Bữ ứ
":+*+   ệ ơ ượ
=@:"@:;
>
!$ A Bữ ứ
&%&
(
#&%#'&
(
67%67F0(
6%6(6
6(86227
(539
":+*+   ệ ơ ượ
=@:"@:;
?

1 =>=ậ ữD3+ +  $ 3Cậ ừ ủ ữ

N
&(
3CD
DD 0*+  0  + +%05O(.ậ ỗ ậ ữ ạ ạ
ED)  + 0!%)O(.ộ ữ ậ
FD → G35< ể %1?ạ( PLCQ!M%0(K5 M%0(KR3C⊆ ặ
05 ∈ ∈L.

!
∈D +)923/-%ạ ;7(.
6⊆D 0+ +*,2E%ậ ạ @227(
  0KPLC! ườ ợ ộ B6(AH/<A ủ
!$ A Bữ ứ
"  3 3 %&(ữ ạ ơ ị
=@:"@:;
:N

2 5I2 ể ễ D  /2!!  + CC ộ ự ể ạ ủ ể
' ' ướ ạ J =5< ả ể  + ' ' ạ ặ ướ ạ A>/ 5< ị ể 

=C0&ị  >/ 5< ị ể ! 33$- C %C C*,(D 03  ộ ị ướ ể ậ ỉ ủ
3 +S) +0/-  +3 +S) +0/-  L,2 Lượ ở ử ộ ượ ở ử ộ ∈
05 !M%5(K0A C  3 5 3 03 +ST ! 3$- ∈ ẽ ộ ừ ỉ ớ ỉ ượ ỉ ủ ị
    +)3/-5ể ứ ớ ạ
N


=C00ị  =5< ả ể U) C*4 VVPVLV3C'W X ) !ả ỡ ộ ủ ả 
 ) $2ặ ỏ


0 1
, , ,
m
Q q q q=
{ }
1 2
, , ,
n
a a aΣ =
0
0,1
0
0
1
1
1
0111
111
11
1

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
Thứ tự đọc từ trái qua phải
"  3 3 %&(ữ ạ ơ ị
:
!$ A Bữ ứ
=@:"@:;
"  3 3 %&(ữ ạ ơ ị
=@:"@:;
:"

:
M\%5ε(K5.

M\%5](KM\%M\%5](( ớ ∀]

 ^Kỗ
:




3 3+ ) &%CQ!ượ ậ ở (,2$-  ạ ộ
3 3)923/-  +3/-5ườ ừ ạ
N
!*,2E  +*,2 'SS 3 3!ở ạ ớ ủ ườ

:






#$ 3 /20 )  Dữ ượ ậ ở ộ
%(KYFVM\%5
N
F(∈&Z

C+$ /20 )   3 3 3  !ữ ậ ở ữ ạ ơ ị ượ ọ =>= K5<ữ 
!$ A Bữ ứ

3.7.2. S t ng đ 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
:?
=@:"@:;
!$ A Bữ ứ
""  33 %#&(ữ ạ ị
=@:"@:;
:I

&   3    +! *G  0!A+ C  3,2*$ạ ộ ờ ể ớ ộ ạ ộ ự ậ ỉ ể ể
,-   +ơ ộ ạ

#&!!    +! *G  0C C*$  ,-010ứ ớ ộ ạ ộ ự ậ ể ộ ặ
  +ể ạ

KI 00ụ 33  ' +F/*,2E)9-N:ị ậ ạ
!$ A Bữ ứ
=@:"@:;
:J
""  33 %#&(ữ ạ ị
!$ A Bữ ứ

b15+A ' F/NN:N:Dậ ạ
=@:"@:;
N

=C0%ị   33 3 3 Q) ) =Dữ ạ ị ượ ị ở ộ
K%Σδ5
N

&(! 0 0Dậ ợ
%(KY]VM%5
N
](C   +&Zứ ộ ạ
""  33 %#&(ữ ạ ị
!$ A Bữ ứ
=@:"@:;


KI 0Lụ %A (!F1  0ẽ ỗ ậ !"!!"
!
!
"!!"!
"
! !
"
"
5
N
5
N
5
N
5
N
5
N
5
N
5

ZYN:ZM5
N
Y5

5
;
Z(
 =5< ả ể G35< 3 ; =ể ở ộ
Y5
;
ZY5
;
Z5
;
RY5
;
Z5
"
Y5

ZY5

Z5

Y5

ZR5
:
Y5
N

:(∪M%5
"
:(KY5
N

5
:
Z
•
M%5
N
N:N(KY5
N
5
"
Z
•
M%5
N
N:NN(KY5
N
5
"
5
;
Z
•
M%5
N
N:NN:(KY5