REGULAR LANGUAGES

Ilmu Komputasi
Teknik Informatika
STMIK AMIKOM Purwokerto

Pertemuan 3
•Regular Language

REGULAR LANGUAGES
•DETERMINISM AND NON DETERMINISM FA
•REGULAR EXPRESSIONS
•NONREGULAR LANGUAGES

DFA dan NFA
•Pada DFA dari suatu state ada tepat satu state berikutnya untuk setiap simbol input (masukan) yang di terima.
•Pada NFA, dari suatu input mungkin saja bisa dihasilkan lebih dari satu state berikutnya.

Finite State Automata (FSA)
Input Tape
“Accept or “Reject”
String
Finite Automaton
Output

Deterministic Finite Automata (DFA)
q0 q1 q2
a a
a
b
b b

Nondeterministic Finite Automata (NFA)
q0 q1
a
a ,b
a ,b

•Maka otomata ini disebut nondeterministik (tidak pasti arahnya). Bisa dilihat tabel transisinya.
a
b
q0
{ q0,q1}
{q1}
q1
{q1}
{q1}

•Catatan :
Perhatikan cara penulisan state hasil transisi pada tabel transisi untuk Nondeterministic Finite Automata digunakan kurung kurawal ‘{‘ dan ‘}’ karena hasil transisinya merupakan suatu himpunan state

Contoh lain NFA
q0
a
b
q1
a
a
b
q0
{q1}
{q0}
q1
{q0}

Ekuivalensi NFA dengan DFA
•Dari sebuah NFA dapat dibuat bentuk DFA nya yang ekivalen (bersesuaian)
•Ekuivalen artinya mampu memproduksi atau menerima bahasa yang sama

q0
1
q1
0,1
0
1
0
1
q0
{q0, q1}
{q1}
q1
{q0, q1}

•Hasilnya :
{q0}
{q1}
{q0,q1}
0
1

•Hasil gabungan dari
δ (q0, 0) = {q0, q1} dengan δ (q1, 0) = Ø adalah
δ ({q0,q1}, 0) = {q0, q1}
0
1
q0
{q0, q1}
{q1}
q1
{q0, q1}

•Hasil gabungan dari
δ (q0, 1) = {q1} dengan δ (q1, 1) = {q0, q1} adalah
δ ({q0,q1}, 1) = {q0, q1}
0
1
q0
{q0, q1}
{q1}
q1
{q0, q1}

{q0}
{q1}
{q0,q1}
0
1
0,1
1
0

•Telusuri state baru yg terbentuk :
δ (Ø, 0) = Ø
δ (Ø, 1) = Ø

{q0}
{q1}
{q0,q1}
0
1
0,1
1
0
0,1

•Selanjutnya kita ingat bahwa F = {q1} maka himpunan state akhir (F) sekarang adalah semua yang mengandung state q1
F = { {q1}, {q0, q1} }

Latihan
•Diketahui NFA sebagai berikut :
Σ = {0, 1}, F = {q0} , S = q0
Buatlah ekuivalensi DFA nya
q0

Reduksi jumlah state pada FSA
•Untuk suatu bahasa regular, kemungkinan ada sejumlah Deterministic Finite Automata yang dapat menerimanya.
•Perbedaannya hanyalah jumlah state yang dimiliki otomata- otomata yang saling ekuivalen tersebut.
•Dengan alasan kepraktisan, kita memilih otomata dengan jumlah state yang lebih sedikit.
•Sasaran adalah mengurangi jumlah state dari suatu Finite State Automata, dengan tidak mengurangi kemampuannya semula untuk menerima suatu bahasa.

•Ada dua buah istilah baru yang perlu kita ketahui yaitu :
1. Distinguishable (dapat dibedakan)
2. Indistinguishable (tidak dapat dibedakan)

•Sederhanakan DFA berikut :
q0
q1
q2
q3
q4

•Langkah-langkahnya :
1.Identifikasilah setiap kombinasi state yang mungkin
2.State yang berpasangan dengan state akhir q4 merupakan state yang distinguishable
3.Untuk pasangan state yang lain jika masing-masing state mendapat input yang sama, maka bila satu state mencapai state akhir dan yang lain tidak mencapai state akhir maka dikatakan distinguishable.

•State yg mungkin :
(q0 , q1 )
(q0 , q2 )
(q0 , q3 )
(q0 , q4 )
(q1 , q2 )
(q1 , q3 )
(q1 , q4 )
(q2 , q3 )
(q2 , q4 )
(q3 , q4 )
Distinguishable

•Untuk (q0 , q1 ) :
δ (q0 , 1) = q3
δ (q1 , 1) = q4
δ (q0 , 0) = q1
δ (q1 , 0) = q2
Maka (q0 , q1 ) : Distinguishable

Latihan
A
B
C
0
0
0
1
1
0
1

Non Deterministic Finite Automata dengan є – Move
•Pada Non–deterministic Finite Automata dengan є – move (transisi є ), diperbolehkan mengubah state tanpa membaca input.
•Disebut dengan transisi є karena tidak bergantung pada suatu input ketika melakukan transisi.

• ε (epsilon) ----» string kosong
q0 q1 q2 ε
a
b

•Contoh :
Dari q0 tanpa membaca input dapat berpindah ke q1

•ε-closure adalah himpunan state yang dapat dicapai dari suatu state tanpa adanya input.
•Contohnya : (dari gambar di atas)
•Klosure-ε (qo) = {qo ,q1 }
•Klosure-ε (q1) = {q1}

Ekuivalensi NFA dengan ε-move ke NFA tanpa ε-move
•Buat tabel transisi NFA dengan ε-move
•Tentukan ε-closure setiap state
•Carilah fungsi transisi /tabel transisi yang baru, rumus :
δ’(state,input)=ε-closure(δ(ε-closure(state,input))
•Tentukan state akhir ditambah dengan state yang ε- closure nya menuju state akhir, rumusnya :
F’ = F ∪ {q | (ε-closure(q) ∩ F ≠ ∅}

Contohnya :
qo
q1
q3
q2
ε
a
b

Tabel Transisi
δ
a
b
ε
qo
Ø
Ø
q1
q1
q2
q3
q1
q2
Ø
Ø
q2
q3
Ø
Ø
q3

•Klosure-ε setiap state
•Klosure-ε (qo) = {qo ,q1}

Tabel Transisi yang baru (δ’)
δ
a
b
q0
ε-cl(δ(ε-cl(q0),a))
ε-cl(δ({q0,q1},a))
ε-cl(q2)
{q2}
ε-cl(δ(ε-cl(q0),b))
ε-cl(δ({q0,q1},b))
ε-cl(q3)
{q3}
q1
ε-cl(δ({q1},a))
ε-cl(q2)
{q2}
ε-cl(δ({q1},b))
ε-cl(q3)
{q3}
q2
ε-cl(δ({q3},a))
ε-cl(∅)
∅
ε-cl(δ({q2},b))
ε-cl(∅)
∅
q3
ε-cl(δ({q3},a))
ε-cl(∅)
∅
ε-cl(δ({q3},b))
ε-cl(∅)
∅

•Hasil ekuivalensi
qo
q1
q3
q2
a
b
b
a

Penggabungan dan Konkatenasi FSA
•Bila diketahui L1 adalah bahasa yang diterima oleh M1 dan L2 adalah bahasa yang diterima oleh M2 maka
1. FSA M3 yang dapat menerima L1+L2 dibuat 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 ε

2. FSA M4 yang dapat menerima L1L2 dibuat dengan cara
♦ State awal M1 menjadi state awal M4
♦ State-state akhir M2 menjadi state-state akhir M4
♦ Hubungkan state-state akhir M1 dengan state awal M2 menggunakan transisi

q0 a q1 b q2 b q3 a q4
q5
b a a b
a ,b
a ,b
L  ,ab,abba 
Accept
state
Accept
state
Accept
state

REGULAR LANGUAGES

More Related Content

What's hot (20)

Similar to REGULAR LANGUAGES (20)

More from Dhan junkie (20)

Recently uploaded (20)

REGULAR LANGUAGES