Bhs Forml PDA yng Diterim Bhs Bes Konteks Pertemun Ke-3 ri Hndyningsih.T. M.T. Emil : ning_s2@yhoo.com Teknik Inormtik
TIU & TIK Memhmi konsep PDA yng diterim oleh CFG ntr lin :. PDA untuk CFG 2. Deterministik PDA 2
Teorem: Bhs es konteks Grmer Bhs yg diterim Oleh PDA 3
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
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
Pemuktin - lngkh Konversikn Grmmer es konteks ke PDA 6
Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversikn grmmer es konteks Pd PDA M dengn L G L M G 7
Konversi grmmer G Ke PDA segi erikut : M M imulsi menggunkn derivsi kiri Pd G 8
Konversi grmmer G ke PDA M Produksi pd A w G Terminl pd G A w 2 9
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
Grmmer Contoh T PDA T T T T T T T 2
T T T T T Derivsi Grmmer Komputsi PDA 2 T 2 T T
Derivsi: Input Time T tck T T T 2 3
Derivsi: Input Time T tck T T T 2 4
Derivsi: T Input T Time T tck T T T 2 5
Derivsi: T Input T Time 2 T tck T T T 2 6
Derivsi : T T Input T Time 3 T tck T T T 2 7
Derivsi: T T Input T Time 4 T tck T T T 2 8
Derivsi: Input Time 5 T T T T T T T T tck 2 9
Derivsi: Input Time 6 T T T T T T T T tck 2 2
Derivsi: T T T Input Time 7 T tck T T T 2 2
Derivsi: T T T Input Time 8 T tck T T T 2 22
Derivsi: T T T Input Time 9 T tck T T T diterim 2 23
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
Kesimpuln : Untuk setip hs es konteks mk PDA dpt menerim L L Bhs es konteks Grmer Bhs yg diterim Oleh PDA 25
Pemuktin - lngkh 2 Konversi PDA ke Grmmers Bes konteks 26
Bhs es konteks Grmer Bhs yg diterim Oleh PDA Konversik PDA konteks G M dengn ke grmmer es L G L M 27
Konversikn PDA M ke Grmmer es konteks G sg erikut: G Komputsikn imulsi dri Dengn derivsi kiri M 28
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
. stck tdk pernh kosong selm komputsi tck OK OK NOT OK 3
Penyelesin : Perkelkn simol ru tck pling wh # utk menndi # # # 3
Menmhkn # pd wl PDA initil stte ru # PDA sli sli initil stte 32
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
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
3. Modiiksikn PDA yg tidk d trnsisi popping : i y j i y j {#} 35
Contoh : modiiksi yg tidk perlu L M { w { } * : n w n w} 36
Pd grmmer G : Kontruksi Grmmer Vriel : A simols stck PDA Terminl : simols input PDA Vriel Awl : or # simol wh tck 37
trnsisi PDA A produksi Grmmer A 38
A B B B m trnsisi PDA 2 produksi Grmmer A B B 2 Bm 39
Derivsi Grmmer kiri X k X m k k n Komputsi PDA k k n X 2 k n X m Vriel kiri 4
Contoh PDA: Grmmer: 4
Derivsi Kiri Grmmer : Komputsi PDA: 42
Derivsi: Time 43
Derivsi: Time tck 44
Derivsi: Time 2 tck 45
Derivsi: Time 3 tck 46
Derivsi: Time 4 tck 47
Derivsi: Time 5 kosong tck 48
Bgimnpun jug konversi grmmer Tdk dpt ekerj pd seluruh PDAs: A A A A A L M { : n } n n 49
A A A A A Grmmer: A A A A 5
Derivsi yg uruk: A A L M Grmmer: A A A A 5
Kontruksi Grmmer Yg Benr Pd grmmer G : simol stck PDA Vriel: i A j PDA sttes Terminls: simol input pd PDA 52
Trnsisi PDA A produksi Grmmer A 53
Trnsisi PDA A B B B m 2 Produksi Grmmer A B B B m+ 2 2 2 3 m m m Utk seluruh stte yg mungkin pd PDA m 2 54
imol stck wh or # Vriel wl : Z o tte wl tte yg diterim 55
Contoh :: Produksi Grmmr: 56
Contoh : 57 Produksi Grmmer :
Contoh: Produksi Grmmer: 58
Kesimpuln Grmmer: le :strt vri 59
6
Derivsi Grmmr Kiri Komputsi PDA 6
Derivsi: Time 62
Derivsi: Time tck 63
Derivsi: Time 2 tck 64
Derivsi: Time 3 tck 65
Derivsi: Time 4 tck 66
Derivsi: Time 5 kosong tck 67
ecr Umum: wb A Jik dn Hny Grmmer PDA B A w 68 wb A j i Hny jik B A w j i
Thus: Grmmer dg generl w Jik dn Hny w jik PDA menerim w w 69
sehingg: Untuk setip PDA Merupkn grmmer es kontek Akn menerim hs yg sm Bhs Bes konteks Grmmer hs diterim Oleh PDA 7
Pustk. Tedy etidi Diktt Teori Bhs dn Otomt Teknik Inormtik UAD 25 2. 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 99 5. Dulimrt Hns udin Cttn Kulih Mtemtik Inormtik Mgister Teknik Inormtik ITB 998 6. Hinrich chütze IM Uni tuttgrt W 26/7 lides sed on RPI CCI 24