งานนำเสนอกำลังจะดาวน์โหลด โปรดรอ

งานนำเสนอกำลังจะดาวน์โหลด โปรดรอ

ออโตมาตา จำกัด FINITE AUTOMATA. คำถาม ประเด็นที่ควรสนใจ How to know which word is in the given language ? How to know if any given word is in the given.

งานนำเสนอที่คล้ายกัน


งานนำเสนอเรื่อง: "ออโตมาตา จำกัด FINITE AUTOMATA. คำถาม ประเด็นที่ควรสนใจ How to know which word is in the given language ? How to know if any given word is in the given."— ใบสำเนางานนำเสนอ:

1 ออโตมาตา จำกัด FINITE AUTOMATA

2 คำถาม ประเด็นที่ควรสนใจ How to know which word is in the given language ? How to know if any given word is in the given language ? FINITE AUTOMATA

3 นิยาม ออโตมาตา จำกัด A finite automaton or finite state machine (abbreviated FA) is a 5-tuple (Q, , q 0, , A) where Q means a finite set of states.  is a finite input alphabet. q 0  Q named Initial state. A  Q, A is the set of all accepted states.  is a function from Q  to Q, called transition function. FINITE AUTOMATA

4 ตัวอย่าง Suppose that  = { 0, 1 }, and Q = { q 0, q 1, q 2 }. The transition function  is defined as follow;  (q 0,0) = q 0  (q 0,1) = q 1  (q 1,0) = q 2  (q 2,0) = q 0  (q 2,1) = q 1 The initial state is q 0. The accepted or final state is q 2. Example: Consider this string Start at the initial state q 0, (q 0,0) gives state q 0. (q 0,1) gives state q 1. (q 1,0) gives state q 2. (q 2,0) gives state q 0. (q 0,1) gives state q 1. It ends at the state q 1 which is not the accepted state. We say that it rejects the input, otherwise we say it accepts. FINITE AUTOMATA ออโตมาตา จำกัด

5 Suppose that  = { 0, 1 }, and Q = { q 0, q 1 }. The transition function  is defined as follow;  (q 0,0) = q 0  (q 0,1) = q 1  (q 1,0) = q 0  (q 1,1) = q 1 The initial state is q 0. The accepted state is q 1. Example: Consider this string Start: (q 0,0)  q 0. (q 0,1)  q 1. (q 1,0)  q 0. (q 0,1)  q 1. Then it accepts Consider Start: (q 0,0)  q 0. (q 0,1)  q 1. (q 1,1)  q 1. (q 1,0)  q 0. Then it rejects FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด

6 TABLE: State/input01 q 0 q 0 q 1 q 1 q 0 q 1 FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด REPRESENTATION BY TABLE Suppose that  = { 0, 1 }, and Q = { q 0, q 1 }. The transition function  is defined as follow;  (q 0,0) = q 0  (q 0,1) = q 1  (q 1,0) = q 0  (q 1,1) = q 1 The initial state is q 0. The accepted state is q 1.

7 q0q0 q1q initial state final state Input string is 0101 ACCEPTD FINITE AUTOMATA Suppose that  = { 0, 1 }, and Q = { q 0, q 1 }. The transition function  is defined as follow;  (q 0,0) = q 0  (q 0,1) = q 1  (q 1,0) = q 0  (q 1,1) = q 1 The initial state is q 0. The accepted state is q 1. ตัวอย่าง ออโตมาตา จำกัด REPRESENTATION BY DIAGRAM

8 The set of all strings that leave the finite state machine in the final state is called the language defined by the finite state machine or the language associated with this machine. accepted word  rejected word language-recognizer FINITE AUTOMATA นิยาม ออโตมาตา จำกัด

9 The set of all strings that leave the finite state machine in the final state is called the language defined by the finite state machine or the language associated with this machine. accepted word  rejected word language-recognizer FINITE AUTOMATA นิยาม ออโตมาตา จำกัด ACCEPTANCE BY FA L(M) = { x  * | x is accepted by M }

10 q0q0 q1q initial state final state label loop edge FINITE AUTOMATA นิยาม ออโตมาตา จำกัด

11 q0q0 q2q q1q1 1 0 GIVEN FINITE AUTOMATA ทดลอง ออโตมาตา จำกัด

12 q0q0 q2q q1q1 1 0 Path of the string is q 0 q 1 q 2 q 0 q 1 q 2 q 0 q 1 q 2 q 2 FINITE AUTOMATA นิยาม ออโตมาตา จำกัด

13 q0q0 0 q1q1 1 0,1 Find the language accepted by this finite machine. FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด

14 q0q0 0 q1q1 1 0,1 There is no final state. FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด AUTOMATA WITH NO LANGUAGE

15 q0q0 0 q1q1 1 0,1 The graph is disconnected. q2q2 q3q3 0,1 FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด AUTOMATA WITH NO LANGUAGE

16 q0q0 0 q1q1 1 0,1 There is no path from the initial state to the final state. q2q2 q3q3 0,1 1 FINITE AUTOMATA ตัวอย่าง ออโตมาตา จำกัด AUTOMATA WITH NO LANGUAGE

17 Studies finite automata for two different angles: Given a language, can we build a machine for it ? Given a machine, can we deduce its language ? FINITE AUTOMATA ภาษา ออโตมาตา จำกัด MACHINES AND THEIR LANGUAGES

18 Suppose we want to build a finite machine that accepts all words in the language 0(1+0)*. q0q0 1 q1q1 0 0,1 q2q2 FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ภาษา ออโตมาตา จำกัด

19 Suppose we want to build a finite machine that accepts all words in the language 0(1+0)*. q0q0 1 q3q3 0 0,1 q2q2 q1q1 THERE IS NOT AN UNIQUE MACHINE FOR A GIVEN LANGUAGE. FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ภาษา ออโตมาตา จำกัด

20 From example, we can ask a question Is there always at least one finite automaton that accepts each possible language ? This is related to the question: Can all languages be recognized by a finite automaton ? FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ภาษา ออโตมาตา จำกัด

21 ภาษา Suppose we want to build a finite machine that accepts all words in the language containing a triple characters, (i.e., 000 or 111). q0q0 q3q3 0 q1q1 q2q q4q4 q5q ,1 FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ออโตมาตา จำกัด

22 ภาษา Examine what language this machine accepts. q0q0 q3q3 0 q1q1 0 1 q2q ,1 FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ออโตมาตา จำกัด

23 ภาษา Examine what language this machine accepts. q0q0 q3q3 0 q1q1 0 1 q2q FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ออโตมาตา จำกัด

24 ภาษา Examine what language this machine accepts. q0q q2q2 1 FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ออโตมาตา จำกัด

25 ภาษา Examine what language this machine accepts. q0q0 q3q3 0 q2q2 0 1 q1q FINITE AUTOMATA MACHINES AND THEIR LANGUAGES ออโตมาตา จำกัด


ดาวน์โหลด ppt ออโตมาตา จำกัด FINITE AUTOMATA. คำถาม ประเด็นที่ควรสนใจ How to know which word is in the given language ? How to know if any given word is in the given.

งานนำเสนอที่คล้ายกัน


Ads by Google