Pen Gen Alan Teori Bahasa Automata
Pen Gen Alan Teori Bahasa Automata
Pertemuan Ke-2
2
TEORI BAHASA OTOMATA
Computasi
CPU memory
3
TEORI BAHASA OTOMATA
temporary memory
input memory
CPU
output memory
Program memory
4
TEORI BAHASA OTOMATA
Contoh: f ( x ) x 3
temporary memory
input memory
CPU
output memory
Program memory
Compute 1 x x
Compute 2
TEORI BAHASA OTOMATA
x x
2
5
f ( x ) x 3
temporary memory
input memory
x 2
CPU
output memory
Program memory
compute x x
compute
TEORI BAHASA OTOMATA
x x
2
6
temporary memory f ( x ) x 3
z 2 * 2 4
f ( x ) z * 2 8
input memory
x 2
CPU
output memory
Program memory
compute x x
compute
TEORI BAHASA OTOMATA
x x
2
7
temporary memory f ( x ) x 3
z 2 * 2 4
f ( x ) z * 2 8
input memory
x 2
CPU
f ( x ) 8
Program memory output memory
compute x x
compute
TEORI BAHASA OTOMATA
x x
2
8
Automaton
temporary memory
Automaton
input memory
CPU
output memory
Program memory
9
TEORI BAHASA OTOMATA
Perbedaan dari beberapa Otomata
Perbedaan berdasarkan temporary memory
• Finite Automata: Tidak mempunyai
10
TEORI BAHASA OTOMATA
Finite Automaton (FA)
temporary memory
input memory
Finite
Automaton
output memory
input memory
Pushdown
Automaton
output memory
input memory
Turing
Machine
output memory
14
TEORI BAHASA OTOMATA
Bahasa
TEORI BAHASA 15
OTOMATA
• Bahasa adalah kumpulan dari string
Concatenation (Penyambungan)
18
TEORI BAHASA OTOMATA
w a1a2 an ababaaabbb
Reverse (Pembalikan)
w an a2a1
R
bbbaaababa
19
TEORI BAHASA OTOMATA
Panjang String
w a1a2 an
• Panjang : w n
• Contoh : abba 4
aa 2
a 1 20
TEORI BAHASA OTOMATA
Panjang Concatenation
uv u v
• Contoh :
u aab, u 3
v abaab, v 5
uv aababaab 8
uv u v 3 5 8
21
TEORI BAHASA OTOMATA
String Kosong
• string tanpa huruf:
• Observasi: 0
w ww
abba abbaabba 22
TEORI BAHASA OTOMATA
Substring
• Substring dari string:
subsequen dari karakter yg berurutan
String Substring
abbab ab
abbab abba
abbab b
abbab bbab 23
TEORI BAHASA OTOMATA
Prefix and Suffix
abbab
Prefixes Suffixes w uv
abbab
a bbab prefix
ab bab suffix
abb ab
abba b
abbab
24
TEORI BAHASA OTOMATA
Operasi Lain
• Contoh:
abba abbaabba
2
• Definisi:
–
w 0
abba
0
25
TEORI BAHASA OTOMATA
Operasi *
• * : Himpunan seluruh string yg mungkin
dari alphabet
a,,bb
* , a, b, aa, ab, ba, bb, aaa, aab,
26
TEORI BAHASA OTOMATA
Operasi +
: Himpunan seluruh string yg mungking
dari alphabet kecuali
a, b
* , a, b, aa, ab, ba, bb, aaa, aab,
*
a, b, aa, ab, ba, bb, aaa, aab,
27
TEORI BAHASA OTOMATA
Bahasa
• Bahasa adalah subset dari *
• Contoh:
a,b
*
, a, b, aa, ab, ba, bb, aaa,
• Bahasa:
a , aa , aab
{ , abba , baba , aa , ab , aaaaaa }
28
TEORI BAHASA OTOMATA
Catatan:
Himpunan { } {}
Ukuran Himpunan { } 0
ab
L abb L
aabb
aaaaabbbbb
30
TEORI BAHASA OTOMATA
Operasi dalam Bahasa
• Menggunakan operasi himpunan
a, ab, aaaa
bb, ab{a, ab, bb, aaaa}
a, ab, aaaa
bb, ab{ab}
a, ab, aaaa
bb, aba, aaaa
• Complement: L * L
a, ba, b, aa, ab, bb, aaa,
31
TEORI BAHASA OTOMATA
Reverse
L {a b : n 0}
n n
L {b a : n 0}
R n n
32
TEORI BAHASA OTOMATA
Concatenation
• definisi: L1L2
xy : x L1, y L2
ab, aaa , abb, abaa , bab, baaa
33
TEORI BAHASA OTOMATA
Operasi Lain
n
• Definisi: L
LL L
n
a, b a, b
3
a, b
a, b
aaa, aab, aba, abb, baa, bab, bba, bbb
0
a , bba , aaa
34
TEORI BAHASA OTOMATA
Contoh
L {a b : n 0}
n n
L {a b a b : n, m 0}
2 n n m m
2
aabbaaabbbL
35
TEORI BAHASA OTOMATA
Star-Closure (Kleene *)
• Definisi: L* L L L
0 1 2
• Contoh: ,
a,bb,
a,bb*
aa
, abb
,bba,bbbb ,
aaa,aabb,abba, abbbb,
36
TEORI BAHASA OTOMATA
Positive Closure
• Definition: L L L
1 2
L *
a, bb,
a, bb aa, abb, bba, bbbb,
aaa, aabb, abba, abbbb,
37
TEORI BAHASA OTOMATA
Pustaka
1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata,
Teknik Informatika UAD, 2005
2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,
Introduction to Automata Theory, Languages, and
Computation, 2rd, Addison-Wesley,2000
3. Martin C. John, Introduction to Languages and Theory of
Computation, McGraw-Hill Internatioanal edition,1991
4. Linz Peter,Introduction to Formal Languages & Automata,
DC Heath and Company, 1990
5. Dulimarta Hans, Sudiana, Catatan Kuliah Matematika
Informatika, Magister Teknik Informatika ITB, 1998
6. Hinrich Schütze, IMS, Uni Stuttgart, WS 2006/07,
Slides based on RPI CSCI 2400
38
TEORI BAHASA OTOMATA