Pertemuan Ke - 11
2
Aturan Substitusi
Gramer yg
Equivalent
S aB
S aB | ab
A aaA Substitusi
A aaA
A abBc B b A abBc | abbc
B aA
B aA
B b
3
Aturan Substitusi
S aB | ab
A aaA
A abBc | abbc
B aA
Substitusi
B aA
S aB | ab | aaA
Gramer
A aaA Equivalent
A xBz
B y1
Substitute
B y1
Gramer
A xBz | xy1z Equivalent
5
Variabel Kosong/Null
produksi : A
6
Memindahkan Variabel Kosong
Contoh Gramer:
S aMb
M aMb
M
Variabel Kosong
7
Gramer Akhir
S aMb
S aMb
S ab
M aMb
Substitusi
M
M aMb
M
M ab
8
Unit-Produksi
Unit Produksi: A B
9
Memindahkan Unit Produksi
Observasi:
A A
10
Contoh Gramer:
S aA
Aa
AB
BA
B bb
11
S aA
S aA | aB
Aa
Substitusi Aa
AB A B B A| B
BA
B bb
B bb
12
S aA | aB S aA | aB
Aa Berpindah
Aa
B A| B BB BA
B bb B bb
13
S aA | aB
S aA | aB | aA
Aa Substitusi
BA Aa
BA
B bb
B bb
14
Pengulangan pemindahan produksi
Gramer akhir
S aA | aB | aA S aA | aB
Aa Aa
B bb B bb
15
Produksi yang tidak berguna
S aSb
S
SA
A aA Produksi
Tdk berguna
S A aA aaA aa aA 16
Gramer lain :
SA
A aA
A
Produksi
B bA Tdk berguna
Tidak dapat tercapai dari S
17
Secara Umum: Hanya
terminal
Jika S xAy w
w L(G )
18
produksi
A x
tidak digunakan
Jika variabel tidak digunakan
S aSb
S Produksi
20
Pertama: Temukan Semua variabel yg dapat
Memproduksi string yg hanya terminal
S aS | A | C putaran 1: { A, B}
Aa SA
B aa
C aCb putaran 2:{ A, B, S }
21
Simpan hanya variabel
Yg memproduksi simbol terminal: { A, B, S }
(variabel lain tdk digunakan)
S aS | A | C
Aa S aS | A
B aa Aa
C aCb B aa
Pindahkan produksi yg tdk digunakan
22
Kedua : Temukan semua variabel
Yg tdk tercapai dari S
S aS | A
Aa S A B
B aa tdk
tercapai
23
Temukan semua variabel
Yg tdk tercapai dari S
(variabel lain tdk digunakan)
Gramer Akhir
S aS | A
S aS | A
Aa
Aa
B aa
S aS | A | C
Aa
B aa
C aCb
26
Pustaka
1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata,
Teknik Informatika UAD, 2005
2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,
Introduction to Automata Theory, Languages, and
Computation, 2rd, Addison-Wesley,2000
3. Martin C. John, Introduction to Languages and Theory of
Computation, McGraw-Hill Internatioanal edition,1991
4. Linz Peter,Introduction to Formal Languages & Automata,
DC Heath and Company, 1990
5. Dulimarta Hans, Sudiana, Catatan Kuliah Matematika
Informatika, Magister Teknik Informatika ITB, 1998
6. Hinrich Schütze, IMS, Uni Stuttgart, WS 2006/07,
Slides based on RPI CSCI 2400