3 - Finite State Automata

FINITE STATE AUTOMATA
Dewi Soyusiawaty
Review Materi
 Bahasa
 Automata
 Hubungan Bahasa dan Automata
 Penerapan Automata
 Operasi Bahasa
 Contoh Diagram Automata

Materi
 Tipe Automata
 Memahami konsep dan penerapan dari Finite State

Automata (FSA)
 Membuat FSA yang sesuai ntuk suatu bahasa yang
diberikan
 Mengetahui apakah sebuah string diterima atau ditolak
oleh FA
Sifat Automata
• Kelakuan mesin bergantung pada rangkaian masukan

yang diterima mesin
• Setiap saat mesin dapat berada pada status tertentu
dan dapat berpindah ke status baru karena ada
perubahan input
• Rangkaian input dapat dianggap sebagai suatu bahasa
yang harus dikenali
• Setelah pembacaan input selesai maka mesin akan
membuat keputusan
4
TEORI BAHASA OTOMATA
Computasi
CPU memory
5
temporary memory
input memory
CPU
output memory
Program memory
6
Contoh: f (x)  x3
temporary memory
input memory
CPU
output memory
Program memory
Compute 1 x x
Compute 2 x2  x 5
f (x)  x3
temporary memory
input memory
x2
CPU
output memory
Program memory
compute x x
compute x2  x 8
temporary memory f (x)  x3
z  2*2  4
f (x)  z * 2  8
input memory
x2
CPU
output memory
Program memory
compute x x
compute x2  x 9
temporary memory f (x)  x3
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 x2  x 1
TEORI BAHASA OTOMATA 0
Automaton
temporary memory
Automaton
input memory
CPU
output memory
Program memory
9
Perbedaan dari beberapa Automata
Berdasarkan temporary memory
• Finite State Automata tidak mempunyai
• PushDown Automata bentuknya stack
• Turing Machines pengaksesan

memory random
12
Finite Automaton (FA)
temporary memory
Finite input memory
Automaton
output memory
Contoh: Mesin Pencari Kata

(Kekuatan komputasi kecil)
13
Pushdown Automaton (PDA)
Stack Push, Pop
Pushdown input memory
Automaton
output memory
Contoh : Compilers pada bahasa pemrograman
(Kekuatan komputasi medium)

14
Mesin Turing
Random Access Memory
Turing input memory
Machine
output memory
Contoh : Banyak Algoritma

(Kekuatan komputasi Tinggi)
15
Power of Automata
Dalam Menyelesaikan Permasalahan

Finite Pushdown Mesin
Automata Automata Turing
Kekuatan rendah Kekuatan tinggi
16
Power of Automata
Dalam Menyelesaikan Permasalahan

Finite Pushdown Mesin
Automata Automata Turing
Kekuatan rendah Kekuatan tinggi
17
Hirarki Chomsky
Penggolongan bahasa menjadi 4 tingkatan

Bahasa Mesin Automata
Reguler FSA
Bebas Konteks/Context Free PDA
LBA
Context Sensitive
Unrestricted/Phase Mesin Turing

Structure/Natural Language
18
Finite State Automata
 Jenis otomata yang tidak mempunyai penyimpanan, Kemampuan
mengingatnya terbatas
 Model automata dari bahasa regular
 Memiliki state yang banyaknya berhingga
 State dapat berpindah ke state yang lain. Perubahan state dinamakan

dengan fungsi transisi
 Contoh : Mekanisme kontrol pada suatu lift/elevator
 Mekanisme ini tidak mengingat semua permintaan sebelumnya
 Hanya posisi lift saat itu pada suatu lantai, pergerakan (atas atau
bawah) dan sekumpulan permintaan yang belum terpenuhi
FSA
 - Sistem elevator
 - Mesin pengeluar minuman kaleng (vending machine)
 - Pengatur lampu lalu lintas (traffic light regulator)
 - Sirkuit penyaklaran (switching) di komputer dan telekomunikasi
 - Protokol komunikasi (communication protocol)
 - Analisis Leksikal (Lexical analyzer)
 - Neuron nets
Finite Automata (FA)
Input
String
Output
“Accept”
Finite or
Automaton
“Reject”
21
Finite State Automata
 Tool yang yang sangat berguna untuk perancangan lexical

analyzer
 Yaitu bagian dari kompilator yang mengelompokkan

karakter ke dalam token
 Berupa unit terkecil seperti nama, variabel dan keyword
 Text editor, pemrosesan teks dan file searching

Jenis FSA
1. Deterministic Finite Automata (DFA)

Dari suatu state ada tepat satu state berikutnya untuk
setiap simbol masukan yang diterima.
2. Non-deterministic Finite Automata (NFA)

Dari suatu state ada 0, 1 atau lebih state berikutnya
untuk setiap simbol masukan yang diterima.
23
Suatu FSA memiliki state yang banyaknya berhingga, dan dapat
berpindah-pindah dari suatu state ke state lain.
Konfigurasi FA M  Q,, ,q0 , F 
Q : Himpunan states/kedudukan
 : Himpunan symbol input/masukan/ alphabet
 : fungsi transisi
q0 : state awal
F : state akhir
24
Cara kerja Finite Automata
1. Mesin membaca memori masukan berupa tape yaitu 1 karakter

tiap saat (dari kiri ke kanan) menggunakan head baca yang
dikendalikan oleh kotak kendali state berhingga dimana pada
mesin terdapat sejumlah state
2. Finite Automata selalu dalam kondisi yang disebut state awal pada
saat Finite Automata mulai membaca tape.
3. Perubahan state terjadi pada mesin ketika sebuah karakter

berikutnya dibaca.
4. Ketika head telah sampai pada akhir tape dan kondisi yang ditemui
adalah state akhir, maka string yang terdapat pada tape
dikatakan diterima
TEORI BAHASA OTOMATA Finite Automata (String-string merupakan
25
milik bahasa bila diterima Finite Automata bahasa tersebut).

Kasus Populer FSA
 Seorang petani dengan seekor
kambing, serigala, dan seikat
rumput berada pada suatu sisi
sungai (kita sebut sisi kiri)
 Terdapat sebuah perahu kecil dan

hanya bisa memuat petani dan
salah satu dari kambing, serigala
atau rumput.
 Petani akan menyeberangkan

ketiganya ke sisi kanan sungai,
tetapi jika petani meninggalkan
serigala dan kambing pada suatu
sisi sungai, maka kambing akan
dimakan serigala.
 Begitu juga jika kambing

ditinggalkan dengan rumput, maka
rumput akan dimakan kambing.
Kasus Populer FSA
 Mungkinkah menemukan cara melintasi sungai tanpa

menyebabkan kambing atau rumput dimakan?
Solusi Kasus Petani
 Bisa dimodelkan dengan memperhatikan objek pada sisi
sungai
 Kombinasi tiap sisi sungai untuk Petani (P), Kambing (K),
Serigala (S) dan Rumput (R)
 Input dari sistem adalah tindakan yang dilakukan Petani.
 Petani menyebrang sungai (input p), dengan kambing (input

k), dengan serigala (input s), atau rumput (input r).
 Tentukan semua kombinasi kedudukan untuk posisi Petani
Kambing Rumput dan Serigala
Kombinasi Kedudukan
Sisi Kiri Sisi Simbol Ket Sisi Kiri Sisi Simbol Ket
Kanan State Kanan State
PKSR o PKSR - 0 V PR SK PR – SK X
SR PK SR – PK V PS KR PS – KR X
SK PR SK – PR X K PSR K – PSR V
KR PS KR – PS X R PSK R – PSK V
PSR K PSR – K V S PKR S – PKR V
PSK R PSK – R V SKR P SKR – P X
PKR S PKR – S V P SKR P – SKR X
PK SR PK - SR V o PSKR 0 - PSKR V
Diagram FSA
Representasi Diagram Transisi
 lingkaran merepresentasikan kedudukan (state)
 label pada lingkaran adalah nama state tersebut
 busur menyatakan transisi
 label pada busur adalah masukan/input
 lingkaran didahului dengan sebuah busur tanpa label adalah

state awal
 limgkaran ganda menyatakan state akhir(finish)

Algoritma Permainan Logika PSRK
1. Mulai
2. Terdapat 3 objek yang akan diseberangkan oleh petani
3. Petani berangkat sendiri , misi gagal karena rumput dimakan kambing dan
kambing dimakan serigala
4. Rumput dan Petani berangkat, misi gagal karena kambing dimakan serigala.
5. Serigala dan Petani berangkat, misi gagal karena rumput dimakan kambing.
6. Kambing dan Petani berangkat, petani kembali sendiri
7. Petani dan rumput berangkat.
8. Jika petani kembali sendiri, maka misi gagal karena rumput dimakan kambing,
dan
9. Jika petani dan kambing kembali, maka lanjutkan langkah 10
10. Jika petani berangkat sendiri, maka misi gagal karena kambing dimakan
serigala, dan
11. Jika Petani dan serigala berangkat, maka lanjutkan langkah 12
12. Petani kembali sendiri, petani dan kambing berangkat
13. Misi sukses
14. Selesai.
Video Petani
DFA untuk mengenali Bilangan Cacah
34
DFA untuk mengenali Bilangan Cacah
  0,1,2,3,4,5,6,7,8,9 
Q  q0 , q1, q2
State awal = q0
State akhir = q1, q2
 q0,0 q1  q1,0 -  q2,0 q2
q1,1 -
q0,1 q2 q2,1 q2
q1,2 -
q0,2 q2 .... q0,2 q2
....
 q1,9 - ....
 q0,9 q2
 q0,9 q2
35
Graph Transisi
a, b
q5
a a, b
b b
q0 a q1 b q2 b q3 a q4
State •State akhir

awal •State diterima
transisi
state
36
Input Alphabet 
  a,b
a, b
q5
b a a, b
a b
37
Himpunan State = Q
Q  q0 , q1, q2 , q3 , q4 , q5
a, b
q5
a a, b
b a b
38
q
State Awal = 0
a, b
q5
a a, b
b a b
39
State Akhir = F
F  q4 
a, b
q5
a a, b
b a b
40
Fungsi Transisi = 
 :Q  Q
a, b
q5
b a a, b
a b
41
 q0 ,a   q1
Dibaca : State qo mendapat inputan a
menuju ke q1
a, b
q5
b a a, b
a b
42
 q0 ,b   q5
a, b
q5
b a a, b
a b
43
 q2 ,b   q3
a, b
q5
b a a, b
a b
44
Fungsi Transisi 
 a b
q0 q1 q5 Digambarkan dengan tabel
q1 q5 q2 transisi
q2 q5 q3
a, b
3 4 5
q4 q5 q5
q5 q5 q5 q5
b a a, b
a b
45
Memperpanjang Fungsi Transis*i
 * : Q  *  Q
a, b
q5
b a a, b
a b
46
 * q0 ,ab   q2
a, b
q5
b a a, b
a b
47
 * q0 ,abba   q4
a, b
q5
b a a, b
a b
48
 * q0 ,abbbaa   q5
a, b
q5
b a a, b
a b
49
Bahasa yang diterima oleh FA
FA =M
Definisi:
Bahasa LM  yang terdiri dari seluruh
inputan string yang diterima oleh M
LM  = { string yang dibawa oleh M

untuk dapat diterima oleh state}
50
Inisial Configurasi (Pertama Kali)
Input String
a b b a
a, b
q5
a a, b
b a b
51
Membaca Input
a b b a
a, b
q5
a a, b
b a b
52
a b b a
a, b
q5
a a, b
b a b
53
a b b a
a, b
q5
a a, b
b a b
54
a b b a
a, b
q5
a a, b
b a b
55
Input selesai
a b b a
a, b
q5
a a, b
b a b
diterima 56
Ditolak/Diterima?
a b a
a, b
q5
a a, b
b a b
57
a b a
a, b
q5
a a, b
b a b
58
a b a
a, b
q5
a a, b
b a b
59
a b a
a, b
q5
a a, b
b a b
60
Input Selesai
a b a
a, b
Ditolak
q5
a a, b
b a b
61
Diterima atau Ditolak?
Jika inputannya 

a, b
q5
a a, b
b a b
62
State Awal

a, b
q5
a a, b
b a b
63
Ditolak

a, b
q5
a a, b
b a b
ditolak
64
Bahasa yang digunakan?
a a, b
q0 b q1 a, b q2
65
Contoh Lain :
a a b
a a, b
q0 b q1 a, b q2
66
a a b
a a, b
q0 b q1 a, b q2
67
a a b
a a, b
q0 b q1 a, b q2
68
a a b
a a, b
q0 b q1 a, b q2
69
Input selesai
a a b
a a, b
diterima
q0 b q1 a, b q2
70
Ditolak/Diterima?
b a b
a a, b
q0 b q1 a, b q2
71
b a b
a a, b
q0 b q1 a, b q2
72
b a b
a a, b
q0 b q1 a, b q2
73
b a b
a a, b
q0 b q1 a, b q2
74
Input selesai
b a b
a a, b
q0 b q1 a, b q2
ditolak
75
L(M) = ?
M
a, b
q5
b a a, b
a b
diterima
76
Contoh
M
a, b
q5
b a a, b
a b
diterima
77
Contoh: L(M) = ?
M
a, b
q5
b a a a, b
b
diterima diterima diterima
78
Contoh
LM    , ab,abba M
a, b
q5
b a a a, b
b
diterima diterima diterima
79
Contoh: L(M) = ?
a a, b
q0 b q1 a, b q2
diterima State jebakan
80
Example
LM   {a nb : n  0}
a a, b
q0 b q1 a, b q2
diterima ditolak
81
Contoh : Jika Berjalan dari q0 ke q5
diberi nama abbbaa
 * q0 ,abbbaa   q5
a, b
q5
b a a, b
a b
82
L(M) ?
ab
a, b
q0 a q1 b q2
b a diterima
q3 a, b
83
Contoh
LM = { seluruh strings dengan prefik ab }
a, b
q0 a q1 b q2
b a diterima
q3 a, b
84

3 - Finite State Automata

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

3 - Finite State Automata

Diunggah oleh

Hak Cipta:

Format Tersedia

FINITE STATE AUTOMATA

 Hubungan Bahasa dan Automata

 Contoh Diagram Automata

 Memahami konsep dan penerapan dari Finite State

• Kelakuan mesin bergantung pada rangkaian masukan

Berdasarkan temporary memory

• Finite State Automata tidak mempunyai

• PushDown Automata bentuknya stack

• Turing Machines pengaksesan

Finite input memory

Contoh: Mesin Pencari Kata

Pushdown input memory

Contoh : Compilers pada bahasa pemrograman

(Kekuatan komputasi medium)

Random Access Memory

Turing input memory

Contoh : Banyak Algoritma

Dalam Menyelesaikan Permasalahan

Kekuatan rendah Kekuatan tinggi

Dalam Menyelesaikan Permasalahan

Kekuatan rendah Kekuatan tinggi

Penggolongan bahasa menjadi 4 tingkatan

Bebas Konteks/Context Free PDA

Unrestricted/Phase Mesin Turing

 Model automata dari bahasa regular

 Memiliki state yang banyaknya berhingga

 State dapat berpindah ke state yang lain. Perubahan state dinamakan

 Contoh : Mekanisme kontrol pada suatu lift/elevator

 Mekanisme ini tidak mengingat semua permintaan sebelumnya

 - Mesin pengeluar minuman kaleng (vending machine)

 - Pengatur lampu lalu lintas (traffic light regulator)

 - Sirkuit penyaklaran (switching) di komputer dan telekomunikasi

 - Protokol komunikasi (communication protocol)

 - Analisis Leksikal (Lexical analyzer)

 Tool yang yang sangat berguna untuk perancangan lexical

 Yaitu bagian dari kompilator yang mengelompokkan

 Berupa unit terkecil seperti nama, variabel dan keyword

 Text editor, pemrosesan teks dan file searching

1. Deterministic Finite Automata (DFA)

2. Non-deterministic Finite Automata (NFA)

Konfigurasi FA M  Q,, ,q0 , F 

1. Mesin membaca memori masukan berupa tape yaitu 1 karakter

3. Perubahan state terjadi pada mesin ketika sebuah karakter

milik bahasa bila diterima Finite Automata bahasa tersebut).

 Terdapat sebuah perahu kecil dan

 Petani akan menyeberangkan

 Begitu juga jika kambing

 Mungkinkah menemukan cara melintasi sungai tanpa

 Petani menyebrang sungai (input p), dengan kambing (input

 lingkaran merepresentasikan kedudukan (state)

 label pada lingkaran adalah nama state tersebut

 busur menyatakan transisi

 label pada busur adalah masukan/input

 lingkaran didahului dengan sebuah busur tanpa label adalah

 limgkaran ganda menyatakan state akhir(finish)

State •State akhir

LM  = { string yang dibawa oleh M

diterima State jebakan

Anda mungkin juga menyukai