Jelajahi eBook
Kategori
Jelajahi Buku audio
Kategori
Jelajahi Majalah
Kategori
Jelajahi Dokumen
Kategori
Contoh :
L = {x {0, 1} | x konkatensi berulang 110 dan diakhiri oleh satu symbol apa
saja (0 atau 1)
L = {110}* {0, 1} atau
L= {{1}{1}{0}}* {{0} {1}}
Ekspresi regular memberikan suatu pola atau template untuk string/unati dari
suatu bahasa.
Contoh
1*10 artinya merupakan string-string berisi akhiran 10 dan diawali
sejumlah 1
Contoh :
M = (Q, , , q0, F)
Dimana : Q = {q0}, = ,
q0
= , q0 = q0, F =
2. Memiliki Satu Elemen Karakter
Misal {a}
a
q0 q1
a
0
q0
q1
1 0
Contoh :
1 0 1 1
q0 q1 q2 1
0
Maka input yang menuju state akhir (q2) adalah 0 atau 10*1*.
Pada state q2 akan menerima input 1 dalam jumlah berulang (0-n) dan
tetap di q2.
Pada state q1 akan menerima inpu 0 dalam jumlah berulang (0-n)
Bisa dikatakan mesin otomata di atas menerima 01* atau 10*11*, jadi dapat
dituliskan ekspresi regularnya :
01* 10*11*
SOAL
1. Bentuklah Finite State Automata dari ekspresi regular berikut :
10+(0+11)0*1
2. Tentukan ekspresi regular untuk bahasa yang diterima oleh NFA berikut :
Q = {qo, q1, q2, q3, q4}
= {0,1}
q0 = q0
F = {q2, q3, q4}
Tabel transisinya
0 1
q0 {q1, q4} {q3}
q1 {q1} {q2}
q2 - -
q3 - {q4}
q4 - -
4.7.Finite State Automata dengAN Tipe Bahasa 3
Teorema 1
Suatu tata bahasa tipe 3 regular grammar, yaitu G = (V, T, P, S), dimana tata
bahasa tersebut terdapat mesin finite automata M = (Q, , , q0, F) dengan
T(M) = L(G).
0
S
1 A 0
0
Jadi dari tatabahasa didapat finite state automatanya :
B
M = (Q, , , q0, F) dengan
Q = {S, A, B}
= {0, 1}
q0 = S
F = {B}
Contoh Kasus
Suatu tatabahasa G = ({S, A, B}, {a, b}, P, S)
P : S aB | bA |
A abaS
B babS
Dari tatabahasa di atas kita akan dapat mencari finite state automatanya.
V = {S, A, B} menjadi Q = {S, A, B}
T = {a, b} menjadi = {a, b}
S aB menajdi (S, a) = B
S bA menjadi (S, b) = A
S : berarti S juga merupakan state akhir dalam finite state automata
A abaS menjadi (A, a) = C
(C, b) = D
(D, a) = S
b F
a S a
b B
D b a
E
A
b
a
Teorema 2
Diketahui FAM maka terdapat tatabahasa G yang termasuk tatabahasa
regular grammar (tipe-3) sehingga L(G) = L(M).
Dari table transisi di atas maka kita dapat mengetahui tatabahasa dari tipe-3
yang sesuai dengan mesin finite state automata.
Simbol state awal pada finite state automata menjadi symbol awal pada
tatabahasanya. Sementara itu symbol himpunan state akhir F pada finite
state automata mengakibatkan symbol yang membaca symbol masukan
tidak akan dituliskan statenya.
Himpunan state akhir adalah {q1}, maka :
Contoh Kasus
Dari diagram transisi di bawah ini, tentukan tatabahasa tipe-3nya.
a
q0 q2
b b
q1 c
q3 a