pertemuan 11 - penyederhanaan cfg [compatibi · 1. tedy setiadi, diktat teori bahasa dan otomata,...

27
Penyederhanaan CFG Sri Handayaningsih, S.T., M.T. Email : [email protected] Teknik Informatika Pertemuan Ke - 11

Upload: ngoduong

Post on 05-Jun-2019

240 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Penyederhanaan CFG

Sri Handayaningsih, S.T., M.T.Email : [email protected]

Teknik Informatika

Pertemuan Ke - 11

Page 2: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

TIU & TIK

1. Mengetahui proses penyederhanaanCFG

2

Page 3: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Aturan Substitusi

aaAAaBS

Substitusi

Gramer ygEquivalent

abaBS |

3

bBaABabBcAaaAA

Substitusi

aABabbcabBcA

aaAA

|bB

Page 4: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Aturan Substitusi

aABabbcabBcA

aaAAabaBS

|

|

4

GramerEquivalent

abaAcabbcabBcAaaAA

aaAabaBS

||

||

Substitusi

aAB

Page 5: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Secara Umum :

1yB

xBzA

Substitute

5

zxyxBzA 1|

1yB

GramerEquivalent

Page 6: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Variabel Kosong/Null

:produksi A

6

Variabel Kosong /null: A

Page 7: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Memindahkan Variabel Kosong

Contoh Gramer:

aMbMaMbS

7

MaMbM

Variabel Kosong

Page 8: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

aMbS

Substitusi abSaMbS

Gramer Akhir

8

M

MaMbM Substitusi

abMaMbM

abS

Page 9: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Unit-Produksi

BAUnit Produksi:

9

(variabel tunggal pada dua sisi)

Page 10: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Memindahkan Unit Produksi

Observasi:

AA

10

Apakah berpindah immediately

Page 11: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Contoh Gramer:

aAaAS

11

bbBABBA

Page 12: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

aAaAS

Substitusi aAaBaAS

|

12

bbBABBA

Substitusi

BA

bbBBAB

aA

|

Page 13: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

BerpindahaAaBaAS

|

aAaBaAS

|

13

Berpindah

bbBBAB

aA

|bbBABaA

BB

Page 14: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

aAaBaAS ||aAaBaAS

|

14

SubstitusiAB

bbBaA

bbBABaA

Page 15: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Pengulangan pemindahan produksi

aBaAS |aAaBaAS ||

Gramer akhir

15

bbBaA

aBaAS

|

bbBaA

Page 16: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Produksi yang tidak berguna

ASS

aSbS

16

aAA

aAaaaaAaAAS

Beberapa derivasi tidak akan berakhir...

ProduksiTdk berguna

Page 17: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

AaAAAS

Gramer lain :

Produksi

17

bAB

Tidak dapat tercapai dari S

ProduksiTdk berguna

Page 18: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Secara Umum:

Jika wxAyS

)(GLw

Hanyaterminal

18

kemudian variabel digunakanA

kecuali, variabel tidak dugunakanA

Page 19: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

produksi tidak digunakanJika variabel tidak digunakanxA

ASS

aSbS

Produksi

Tidak digunakan

19

DCCBaAAAS

Tidak digunakan

Tidak digunakan

Tidak digunakan

Tidak digunakan

Variabel

Tidak digunakan

Tidak digunakan

Tidak digunakan

Page 20: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

20

Memindahkan produksi yg tdkdigunakan

Page 21: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Pertama: Temukan Semua variabel yg dapatMemproduksi string yg hanya terminal

CAaSS || },{ BAputaran 1:

21

aCbCaaBaA

CAaSS

||

AS

},,{ SBAputaran 2:

Page 22: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Simpan hanya variabelYg memproduksi simbol terminal:

CAaSS ||

},,{ SBA

(variabel lain tdk digunakan)

22

aCbCaaBaA

CAaSS

||

aaBaA

AaSS

|

Pindahkan produksi yg tdk digunakan

Page 23: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Kedua : Temukan semua variabelYg tdk tercapai dari

Gunakan graf Dependensi

S

23

aaBaA

AaSS

|

S A B

tdktercapai

Page 24: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Temukan semua variabelYg tdk tercapai dari S

AaSS |AaSS |

Gramer Akhir

(variabel lain tdk digunakan)

24

aaBaA

aAAaSS

|

Pindahkan produksi yg tdk digunakan

Page 25: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Pindahkan semua

Langkah 1: pindahkan variabel kosong

25

Langkah 2: pindahkan Unit-Produksi

Langkah 3: pindahkan variabel yg tdkberguna

Page 26: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Tugas1. Pindahkan Produksi yg tdk digunakan

aACAaSS

||

26

aCbCaaBaA

Page 27: pertemuan 11 - Penyederhanaan CFG [Compatibi · 1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Pustaka1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata,

Teknik Informatika UAD, 20052. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,

Introduction to Automata Theory, Languages, andComputation, 2rd, Addison-Wesley,2000

3. Martin C. John, Introduction to Languages and Theory ofComputation, McGraw-Hill Internatioanal edition,1991

TEORI BAHASA OTOMATA27

3. Martin C. John, Introduction to Languages and Theory ofComputation, McGraw-Hill Internatioanal edition,1991

4. Linz Peter,Introduction to Formal Languages & Automata,DC Heath and Company, 1990

5. Dulimarta Hans, Sudiana, Catatan Kuliah MatematikaInformatika, Magister Teknik Informatika ITB, 1998

6. Hinrich Schütze, IMS, Uni Stuttgart, WS 2006/07,Slides based on RPI CSCI 2400