download

Matakuliah
Tahun
: T0162/Teori Bahasa dan Automata
: 2009
Pertemuan 7
FINITE AUTOMATA DENGAN OUTPUT
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• << TIK-99 >>
• << TIK-99>>
2
Outline Materi
•
•
•
•
•
Materi 1
Materi 2
Materi 3
Materi 4
Materi 5
3
FINITE AUTOMATA DENGAN
OUTPUT
• FA dengan output akan menghasilkan
string output sesuai dengan string input
• FA dengan output tidak mempunyai Final
state
• FA dengan output dapat dijadikan sebagai
mesin penghitung fungsi matematis.
• Dua jenis FA dengan output :
– Output pada state (Moore Machine)
– Output pada transisi (Mealy Machine)
4
FINITE AUTOMATA DENGAN
OUTPUT
1. Moore Machine :
M = ( Q, , , , , q0)
Q, ,  dan q0 : seperti pada DFA
 : alphabet output
: Q
( : fungsi output)
Bila input a1, a2, …, an, n  0, maka output :
(q0), (q1), …, (qn), q0, q1, …,qn : state dan
(qi-1, aj) = qi, 1  i  n.
5
FINITE AUTOMATA DENGAN
OUTPUT
Contoh :
Mesin Moore untuk modulus 3 :
0
Start
1
q0
0
1
0
q0
1
2
q0
0
1
(qj) = j, j = 0, 1, dan 2.
6
FINITE AUTOMATA DENGAN
OUTPUT
Input
: 1010
1
0
1
0
State yang dimasuki : q0, q1, q2, q2, q1
Output
Jadi
: 01221
10102 mod 3 = 1
(output terakhir)
7
FINITE AUTOMATA DENGAN
OUTPUT
2. Mealy Machine
M = ( Q, , , , , q0)
Q, ,  dan q0 : seperti pada DFA
 : alphabet output
 : (Q  )   (: fungsi output)
Input a1, a2 , …, an
Output : (q0, a1) (q1, a2) … (qn-1, an)
dimana q0, q1, …, qn : rangkaian state
sehingga (qi-1, ai) = qi, 1  i  n
8
FINITE AUTOMATA DENGAN
OUTPUT
Contoh :
Mesin Mealy yang membedakan dua input yang
berdekatan.
Output : ”y” : bila sama
“n” : bila berbeda
M = ({q0, p0, p1}, {0, 1}, {y, n}, , , q0)
Label a/b artinya :
(p, a) = q dan (p, a) = b (a: input, b: output)
9
FINITE AUTOMATA DENGAN
OUTPUT
0/y
q0
0/n
Start
q0
0/n
1/n
1/n
q0
1/y
Input
Output
: 01100
: nnyny
10
<< CLOSING>>
11