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

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

FINITE STATE AUTOMATA WITH OUTPUT. วัตถุประสงค์ The question of finite automata represent physical machines Investigate two models Mealy machine (G.H.Mealy,

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


งานนำเสนอเรื่อง: "FINITE STATE AUTOMATA WITH OUTPUT. วัตถุประสงค์ The question of finite automata represent physical machines Investigate two models Mealy machine (G.H.Mealy,"— ใบสำเนางานนำเสนอ:

1 FINITE STATE AUTOMATA WITH OUTPUT

2 วัตถุประสงค์ The question of finite automata represent physical machines Investigate two models Mealy machine (G.H.Mealy, 1955) Moore machine (E.F. Moore, 1956) Original purpose : design model for sequential circuits. TRANSDUCER

3 MOORE MACHINE เครื่องจักรของมัวร์ นิยาม A Moore machine is a collection of five things: Finite set of states Q where q 0 = initial state. Input alphabet  = { a, b, c, … } (letters). Output alphabet  = {x, y, z, … } (characters). Transition function  : Q    Q. Output function  : Q  . TRANSDUCER

4 q2q2 b q3q3 b q0q0 q1q1 a aa a b b EXAMPLE Input  = { a, b } Output  = { 0, 1 } States q 0 (initial state), q 1, q 2, q 3. EXAMPLE: Given an input abab, the output is MOORE MACHINE เครื่องจักรของมัวร์ TRANSDUCER

5 q2q2 b q3q3 b q0q0 q1q1 a a ba a b EXAMPLE Input  = { a, b } Output  = { 0, 1 } States q 0 (initial state), q 1, q 2, q 3. Given an input aaababbaabb, the output is Counting “aab” MOORE MACHINE เครื่องจักรของมัวร์ TRANSDUCER

6 นิยาม A Mealy machine is a collection of five things: Finite set of states Q where q 0 = initial state. Input alphabet  = { a, b, c, … } (letters). Output alphabet  = {x, y, z, … } (characters). Transition function  : Q    Q. Output function  : Q    . MEALY MACHINE เครื่องจักรของเมียลี TRANSDUCER

7 EXAMPLE Input  = { a, b } Output  = { 0, 1 } States q 0 : initial state. EXAMPLE: Given an input aaabb, the output is q0q0 q2q2 b/0 q3q3 a/0, b/1 a/0 q1q1 b/1 a/1 b/ MEALY MACHINE เครื่องจักรของเมียลี TRANSDUCER

8 EXAMPLE Input  = 0, 1 } Output  = { 0, 1 } States q 0 : initial state EXAMPLE: Given an input 0011, the output is q0q0 1/0 q2q2 0/1 q1q1 1/0 0/0,1/1 INCREMENT MACHINE 1011 MEALY MACHINE เครื่องจักรของเมียลี TRANSDUCER

9 EQUIVALENCE การสมมูลกันของ เครื่องจักร นิยาม Two machines are equivalent if for the same input string, two machines result in the same output string. หมายเหตุ Mealy machine can be equivalent to a Moore machine with deleting its automatic start output. TRANSDUCER

10 ทฤษฎีบท Given a Moore machine, there is a Mealy machine that is equivalent to it. SOME RESULTS qiqi c a b t qiqi c/t a/t b/t becomes EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

11 q2q2 b q3q3 b q0q0 q1q1 a a ba a b /1 /0 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร EXAMPLE: Counting “aab” TRANSDUCER

12 q2q2 b/0 q3q3 b/1 q0q0 q1q1 a/0 b/0a/0 b/0 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร EXAMPLE: Counting “aab” TRANSDUCER

13 ทฤษฎีบท Given a Mealy machine, there is a Moore machine that is equivalent to it. qiqi b/0 a/0 b/1 becomes c/0 a/1 b/1 q i1 b a b c a/1 b/1 a/1 b/1 q io 0 1 c SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

14 q0q0 q1q1 q2q2 q3q3 a/0 b/1 a/1 b/0 a/0 a/1 b/0 b/1 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

15 q 01 q1q1 q2q2 q3q3 a b/1 a/1 b/0 a/0 a/1 b/0 b q a/1 b/0 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

16 q 01 q 11 q2q2 q3q3 a b a b/0 a/0 a/1 b/0 b q a/1 b/0 1 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

17 q 01 q 11 q 21 q3q3 a b a b a a b/0 b q a b/0 1 q 20 a b 0 1 SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

18 q 01 q 11 q 21 q 30 a b a b a a b b q a b 1 q 20 a b SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

19 LEFT (RIGHT) SEQUENTIAL STATE MACHINE A state machine M is said to be a left (right) sequential state machine if the input of M is taken into account serially in the most left (right) character first mode. Note: Automata with output is usually called a transducer or 2-tape automata. SOME RESULTS EQUIVALENCE การสมมูลกันของ เครื่องจักร TRANSDUCER

20 น่าคิด โจทย์ น่าคิด ? D efine a finite automaton for binary division by 7

21 น่าคิด โจทย์ น่าคิด ? q0q0 q1q1 q2q2 0/0 1/1 0/1 1/1 1/ MULTIPLICATION BY 3

22 น่าคิด โจทย์ น่าคิด ? q0q0 q1q1 q2q2 0/0 1/1 1/0 1/1 0/1 /1 /10 RIGHT TRANSDUCER DIVISION BY 3


ดาวน์โหลด ppt FINITE STATE AUTOMATA WITH OUTPUT. วัตถุประสงค์ The question of finite automata represent physical machines Investigate two models Mealy machine (G.H.Mealy,

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


Ads by Google