Ngôn ngữ hình thức và Ôtômat - Chương 2 potx

1

Ngôn ng英 hình th泳c và Ôtômat

(Formal Language & Automata)

PGS.TS. Phan Huy Khánh

[email protected]

Chぢぞng 2 Ôtômat h ng 2 Ôtômat hてu hÑn

2/56

Tr¡u thuえc... : đ¡u câu chuy゜n

\ Hình thだc, hình thだc hoá

u Aえi lëp tと nhiên

u Mô t¢, quy ぢげc, chét ch、 (không th； bác Bぅ)

u Nhu c¡u GQ vón đ・ : tin hいc/CNTT (ICT)

\ Ngôn ngて NN

u CCぜ trao đがi, liên lÑc

u MTAT nう hi；u chi v・ con ngぢごi !

u Hình thだc hoá ngôn ngて !

u Xつ lý (hいc v・) NN :

¬ Phát : (nói, vi，t...) sinh câu – V;N PHÇM s¢n sinh

¬ Nhën : (nghe, c¢m thぜ...) – ÔTÔMAT đoán nhën

3/56

Chぢぞng 2 Ôtômat hてu hÑn

\ Ôtômat hてu hÑn đぞn đ＾nh

u Mô t¢

u Mô hình hóa

u Bi；u di！n ôtômat hてu hÑn

\ Ôtômat hてu hÑn không đぞn đ＾nh

u Mô t¢

u Khつ bう tính không đぞn đ＾nh

\ Ôtômat hてu hÑn và các bi；u thだc chính qui

u Xây dとng các ôtômat tぢ các bi；u thだc chính qui

u Xây dとng các ngôn ngて chính quy tぢ các ôtômat

4/56

Mô t¢ phi hình thだc ôtômat hてu hÑn đぞn đ＾nh

\ Mぐt ôtômat hてu hÑn đぞn đ＾nh, ký hi゜u M, vi，t töt ôhhđđ

(DFA: Deterministic Finite State Automaton)

gおm các ph¡n tつ :

u B<ng vào (Input Tape) :

¬ Chだa câu c¡n xつ lý gおm nhi・u ô

¬ Mぎi ô chだa mぐt ký tと thuぐc mぐt b¢ng chて Σ nào đó

u Mぐt đ¡u đいc (Read Head) đいc l¡n lぢずt tぢng ký tと trong ô

u Mぐt tëp hずp hてu hÑn các trÑng thái gおm :

¬ Mぐt trÑng thái đ¡u (Initial State)

¬ Mぐt sえ trÑng thái trung gian

¬ Mぐt trÑng thái cuえi hay đÑt đぢずc (Accepting States)

u Mぐt hàm chuy；n ti，p (Transition Function) :

¬ Chuy；n M sang trÑng thái ti，p theo

tぢ trÑng thái đang xét và tぢ ký tと vぢa đいc đぢずc trên b<ng vào

5/56

Mô hình cぞ cóu các b<ng tぢ

6/56

Minh hoÑ ôhhđđ

\ HoÑt đぐng đoán nhën cぞa ôhh nhぢ sau :

u Câu vào w∈Σ

* đぢずc đét ざ mút trái trên b<ng vào

u Lúc đ¡u, đ¡u đいc ざ v＾ trí w(1) mút trái nhót cぞa b<ng

u Ôhh đang ざ trÑng thái đ¡u q0

u A¡u đいc đいc l¡n lぢずt tぢng ký tと cぞa w trên b<ng,

di chuy；n đ¡u đいc qua ph¢i và thay đがi trÑng thái

u Ôhh dぢng khi mいi ký tと cぞa w đã đぢずc đいc h，t và thぢa nhën câu,

hoéc hóc giてa chぢng (không thぢa nhën câu vào)

A¡u đいc di chuy；n qua ph¢i theo chi・u mﾒi tên

Câu vào w ∈ Σ

*

B<ng vào a b a a b a a

TrÑng thái qi