Bahasa Formal PDA yang Diterima Bahasa Bebas Konteks. Pertemuan Ke-13. Sri Handayaningsih, S.T., M.T. Teknik Informatika

Ukuran: px

Mulai penontonan dengan halaman:

Download "Bahasa Formal PDA yang Diterima Bahasa Bebas Konteks. Pertemuan Ke-13. Sri Handayaningsih, S.T., M.T. Teknik Informatika"

Ade Yuwono
7 tahun lalu
Tontonan:

1 Bhs Forml PDA yng Diterim Bhs Bes Konteks Pertemun Ke-3 ri Hndyningsih.T. M.T. Emil : ning_s2@yhoo.com Teknik Inormtik

2 TIU & TIK Memhmi konsep PDA yng diterim oleh CFG ntr lin :. PDA untuk CFG 2. Deterministik PDA 2

3 Teorem: Bhs es konteks Grmer Bhs yg diterim Oleh PDA 3

4 Pemuktin - lngkh : Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversikn grmer es konteks Pd PDA M dengn L G L M G 4

5 Pemuktin - lngkh 2: Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversikn PDA M konteks dengn : G ke grmmer es L G L M 5

6 Pemuktin - lngkh Konversikn Grmmer es konteks ke PDA 6

7 Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversikn grmmer es konteks Pd PDA M dengn L G L M G 7

8 Konversi grmmer G Ke PDA segi erikut : M M imulsi menggunkn derivsi kiri Pd G 8

9 Konversi grmmer G ke PDA M Produksi pd A w G Terminl pd G A w 2 9

10 Grmmer Derivsi kiri n k k n k k Komputsi PDA imulsi grmmer Derivsi kiri n k k k X m X 2 X X m n k Vriel kiri

11 Grmmer Contoh T PDA T T T T T T T 2

12 T T T T T Derivsi Grmmer Komputsi PDA 2 T 2 T T

13 Derivsi: Input Time T tck T T T 2 3

14 Derivsi: Input Time T tck T T T 2 4

15 Derivsi: T Input T Time T tck T T T 2 5

16 Derivsi: T Input T Time 2 T tck T T T 2 6

17 Derivsi : T T Input T Time 3 T tck T T T 2 7

18 Derivsi: T T Input T Time 4 T tck T T T 2 8

19 Derivsi: Input Time 5 T T T T T T T T tck 2 9

20 Derivsi: Input Time 6 T T T T T T T T tck 2 2

21 Derivsi: T T T Input Time 7 T tck T T T 2 2

22 Derivsi: T T T Input Time 8 T tck T T T 2 22

23 Derivsi: T T T Input Time 9 T tck T T T diterim 2 23

24 ecr Umum dpt diliht : Grmmer dgn string * w w G Jik dn Hny jik PDA M menerim w 2 w sehingg L G L M 24

25 Kesimpuln : Untuk setip hs es konteks mk PDA dpt menerim L L Bhs es konteks Grmer Bhs yg diterim Oleh PDA 25

26 Pemuktin - lngkh 2 Konversi PDA ke Grmmers Bes konteks 26

27 Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversik PDA konteks G M dengn ke grmmer es L G L M 27

28 Konversikn PDA M ke Grmmer es konteks G sg erikut: G Komputsikn imulsi dri Dengn derivsi kiri M 28

29 Beerp Modiiksi Penting. stck tdk pernh kosong selm komputsi 2. Jik hny d stu stte yg diterim dn stck kosong ketik stck menerim string 3. Mempunyi trnsisi tnp popping 29

30 . stck tdk pernh kosong selm komputsi tck OK OK NOT OK 3

31 Penyelesin : Perkelkn simol ru tck pling wh # utk menndi # # # 3

32 Menmhkn # pd wl PDA initil stte ru # PDA sli sli initil stte 32

33 Konversikn seluruh trnsisi setelh popping tdk selesi pop i pd utomt yg s j x{#} x pop i x x s j hlting stte 33

34 2. Modiiksi PDA pd khir stck dgn stck kosong dn menerim stte yg unik PDA tck kosong x{#} x # menerim sttes lm Menerim tte ru 34

35 3. Modiiksikn PDA yg tidk d trnsisi popping : i y j i y j {#} 35

36 Contoh : modiiksi yg tidk perlu L M { w { } * : n w n w} 36

37 Pd grmmer G : Kontruksi Grmmer Vriel : A simols stck PDA Terminl : simols input PDA Vriel Awl : or # simol wh tck 37

38 trnsisi PDA A produksi Grmmer A 38

39 A B B B m trnsisi PDA 2 produksi Grmmer A B B 2 Bm 39

40 Derivsi Grmmer kiri X k X m k k n Komputsi PDA k k n X 2 k n X m Vriel kiri 4

41 Contoh PDA: Grmmer: 4

42 Derivsi Kiri Grmmer : Komputsi PDA: 42

43 Derivsi: Time 43

44 Derivsi: Time tck 44

45 Derivsi: Time 2 tck 45

46 Derivsi: Time 3 tck 46

47 Derivsi: Time 4 tck 47

48 Derivsi: Time 5 kosong tck 48

49 Bgimnpun jug konversi grmmer Tdk dpt ekerj pd seluruh PDAs: A A A A A L M { : n } n n 49

50 A A A A A Grmmer: A A A A 5

51 Derivsi yg uruk: A A L M Grmmer: A A A A 5

52 Kontruksi Grmmer Yg Benr Pd grmmer G : simol stck PDA Vriel: i A j PDA sttes Terminls: simol input pd PDA 52

53 Trnsisi PDA A produksi Grmmer A 53

54 Trnsisi PDA A B B B m 2 Produksi Grmmer A B B B m m m m Utk seluruh stte yg mungkin pd PDA m 2 54

55 imol stck wh or # Vriel wl : Z o tte wl tte yg diterim 55

56 Contoh :: Produksi Grmmr: 56

57 Contoh : 57 Produksi Grmmer :

58 Contoh: Produksi Grmmer: 58

59 Kesimpuln Grmmer: le :strt vri 59

60 6

61 Derivsi Grmmr Kiri Komputsi PDA 6

62 Derivsi: Time 62

63 Derivsi: Time tck 63

64 Derivsi: Time 2 tck 64

65 Derivsi: Time 3 tck 65

66 Derivsi: Time 4 tck 66

67 Derivsi: Time 5 kosong tck 67

68 ecr Umum: wb A Jik dn Hny Grmmer PDA B A w 68 wb A j i Hny jik B A w j i

69 Thus: Grmmer dg generl w Jik dn Hny w jik PDA menerim w w 69

70 sehingg: Untuk setip PDA Merupkn grmmer es kontek Akn menerim hs yg sm Bhs Bes konteks Grmmer hs diterim Oleh PDA 7

71 Pustk. Tedy etidi Diktt Teori Bhs dn Otomt Teknik Inormtik UAD Hopcrot John E. Rjeev Motwni Jerey D. Ullmn Introduction to Automt Theory Lnguges nd Computtion 2rd Addison-Wesley2 3. Mrtin C. John Introduction to Lnguges nd Theory o Computtion McGrw-Hill Interntionl edition99 4. Linz PeterIntroduction to Forml Lnguges & Automt DC Heth nd Compny Dulimrt Hns udin Cttn Kulih Mtemtik Inormtik Mgister Teknik Inormtik ITB Hinrich chütze IM Uni tuttgrt W 26/7 lides sed on RPI CCI 24

dokumen-dokumen yang mirip

Push-Down Automata. Pertemuan Ke Sri Handayaningsih, S.T., M.T. Teknik Informatika

Push-Down Automata. Pertemuan Ke Sri Handayaningsih, S.T., M.T. Teknik Informatika Push-Down Automt Pertemun Ke - 12 Sri Hndyningsih, S.T., M.T. Emil : ning_s12@yhoo.com Teknik Informtik TIU & TIK 1. Mhsisw memhmi konsep push down utomt sert mmpu merncng PDA untuk mengenli sutu hs yng