                          ả
          ộ
                
  ! " # $  % % $  & "  ! &
'  (  )      & ! ! * + , (  - -   - 
Ly thuyet Automata và
ngon ngu hinh thu`c

 ữ
  ứ
!""
#"
$
%&' "(")("*#+,ậ
-#.
  Ụ

   /010/2" 3ị ữ ể ọ

4565 " 075 "  5 &"    " ạ ộ ệ ơ ở ọ ơ ở ọ ậ ọ
,./

8/2&/  0 57/0   /25/6&7/0   ả ệ ạ ứ ơ ở ứ ậ

%&' "#+,ậ
""0 00 12/34 (56)ớ ệ ọ
"&,217/1 034 ớ ọ
"890:0 13 34(56)ệ ả
"; <3 4=>00 3> ổ ộ ệ ọ
";"T p h pậ ợ
";&Quan hệ

4/0 /2   &"&/2 /2G  7 "5A&ứ ữ ứ ả ự ủ ọ

E
:;$<;'=
#"&   >ữ ứ
''!  /2" ớ ệ ọ #+,

Ứng dụng của lý thuyết ngôn ngữ hình thức và automata:

Dùng trong xử lý từ vựng và cú pháp cho văn bản;

Dùng trong các chương trình dịch;

Dùng để mô hình hoá các hệ thống động;

Dùng trong nhận dạng (đối với những mẫu nhận dạng có cấu trúc);

Dùng trong tin sinh học (Bio-informatics);

Dùng trong tính toán phân tử (DNA Computing);

Dùng trong xử lý ảnh (nén ảnh Fractal, );

Dùng trong công nghệ phần mềm (mô hình hoá các tiến trình của hệ thống phần mềm)
:
:;$<;'=
#"&   >ữ ứ
''!  /2" ớ ệ ọ #+,

 0?1@A 34 (56)ộ ủ ọ


7 J  -KKLI.ả ậ

D I>@0>ứ

 0/0?=E-9  .3ổ ọ

  ?10D53ứ

M "D55?12'BN@/$BN<BN3ể

M25"?! & &/0  ả ậ ươ
O
:;$<;'=
#"&   >ữ ứ
%&' "#+,ậ
""0 00 12/34 (56)ớ ệ ọ
"&,217/1 034 ớ ọ
"890:0 13 34(56)ệ ả
"; <3 4=>00 3> ổ ộ ệ ọ
";"T p h pậ ợ
";&Quan hệ
";8Phép ch ng minhứ
";;Đ th và câyồ ị
'B
:;$<;'=
#"&   >ữ ứ
'9& " ệ ọ
''
:;$<;'=

:;$<;'=
D N0 1?0  C Cứ ể ễ ậ ợ

 7/12 ?ệ ử VW'$9X

F A10D  ?ả ặ ư VW@Y@&" &12Xộ
VWFT),QQX3
12ử
>512 &  ử ờ ạ
>512 7  ử ặ ạ
#"&   >ữ ứ
'='  ậ ợ
'=
:;$<;'=

"& CM @ậ ỗ 7P &ệ ∅ ặ PQ

"8 C CH1NRKậ ợ
o
4P ?ệ (⊆-  ?ượ ạ (⊄.
o
W'$=X⊆W'$9=EX W$=:Xư ⊄W'$9=EX

"; C CNB/@1ậ ợ
o
4P ?ệ (S/0-∀@∈#.↔-∀@∈%.
-  ?ượ ạ (
≠
.
o

#[%VW@Y@∈# @ư ∉%X

A 2/>
#@%VW-.Y∈#&∈%X
#"&   >ữ ứ
':
:;$<;'=

A? "&ụ #VW'$X&%VW$9X
o
#∪%VW'$9X
o
#∩%VW$X
o
#[%VW'X
o
#@%VW-'$.-'9.-$$.-$9.X
o
$
#
VW∅W'XW$XW'$XX
#"&   >ữ ứ
'='  ậ ợ
%&' "#+,ậ
""0 00 12/34 (56)ớ ệ ọ
"&,217/1 034 ớ ọ
"890:0 13 34(56)ệ ả
"; <3 4=>00 3> ổ ộ ệ ọ
";"T p h pậ ợ
";&Quan hệ


A? "8ụ ^&" 6 2" 90/-. "]ộ ệ ộ ỏ XNX/ /ậ
) ươ

A? ";ụ )5/ -@5D 6 _.?ở ị ệ
#"&   >ữ ứ
 Y  Ọ ,
' #B9BB' F  ạ ư BO;'$;'OO'
$ #B9BB$ 8`F ạ a B';B:;'OO'
9 #B9BB9 8`8J M& '$;B';'OO'
= #B9BB= 5# ` B9;'B;'OOB
E #B9BBE  M  ễ ươ $B;B9;'OO'
'=$ệ
'O
:;$<;'=

"L  #&%F 6 -ậ ợ ộ ệ MR:0.^ #&%&   10ữ ậ ợ ứ
 5   #b%"&&12 10#D  &"/2@5D -)". ^ả ậ ợ ủ ứ ượ ọ ị ủ
c% &"/25 -. ^ọ ị ủ
-#×%.V
302/J>I H?30Kị ×302/@0>M HM@RKị
Q
#"&   >ữ ứ

/0"/2@5D &"/25 a "   ị ị ộ ộ ậ ợ  &" 6 /ọ ộ ệ /0^&
" 6 &-.&"  ộ ệ ộ ặ  /0
'=$ệ
$B
:;$<;'=


7 & ?QVQỗ ờ
'
∪Q
$
∪I

A7=
o
Q

∩Q
f
V∅;
o
/0a Qộ

 Dd3
o
/0∈Q

&∈Q
f
gf 

A? "Lụ U$  D WB$X&W'9Xớ ươ ươ
#"&   >ữ ứ
'=$ệ
$$
:;$<;'=


K
VW-'$.-$$.-$9.-'9.X
o
^hVW-''.-'$.-'9.-$$.-$9.-99.X
#"&   >ữ ứ
%&' "#+,ậ
""0 00 12/34 (56)ớ ệ ọ
"&,217/1 034 ớ ọ
"890:0 13 34(56)ệ ả
"; <3 4=>00 3> ổ ộ ệ ọ
";"T p h pậ ợ
";&Quan hệ
";8Phép ch ng minhứ
";;Đ th và câyồ ị
$9
:;$<;'=
#"&   >ữ ứ
'=9i "ứ
$=
:;$<;'=

 "ứ M 02=Cự ?j) i) -i7i." 512   ?ụ ễ ộ ừ ừ ướ
,
-

→
,


→

23$4,


→
/

A? ""!ụ  " " 0/   ?ứ ớ ọ ể ứ
5

10
 ) " 0 ể ễ ộ ẵ
#"&   >ữ ứ