1

PENGGABUNGAN 2 FINITE STATE AUTOMATA

6
Pada dua mesin Finite Automata kita dapat melakukan penggabungan, disebut union serta
konkatensi. Misalkan kita mempunyai dua mesin NFA, M1 pada gambar 9 dan M2 pada gambar
10

qA0 1
qA1

Gambar 1. Mesin M1

1
1
qB0 qB1

Gambar 2. Mesin M2

Bila diketahui L(M1) adalah bahasa yang diterima oleh M1 dan L(M2) adalah bahasa yang
diterima olehM2. Dilakukan operasi union berikut: L(M3) = L(M1) ∪ L(M2) (atau dengan notasi
lsin: L(M3) = L(M1) + L(M2) ). Kita bisa membuat mesin M3 yang menerima bahasa L(M3)
dengan cara:
• Tambahkan state awal untuk M3, hubungkan dengan state awal M1 dan state awal M2
menggunakan transisi ε
• Tambahkan state akhir untuk M3, hubungkan dengan state-state akhir M1 dan state-state
akhir M2 menggunakan transisi ε

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata
 2

Kita lihat operasi union ini pada gambar 11

qs da qf adalah state awal dan state final mesin baru kita.

ε qA0 qA1 ε

qS 1 q1

ε qB0 qB1 ε

Gambar 3. Mesin M3

KONKATENASI 2 FINITE STATE AUTOMATA

Ditentukan L(M4) = L(M1) L(M2). Kita bisa membuat mesin M4 yang menerima bahasa
L(M4) dengan cara:
• State awal M1 menjadi state awal M4
• State-state akhir M2 menjadi state akhir M4
• Hubungan state-state akhir M1 dengan state awal M2 menggunakan transisi ε .
Kita lihat hasil operasi konkatensi ini pada gambar 12.

0
1
1
1 qA ε qB
qS qf
1 0

Gambar 4. Mesin M4

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata
 3

ALUR PENGEMBANGAN FSA

FSA hasil operasi gabungan atau konkatenasi adalah sebuah NFA ε -move. Untuk
selanjutnya harus diubah menjadi NFA tanpa ε -move.
Secara lebih lengkap alur pengembangan FSA dapat digambarkan sebagai berikut :

Problem

Analisa masalah dan

perancangan FSA awal
Sub Sub Sub
Problem Problem Problem

NFA NFA NFA

ε -move ε -move ε -move
Operasi Gabungan atau
operasi konkatenasi

NFA
ε -move
Reduksi ε -move

NFA

Penyederhanaan FSA

NFA
Sederhana

Ekivalensi NFA to DFA

DFA

Reduksi useless state

DFA
Optimal
PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini
S.Kom
Teori Bahasa Otomata
 4

SOAL-SOAL UNTUK PERSIAPAN UTS

Soal A :

Diberikan mesin automata sebagai berikut :

Q = {p, q, r, s}; Σ = {0, 1}; S=p ; F = {s}
Untuk setiap tabel transisi gambarkan diagram mesinnya (diagram state) lembar jawaban anda,
dan jawablah soal dikolom sampingnya

Tabel transisi Soal

0 1
I. 1. tentukanlah apakah 0110 diterima atau ditolak
p p, q p 2. tentukanlah apakah 1001 diterima atau ditolak
q r r 3. tentukanlah apakah 110 diterima atau ditolak
r s - 4. tentukanlah apakah 1001 diterima atau ditolak
s s s 5. tentukanlah apakah 01011 diterima atau ditolak
6. tentukanlah apakah 001 diterima atau ditolak
7. tentukanlah apakah 100 diterima atau ditolak

II. 0 1 8. tentukanlah apakah 0110 diterima atau ditolak

p q p 9. tentukanlah apakah 1001 diterima atau ditolak
q r s 10. tentukanlah apakah 110 diterima atau ditolak
r s q 11. tentukanlah apakah 1001 diterima atau ditolak
12. tentukanlah apakah 01011 diterima atau ditolak
s p s
13. tentukanlah apakah 001 diterima atau ditolak
14. tentukanlah apakah 100 diterima atau ditolak

III 0 1 15. tentukanlah apakah 0110 diterima atau ditolak

p q r 16. tentukanlah apakah 1001 diterima atau ditolak
q r p 17. tentukanlah apakah 110 diterima atau ditolak
r s r 18. tentukanlah apakah 1001 diterima atau ditolak
19. tentukanlah apakah 01011 diterima atau ditolak
s q s
20. tentukanlah apakah 001 diterima atau ditolak
21. tentukanlah apakah 100 diterima atau ditolak

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata
 5

Bagian B :

Untuk setiap diagram mesin (diagram state) berikut tuliskanlah definisi formal 5 tuple dan tabel
transisinya pada lembar jawaban anda, dan jawablah soal dikolom sampingnya

Diagram state soal

I. Tentukanlah apakah string berikut dapat diterima atau
q0 1 ditolak :
q1
1 1. 1101
0 2. 0101
0 0 0
3. 1001
1 4. 1010
q2 q3
5. 0011
1

II.
q1 1 0, 1
q3
0 Tentukanlah apakah string berikut dapat diterima atau
0 ditolak
q0 6. 1101
q5 0 7. 0101
1 1 8. 1001
q4 9. 1010
q2 1
10. 0011
0, 1
0
III.
q1 1 0 Tentukanlah apakah string berikut dapat diterima atau
q3
0 ditolak
0 0 11. 1101
q0 12. 0101
1 q5 13. 1001
1 1 14. 1010
15. 0011
q2 1 q4 0, 1
0

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata
 6

Bagian C :

1. Buatlah Deterministic Finite Automata yang ekivalen dengan Non-deterministic Finite

Automata berikut :
0 1
Q = {p, q, r, s}; Σ = {0, 1} ; S=p ; F = {s} p p, q p
q r r, p
Fungsi transisinya dinyatakan dalam tabel transisi :
r s -
s - s

2. Buatlah Deterministic Finite Automata yang ekivalen dengan Non-deterministic Finite

Automata berikut : 0 1
Q = {q0, q1, q2}; Σ = {0, 1}; S = q0 ; F = {q1} q0 q1 -
q1 q1, q2 q2
Fungsi transisinya dinyatakan dalam tabel transisi :
q2 q0 q1, q2

3. Lakukan reduksi jumlah state pada DFA berikut ini

q1 1 0, 1
q3
0
0
q0 1 q5 0
1 q3 1 q4

0, 1
0

4. Lakukan reduksi jumlah state pada DFA berikut ini

1
0
0 q2 0, 1
q4
PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini
S.Kom
Teori Bahasa Otomata
 q1 7
0
q0 1
0
1 1
q3

5. Pelajarilah dengan seksama persoalan berikut ini :

Sebuah rombongan yang terdiri dari 3 orang bikshu dan 3 orang kanibal tiba ditepi sebuah
sungai yang dalam dan berbahaya. Satu-satunya cara untuk menyebrangi sungai adalah
dengan sebuah perahu yang tertambat dipinggir sungai tersebut.
Perahu hanya mampu memuat 2 orang penumpang. Perahu tidak memiliki tukang dayung
sehingga mesti ada bikshu atau kanibal membawa perahu dari satu sisi ke-sisi lainnya.
Persoalannya adalah jika disatu keadaan terdapat lebih banyak kanibal dibanding bikshu,
maka bikshu tersebut akan dimakan oleh kanibal tersebut.

a. Definisikanlah suatu mesin automata yang menggambarkan penyelesaian

persoalan tersbut.
b. Definisikanlah bentuk formal 5 tuple dari mesin yang anda buat.

6. Bila diketahui L(M1) adalah bahasa yang diterima oleh M1 pada gambar 1, dan L(M2)
adalah bahasa yang diterima oleh M2 pada gambar 2. Diketahui L(M3) = L(M1) + L(M2),
serta L(M4) = L(M1)L(M2). Gambarkan :
a. Mesin M3 yang menerima bahasa L(M3)
b. Mesin M4 yang menerima bahasa L(M4)

0
1
q0 q1

0,1

Gambar 1

q1 q0 q1

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata
 8

Gambar 2

7. Dari diagram NFA dengan ε – moves berikut, gambarkan diagram NFA tanpa ε –
moves yang ekivalen dengannya.

q0 q1
ε

b
ε
q2

Silabus Teori Bahasa dan Otomata

Cakupan Materi Perkuliahan :

1. Pendahuluan
Sasaran : Mahasiswa memahami pengertian dan kedudukan Teori Bahasa dan Otomata
(TBO) pada ilmu komputer
Bahan :
• Definisi dan Pengertian Teori Bahasa dan Otomata
• Teori bahasa dan otomata dalam ilmu komputer
• Tata bahasa
• Klasifikasi Tata Bahasa
2. Teknik Kompilasi
PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini
S.Kom
Teori Bahasa Otomata
 9

Sasaran : Mahasiswa mengenal dan memahami struktur cara kerja kompilator

Materi :
• Bahasa Pemrograman
• Translator
• Model Kompilator
• Penganalisa Leksikal
• Penganalisa Sintaksis
3. Finite State Automata
Sasaran : Mahasiswa memahami Finite State Automata (FSA) dan dapat mengeksekusi
suatu mesin otomata
Materi :
• Implemetasi FSA
• Deterministic Finite Automata (DFA)
• Non Deterministic Finite Automata (NFA)
• Ekivalensi
• Reduksi State
• Translasi NFA ke DFA
• NFA dengan ε-move

4. Ekspresi Reguler
Sasaran : mahasiswa mamahami pengertian ekspresi Reguler dan menurunkan aturan
produksi bahasa reguler dari suatu FSA
Materi :
• implmentasi ekpresi reguler
• notasi ekspresi reguler
• hubungan ekspresi reguler dan FSA
• Aturan produksi bahasa reguler
• Rekonstruksi aturan produksi
5. FSA dengan Output
Sasaran : Mahasiswa memahami model FSA dengan output
• Mesin Moore
• Mesin Meally
PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini
S.Kom
Teori Bahasa Otomata
 10

• Ekivalensi mesin Moore dan Mesin Meally

6. Pohon Penurunan
Sasaran : mahasiswa memahamai pohon penurunan dari suatu tata bahasa.
Materi :
• Pohon penurunan
• Tata bahasa
• Parsing
• Ambiguitas
7. CFG
Materi : Mahasiswa memahamai dan dapat membangun suatu tata bahasa bebas konteks
(CFG)
Materi :
• Bentuk CFG
• Penyederhanaan CFG
• Produksi Useless
• Produksi unit
• Produksi ε
8. Bentuk Normal
Sasaran : Mahasiswa mengenal dan memahamai bentuk normal
Materi :
• Pengertian bentuk normal
• Bentuk normal Chomsky
• Membangun bentuk normal Chomsky
9. Rekursif Kiri
Sasaran : Mahasiswa memahamai pengertian rekursif kiri dan dapat mentranslasikan tata
bahasa dengan rekursif kiri
Materi :
• Aturan produksi rekursif
• Tahapan Reduksi Rekursif kiri
10. Mesin Turing
Sasaran : mahasiswa mengenal dan memahamai konsep mesin turing
Materi :
PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini
S.Kom
Teori Bahasa Otomata
 11

• Spesifikasi mesin turing

• Mekanisme kerja mesin turing
• Deskripsi seketika mesin turing

PUSAT PENGEMBANGAN BAHAN AJAR – UMB Puji Catur Siswipraptini

S.Kom
Teori Bahasa Otomata