TEORI BAHASA DAN OTOMATA
description
Transcript of TEORI BAHASA DAN OTOMATA
TEORI BAHASA DAN OTOMATAJim Michael Widi, S.Kom
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
PENDAHULUANApa itu Komputer• Alat untuk mengetik ? • Komputer sangat kompleks - menerapkan teori
matematika secara langsung (computational model)Model dasar perhitungan Rekayasa merancang sistem komputer H/W + S/W
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
PENGERTIAN PROGRAM SEBAGAI OBYEK MATEMATIKA• Diberlakukannya alasan (reason), logika (logic)
dan aturan (rule) untuk kombinasi• Apakah program mengoperasikan bilangan,
teks atau apapun
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
HARDWARE/SOFTWARE• Kekompleksan hardware dan software
ditangani oleh processor untuk mengkonversi program kedalam bentuk execute (eksekusi)
• Execute file dapat dibentuk melalui :CompileAssemblyDan sebagainya (interpreter)
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
DEFINISITeori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal. ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar. Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
KONSEP DASAR (1)• Anggota alfabet dinamakan simbol terminal.• Kalimat adalah deretan hingga simbol-simbol terminal.• Bahasa adalah himpunan kalimat-kalimat. Anggota bahasa bisa tak hingga
kalimat.• Simbol-simbol berikut adalah simbol terminal : huruf kecil, misalnya : a, b, c simbol operator, misalnya : +, , dan * simbol tanda baca, misalnya : (, ), dan ; simbol tanda baca, misalnya : (, ), dan ; string yang tercetak tebal, misalnya : if, then, dan else. • Simbol-simbol berikut adalah simbol non terminal /Variabel : huruf besar, misalnya : A, B, C huruf S sebagai simbol awal string yang tercetak miring, misalnya : expr
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
KONSEP DASAR (2)• Huruf yunani melambangkan string yang tersusun atas simbol-
simbol terminal atau simbol-simbol non terminal atau campuran keduanya, misalnya : α,β, dan ε
• Sebuah produksi dilambangkan sebagai α --> β, artinya : dalam sebuah derivasi dapat dilakukan penggantian simbol α dengan simbol β.
• Derivasi adalah proses pembentukan sebuah kalimat atau sentensial. Sebuah derivasi dilambangkan sebagai : α ==> β.
• Sentensial adalah string yang tersusun atas simbol-simbol terminal atau simbol-simbol non terminal atau campuran keduanya.
• Kalimat adalah string yang tersusun atas simbol-simbol terminal. Kalimat adalah merupakan sentensial, sebaliknya belum tentu.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
GRAMMAR• Grammar G didefinisikan sebagai pasangan 4 tuple : Vt , Vn , S, dan P, dan dituliskan
sebagai G(Vt , Vn , S, P), dimana : Vt : himpunan simbol-simbol terminal (alfabet) = kamus Vn : himpunan simbol-simbol non terminal S C V : simbol awal (atau simbol start) P : himpunan produksi
• Contoh :1. G1 : VT = {I, want, need, You}, V = {S,A,B,C}, P = {S --> ABC, A--> I, B--> want | need, C-->
You}S --> ABC IwantYou L(G1)={IwantYou,IneedYou}
2. G2 : VT = {a}, V = {S}, P = {S aS | a}S --> aS--> aaS --> aaa L(G2) ={an --> n ≥ 1}
L(G2)={a, aa, aaa, aaaa, …}
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
TEORI AUTOMATA MELIPUTI/MENCAKUP
• Teori Bahasa Formal• Regular Expression• Finite Automata• Non Deterministic Finite Automata• Finite Automata dengan Output• Context-free Grammar• Pushdown Automata• Mesin Turing
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
TEORI BAHASA FORMALTHEORY OF FORMAL LANGUAGE• Bahasa berbentuk dari kombinasi simbol-simbol
dengan aturan formalnya• Language : A set Of string• String : A Finite list of symbols from an alphabet• Alphabet : A Finite set of objects called symbol– S1 = { a, b, c, d, e ….z ..} S2 = { 0, 1 }
• Symbol : A member of alphabet• Set : Group of objects
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
TEORI BAHASA FORMAL• Pembentukan struktur sebuah bahasa diawali dengan
memakai sebuah finite set (himpunan terbatas), dimana unit fundamentalnya disebut alphabet (S)
• String-string yang boleh ada di dalam sebuah bahasa disebut word
• Contoh language adalah Bahasa Indonesia. Alphabet yang biasa dipakai adalah huruf, koma dan titik. Semuanya dispesifikasi seperti di bawah ini:
S = {a b c d e ... z , . }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Bila language ini dinamakan KATA-INDONESIA, dimana semua string adalah word/kata di dalam kamus, maka definisinya adalah:
• Contoh sederhana suatu language dengan alphabet yang ada hanya sebuah huruf, yaitu huruf x
• Simbol alphabet tidak harus alphabet huruf latin, namun dapat berisi apa saja
KATA-INDONESIA = {semua kata di dalam kamus}
S = { x } L = { x xx xxx xxxx ... }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Sebuah string dimungkinkan tidak punya alphabet. String ini disebut empty string atau null string dan dilambangkan . Perlu diingat bukan alphabet dalam language. Contoh:
• Bahasa tanpa word dilambangkan dengan null set • Tolong dibedakan antara language tanpa word
dengan word yang mempunyai
L = { x xx xxx xxxx ... }
L = { x xx xxx }L L + { }L = L +
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Contoh sebuah bahasa dengan non empty string
Atau dengan cara lain
• Dalam language L1, dapat dilakukan operasi penggabungan (concatenation) dari word yang ada menjadi word baru. Contoh word xx dengan word xxx digabung menjadi word baru xxxxx
L1 = { x xx xxx xxxx ... }
L1 = { xn for n = 1 2 3 ... }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Tidak selalu benar bila dua word digabungkan akan membentuk sebuah word baru. Contoh:
• xxx dan xxxxx adalah word pada language L2, namun pengabungannya bukanlah word di dalam L2
• Didefinisikan suatu fungsi length untuk menghitung jumlah huruf di dalam sebuah word
• length(xxxxxx) = 6 length(7152) = 4• length() = 0
L2 = { x xxx xxxxx xxxxxxx ... } = { x ganjil}
= { x 2n+1 for n = 0 1 2 3 }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Bila diinginkan sebuah language mempunyai null string, maka jangan lupa untuk memasukannya saat mendefinisikan language tersebut
• Harap dipahami bahwa x0 = dan bukannya x0 = 1 seperti di aljabar
• Didefinisikan fungsi reverse. Reverse dari suatu string adalah string yang sama tetapi tersusun dari belakang, walaupun string ini bukanlah word dalam bahasa tersebutreverse(xxx) = xxx reverse(xxxxx) = xxxxxreverse(145) = 541 reverse(140) = 041
L4 = { x xx xxx xxxx ... }= { xn for n = 0 1 2 3 }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Palindrome adalah kata, frase, nomor atau urutan lainnya dari unit yang dapat dibaca dengan cara yang sama di kedua arah.
• Didefinisikan suatu language yang disebut PALINDROME dari alphabet
S = { a, b}PALINDROME = { , dan semua string x sedemikian
sehingga reverse(x) = x }maka akan diperoleh:PALINDROME = { a b aa bb aaa aba bab bbb aaaa
abba ... }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Diketahui alphabet S, diinginkan untuk mendefinisikan sebuah language dimana tiap string dari huruf yang ada di dalam S adalah sebuah word, termasuk null string.
• Language ini disebut sebagai closure • Dapat dinotasikan dengan menambah sebuah asterisk sesudah
nama dari alphabet S* (Kleene Star).• Dalam logika matematika dan ilmu komputer, bintang Kleene (atau
operator Kleene atau penutupan Kleene) merupakan operasi unary, baik di set pada set string atau simbol-simbol atau karakter. Penerapan bintang Kleene untuk satu set V ditulis sebagai V*. Hal ini banyak digunakan untuk ekspresi reguler, yang merupakan konteks yang diperkenalkan oleh Stephen Kleene menjadi ciri automata tertentu.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Contoh:Jika S = { x } makaS* = L4 = { x xx xxx ... }
Jika S = { 0 1 } makaS* = { 0 1 00 01 10 11 000 001 ... }
Jika S = { a b c } makaS* = { a b c aa ab ac ba bb bc ca cb cc aaa ... }
• Operasi Kleene Star menghasilkan infinite language dari string huruf yang ada pada alphabet.
• Yang dimaksud infinite language adalah tak terhitung banyaknya word.
• Disarankan word dari language tersusun urut dari yang pendek secara alphabetik .
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Contoh:Jika S = { aa, b} maka
S* = { dan word bentukan yang berasal dari aa dan b }S* = { dan semua string bentukan dari a dan b dengan a yang selalu
berderet dalam jumlah yang genap)= { b aa bb aab baa bbb aaaa aabb baab bbaa bbbb aaaab aabaa aabbb baaaa baabb bbaab bbbaa ... }
String aabaaab tidak termasuk S* karena jumlah a tidak genap • Contoh:
Jika S = { a, ab } makaS* = { dan word bentukan yang berasal dari a dan ab }S* = { dan semua string bentukan dari a dan b kecuali yang dimulai dengan b dan yang mengandung dua b berdempetan } = { a aa ab aaa aab aba aaaa aaab aaba abaa abab aaaaa aaaab aaaba aabaa aabab abaaa abaab ... }
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
REGULAR EXPRESSION • Sebuah cara mendefinisikan language yang lebih
tepat dibandingkan dengan menggunakan cara ellipsis ( diakhiri dengan ... )
• Language ini disebut regular language • Perhatikan: L4 = { x xx xxx xxxx ... }
• Dengan memanfaatkan closure, bila S = { x } maka L4 = S*
• Dapat juga ditulis sebagai L4 = {x}*
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Kleene Star tidak hanya dapat diaplikasikan untuk set namun juga langsung ke alphabet. Contoh: x*
• Ekpresi sederhana x* akan dipakai untuk mengekspresikan pengulangan dari x (bisa juga tidak sama sekali)
x* = atau x atau x2 atau x3 atau x4 ... = xn for n = 0 1 2 3 4 ...
• Jadi x* adalah string dari x yang banyaknya tidak dinyatakan secara pasti.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Sebuah language L yang didefinisikan dari alphabet S = {a, b}seperti di bawah ini:L = { a ab abb abbb abbbb ... }
• Dapat juga didefinisikan dengan kalimat: L = semua word yang dimulai dengan a dan diikuti oleh
sejumlah b (dan mungkin tanpa b sama sekali) • Dengan memakai notasi *, dapat dituliskan L = language (ab*) • Kleene Star dapat diimplementasikan pada string ab seperti di
bawah ini:(ab)* = atau ab atau abab atau ababab . . . (ab)* (ab*)
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh Kleene Star lainnya:• L1 = language (xx*)• Language L1 di atas berisi sebuah x lalu diikuti dengan
sejumlah x (dimana mungkin saja tanpa x sama sekali)• L1 dapat dituliskan dengan notasi lain, yaitu notasi + • x+ berarti sejumlah x dalam jumlah yang selalu positif
(tidak bisa 0, atau tidak bisa )• Notasi * lebih lazim dipergunakan daripada notasi + • L1 dapat juga didefinisikan dengan salah satu contoh di
bawah ini:xx* x+ xx*x* x*xx* x+x* x*x+ x*x*x*xx*
• Ingat bahwa x* bisa saja berarti
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh:• Language yang didefinisikan dengan ekspresi
ab*a• Adalah sebuah himpunan dari string a dan string b yang paling
sedikit berisi dua huruf yang diawali dengan a dan diakhiri dengan a dan hanya akan berisi b diantaranya (atau tidak sama sekali)
language(ab*a) = { aa aba abba abbba abbbba ... } Contoh:• Ekspresi-ekspresi di bawah ini mendefinisikan language L2
dengan hasil yang samaL2 = { xganjil } = x(xx)* = (xx)*x
• Namun ekspresi x*xx* tidak, karena termasuk (xx) x (x)
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Contoh:Language dengan ekspresi seperti di bawah inia*b*
• Berisi semua string dari a dan b sedemikian sehingga semua a (bila ada) akan berada di depan semua b (bila ada)language(a*b*) = { a b aa ab bb aaa aab abb bbb aaaa ... }
• Perhatikan bahwa ba dan aba tidak termasuk dalam language ini, juga bahwa jumlah a dan b tidak perlu sama
• Ada pemanfaatan lain dari tanda tambah +. Ekpresi x + y berarti salah satu dari x atau y (memilih). Berhati-hatilah untuk membedakan antara + dengan +
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh:• Perhatikan bahasa T yang berasal dari alphabet S = { a b c }
T = { a c ab cb abb cbb abbb cbbb abbbb cbbbb … }
• Semua word di dalam T dimulai dengan a atau c dan diikuti dengan sejumlah b. Secara simbolik language T dapat ditulis dengan cara:
T = language ((a + c)b*) = language (a atau c diikuti sejumlah b)
• Tanda + berarti harus dilakukan pilihan untuk memakai ekspresi yang sebelah kiri atau kanan
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh• Language yang didefinisikan dengan expressi
ab*a• Adalah sebuah himpunan dari string a dan
string b yang paling sedikit berisi dua huruf yang diawali dengan a dan diakhiri dengan a dan hanya akan berisi b diantaraanya (atau tidak sama sekali)
language(ab*a) = { aa aba abba abbba abbbba . . .}
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh• Language dengan ekspresi seperti di bawah ini
a*b*
• Berisi semua string dari a dan b sedemikian sehingga semua a (bila ada) akan berada di depan semua b (bila ada)language(a*b*) = { a b aa ab bb aaa aab abb bbb aaaa ...}
• Perhatikan bahwa ba dan aba tidak termasuk dalam language ini, juga bahwa jumlah a dan b tidak perlu sama
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh • Ekspresi-ekspresi di bawah ini mendefinisikan language L2 dengan hasil yang sama
L2 = { xganjil}= x(xx)*
= (xx)*x• Namun ekspresi x*xx* tidak, karena termasuk (xx) x (x).
Ada pemanfaatan lain dari tanda tambah +. Ekpresi x + y berarti salah satu dari x atau y (memilih). Berhati-hatilah untuk membedakan antara + dengan +.Contoh• Perhatikan bahasa T yang berasal dari alphabet = { a b c }• T = { a c ab cb abb cbb abbb cbbb abbbb cbbbb }• Semua word di dalam T dimulai dengan a atau c dan diikuti dengan sejumlah b.
Secara simbolik language T dapat ditulis dengan caraT = language ((a + c)b*) = language (a atau c diikuti sejumlah b)
tanda + berarti harus dilakukan pilihan untuk memakai ekspresi yang sebelah kiri atau kanan.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
Contoh• Sebuah language L akan berisi semua string dari a dan b
dengan panjang selalu tiga.• L = { aaa aab aba abb baa bab bba bbb }• Huruf pertama dari tiap word di dalam L adalah a atau b.
Huruf kedua dari tiap word di dalam L adalah a atau b. Huruf ketiga tiap word di dalam L adalah a atau b. Jadi L dapat didefinisikan:
L = language ((a + b)(a + b)(a + b)) Atau dengan lebih singkat L = language ((a + b)3)
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
LATIHANPerhatikan beberapa definisi di bawah ini yang berasal dari alphabet = { a b }1. (a + b)7
2. (a + b)*
3. a(a + b)*
4. (a + b)*a(a + b)*
5. (a + b)*a(a + b)*a(a + b)*
6. b*ab*a(a + b)*
7. (a + b)*ab*ab*
8. b*a(a + b)*ab*
9. b*ab*ab*
10. (a + b)*a(a + b)*b(a + b)*
11. (a + b)*a(a + b)*b(a + b)* + (a + b)*b(a + b)*a(a + b)*
12. bb*aa*
13. (a + b)*a(a + b)*b(a + b)* + bb*aa*
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
OTOMATA HINGGASebuah Otomata hingga adalah kumpulan dari tiga hal: • Kumpulan terbatas (finite set) dari state (kondisi/keadaan).
Satu diantaranya menjadi initial state (kondisi awal) atau start state, dan beberapa (bisa berarti tidak ada) dari antaranya dinyatakan sebagai final state. • Himpunan alphabet S berisi beberapa huruf, dimana string-
string bentukan dari alphabet akan dibaca huruf demi huruf.• Kumpulan terbatas dari transition yang menjelaskan untuk
tiap state dan tiap huruf yang dibaca ke state mana perjalanan dilanjutkan.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
OTOMATA HINGGA• Otomata hingga adalah suatu model yang dapat diterapkan pada
beragam jenis perangkat keras (hardware) dan perangkat lunak (software).
• Penerapan-penerapan dari otomata hingga adalah: Perangkat lunak yang digunakan untuk merancang dan memantau perilaku
rangkaian digital. Lexical Analyzer, yaitu komponen kompiler yang bertugas memecah teks-teks
input menjadi logical unit seperti identifiers, keyword dan punctuation. Perangkat lunak untuk memindai dokumen teks yang jumlah halamannya luar
biasa banyak guna menemukan kesamaan kata, frase dan bentuk-bentuk lain Perangkat lunak yang digunakan untuk memeriksa sistem-sistem dengan
stata/state berbeda yang berhingga jumlahnya, misalnya protokol komunikasi atau protokol yang digunakan untuk pertukaran informasi secara aman.
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
CONTOH OTOMATA HINGGA
Off OnStart
Push
Push
Startt th the then
t h e n
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
CONTOH• Alphabet yang digunakan hanya 2 huruf, a dan b• Ada 3 buah state, yaitu x, y dan z• Aturan transition yang dipakai adalah:
1. Dari state x dan input a menuju state y2. Dari state x dan input b menuju state z3. Dari state y dan input a menuju state x4. Dari state y dan input b menuju state z5. Dari state z dan input apa saja tetap di state zDitentukan juga x sebagai start state dan z sebagai final state
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Perhatikan apa yang akan terjadi bila string aaa diumpankan ke otomata hingga tersebut
• Penelusuran akan dimulai dari start state:Huruf pertama adalah a, sesuai aturan-1 akan menuju state yHuruf kedua adalah a, sesuai aturan-3 akan menuju state xHuruf ketiga adalah a, sesuai aturan-1 akan menuju state y
• String sudah diumpankan semua, tapi tidak mencapai final state
• Jadi, string aaa bukanlah termasuk di dalam bahasa yang didefinisikan oleh otomata hingga.
X Y ZStart a
b
a
b
a, b
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Contoh lain, bila string abba diumpankan ke FA tersebut .
• Hasilnya, perjalanan mencapai pada state z (final state) .
• Jadi, string abba termasuk word dalam bahasa yang didefinisikan oleh otomata tersebut tersebut
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Tidak sulit menerka word apa saja yang diterima oleh FA tersebut, yaitu stringnya harus berisi minimal sebuah b agar mencapai state z.
• Dari transition rule di atas, dapat dibuatkan sebuah transition table seperti di bawah ini:
• Otomata Hingga dapat dianggap sebagai suatu mesin. Ada suatu pergerakkan, perpindahan dari sebuah state ke state lain, karena adanya sebuah input
a b
Start x y z
y x z
Final Z z z
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Otomata Hingga dapat juga digambarkan dalam bentuk grafis yang disebut bentuk transition diagram.
• Tanda - untuk start state dan + untuk final state .• Bentuk lain, start state memakai panah dan final
state memakai lingkaran ganda.
X Y
Z
a b
a
b
a
b
X- Y
a b
a
b
a
b
Z+
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• 2 busur atau lebih yang berasal dari state yang sama dan menuju ke state yang sama pula dapat disatukan seperti gambar di atas.
• Sekilas terkesan bahwa FA di atas dapat menerima string dalam bentuk apapun.
• Namun, bila inputnya adalah null string ( ), maka tidak akan terjadi perpindahan state.
• Jadi language yang diterima oleh mesin di atas adalah:( a + b ) ( a + b )* = ( a + b )+
- +
a
b
a
b
- + a, b
a, b
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Ada kemungkinan sebuah Otomata Hingga tidak akan menerima language apapun
- +
a
b
a, b
- +
a, b
a, b a, b
TEORI BAHASA DAN OTOMATA (3 SKS)
JIM MICHAEL WIDI, S.KOMUNIVERSITAS BUDI LUHUR - FTI
• Perhatikan Otomata Hingga ini
• Apa yang terjadi bila diberi input string ababa dan babbb (bagaimana pergerakkannya)?
2
1- 4+
3
a
a
a
b
b b
a, b
Transisi bila diberi input string ababaδ(1,a) = (2)δ(2,b) = (3)δ(3,a) = (2)δ(2,b) = (3)δ(3,a) = (2)
Transisi bila diberi input string babbbδ(1,b) = (3)δ(3,a) = (2)δ(2,b) = (3)δ(3,b) = (4)δ(4,b) = (4)