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

Ukuran: px

Mulai penontonan dengan halaman:

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

Yenny Budiaman
7 tahun lalu
Tontonan:

1 Push-Down Automt Pertemun Ke - 12 Sri Hndyningsih, S.T., M.T. Emil : ning_s12@yhoo.com Teknik Informtik

2 TIU & TIK 1. Mhsisw memhmi konsep push down utomt sert mmpu merncng PDA untuk mengenli sutu hs yng dierikn 2

3 Pushdown Automton -- PDA Input String Stck Sttes 3

4 Simol Stck wl Stck Stck stck kepl z top Simol spesil di wh kelihtn pd wktu ke 0 4

5 Stte simol Input simol Pop Simol Push, c q 1 q 2 5

6 , c q 1 q 2 input stck e h top Gnti tempt c e h 6

7 , c q 1 q 2 input stck c top Tmh/push e h e h 7

8 , q 1 q 2 input stck e h top Amil/pop e h 8

9 , q 1 q 2 input stck e h top Tdk d peruhn e h 9

10 Stck Kosong, q 1 q 2 input stck top Pop kosong utomt tdk is digunkn Tdk mungkin d trnsisi setelh q 2 10

11 Trnsisi yg mungkin input, q 1 q 2 stck top Pop 11

12 Non-Determinn PDAs merupkn non-determinn Trnsisi yg mengikuti non-deterministic q 1, c, c q 2 q 3 q 1, c q 2 trnsisi 12

13 Contoh PDA: ide dsr PDA M n L( M ) { : n 0} n,,,,, q 0 q 1 q 2 q 3 13

14 n L( M ) { : n 0} n Ide dsr: 1. Push pd stck 2. Sesuikn inputn dgn pd stck,, 3. penyesuin ditemukn,,, q 0 q 1 q 2 q 3 14

15 Contoh 1 Eksekusi : Input Time 0 Stck Stte St ini,,,,, q q 1 q 2 q

16 Input Time 1 Stck,,,,, q 0 q 1 q 2 q 3 16

17 Input Time 2 Stck,,,,, q 0 q 1 q 2 q 3 17

18 Input Time 3 Stck,,,,, q 0 q 1 q 2 q 3 18

19 Input Time 4 Stck,,,,, q 0 q 1 q 2 q 3 19

20 Input Time 5 Stck,,,,, q 0 q 1 q 2 q 3 20

21 Input Time 6 Stck,,,,, q 0 q 1 q 2 q 3 21

22 Input Time 7 Stck,,,,, q 0 q 1 q 2 q 3 22

23 Input Time 8 Stck,, diterim,,, q 0 q 1 q 2 q 3 23

24 Seuh string diterim jik : Seluruh inputn dpt diselesikn DAN menuju ke stte terkhir. Pd khir komputsi, tidk mempedulikn susunn isi pd stck 24

25 input string Apkh diterim oleh PDA:,,,,, q 0 q 1 q 2 q 3 25

26 Secr generl, L n n { : n 0} Apkh hs diterim oleh PDA:,,,,, q 0 q 1 q 2 q 3 26

27 Contoh yng ditolk: Input Time 0 Stck Stte St ini,, q 0,,, q 1 q 2 q 3 27

28 Contoh yng ditolk : Input Time 1 Stck Stte St ini,, q 0,,, q 1 q 2 q 3 28

29 Contoh yng ditolk : Time 2 Input Stck Stte St ini,, q 0,,, q 1 q 2 q 3 29

30 Contoh yng ditolk : Time 3 Input Stck Stte St ini,, q 0,,, q 1 q 2 q 3 30

31 Contoh yng ditolk : Time 4 Input Stck Stte St ini,, q 0,,, q 1 q 2 q 3 31

32 Contoh yng ditolk : Time 4 Input ditolk Stck Stte St ini,, q 0,,, q 1 q 2 q 3 32

33 Input string Ditolk oleh PDA:,,,,, q 0 q 1 q 2 q 3 33

34 Seuh string ditolk jik : Seluruh inputn tidk terselesikn DAN Tidk smpi ke stte khir Pd khir komputsi, Tidk dipedulikn isi kontens stck 34

35 Contoh PDA lin : Apkh hsny? PDA M,,,, q 0,, q 1 q 2 35

36 Ide Dsr: L( M ) { vv R : v {, } } 1. Push v pd stck 2. Input utk pindh stte 3. sesuiknv R pd input dgn v pd stck,,, 4. Penyesuin, ditemukn q 0,, q 1 q 2 36

37 Contoh 2 Eksekusi : Input Time 0,, Stck,, q 0,, q 1 q 2 37

38 Input Time 1,, Stck,, q 0,, q 1 q 2 38

39 Time 2 Input,, Stck,, q 0,, q 1 q 2 39

40 Time 3 Input perpindhn,, Stck,, q 0,, q 1 q 2 40

41 Time 4 Input,, Stck,, q 0,, q 1 q 2 41

42 Input Time 5,, Stck,, q 0,, q q

43 Input Time 6,, Stck,, diterim q 0, q 1, q 2 43

44 Contoh yg ditolk: Input Time 0,, Stck,, q 0,, q 1 q 2 44

45 Input Time 1,, Stck,, q 0,, q 1 q 2 45

46 Input Time 2,, Stck,, q 0,, q 1 q 2 46

47 Time 3 Input,, perpindhn,, Stck q 0,, q 1 q 2 47

48 Input Time 4,, Stck,, q 0,, q 1 q 2 48

49 Input Time 5 Trnsisi tidk mungkin Inputn tdk terselesikn,, Stck,, q 0,, q q

50 Komputsi lin pd string yg sm : Input Time 0,, Stck,, q 0,, q 1 q 2 50

51 Time 1 Input,, Stck,, q 0,, q 1 q 2 51

52 Input Time 2,, Stck,, q 0,, q 1 q 2 52

53 Input Time 3,, Stck,, q 0,, q 1 q 2 53

54 Input Time 4,, Stck,, q 0,, q 1 q 2 54

55 Input Time 5 Tdk smpi Stte khir,, Stck,, q 0,, q 1 q 2 55

56 Tdk d komputsi Yg menerim string L(M ),,,, q 0,, q 1 q 2 56

57 Teori Tentng Pushing Strings Input Pop Push symol symol string, w q 1 q 2 57

58 Contoh 1:, cdf q 1 q 2 input stck d top f h Push h e e c String Yg di push 58

59 Contoh 2 L( M ) { w {, } * : n ( w) n ( w)} PDA M, 0, 1, 0 00, 1 11,1, 0, q 1 q 2 59

60 Eksekusi untuk string : Time 0 Input, 0, 1, 0 00, 1 11,1, 0 Stck Stte St ini, q 1 q 2 60

61 Input Time 1 0, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 61

62 Input Time 3, 0, 1, 0 00,1, 1 11, 0 0 Stck, q 1 q 2 62

63 Input Time 4 1, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 63

64 Input Time 5 1 1, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 64

65 Input Time 6 1 1, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 65

66 Input Time 7 1, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 66

67 Time 8 Input, 0, 1, 0 00, 1 11,1, 0 Stck, q 1 q 2 diterim 67

68 PDAs: Definisi Forml 68

69 , w q 1 q 2 Fungsi Trnsisi: q ( 1,, ) {( q2, w)} 69

70 , w q 2 q 1, w q 3 Fungsi trnsisi: q ( 1,, ) {( q2, w), ( q3, w)} 70

71 Forml Definition Pushdown Automton (PDA) Sttes M Q (, Σ, Γ,,δ q0, z, F) Stte khir Input lphet Stck lphet Fungsi trnsisi Stte wl Simol Muli Stck 71

72 Diskripsi Instn ( q, u, s) Stte St ini Input tersis Isi stck St ini 72

73 Contoh : Time 4: Diskripsi instn Input ( q 1,, ),, Stck,,, q 0 q 1 q 2 q 3 73

74 Contoh : Time 5: Diskripsi instn Input ( q 2,, ),, Stck,,, q 0 q 1 q 2 q 3 74

75 Penulisn : ( 2 q1,, ) ( q,, ) Time 4 Time 5 75

76 Komputsi : ( q ( q ( q 0 1 2,,),, ),, ) ( q ( q ( q 2 1 1,,),, ),, ) ( q 2 ( q,,) 1,, ) ( q 3,,),,,,, q 0 q 1 q 2 q 3 76

77 ,), (,), ( ),, ( ),, ( ),, ( ),, ( ),, (,), (,), ( q q q q q q q q q 77 Penulisn khir :,), (,), ( 3 0 q q

78 L(M ) Forml Definisi hs pd PDA M : L( M ) { w: ( q0, w, s) ( q f,, s')} Stte wl Stte khir 78

79 Contoh : ( 3 q0,,) ( q,,) L(M ) PDA M :,,,,, q 0 q 1 q 2 q 3 79

80 n n ( 3 q0,,) ( q,,) n n L(M ) PDA M :,,,,, q 0 q 1 q 2 q 3 80

81 Kemudin : n L( M ) { : n 0} n PDA M :,,,,, q 0 q 1 q 2 q 3 81

82 Ltihn dikethui seuh PDA M segi erikut : L( M ) { w{, } * : utk setip prefix v, n ( v) n ( v)},,, PDA M Apkh string q 0 termsuk dlm hs L(M)? 82

83 Pustk 1. Tedy Setidi, Diktt Teori Bhs dn Otomt, Teknik Informtik UAD, Hopcroft John E., Rjeev Motwni, Jeffrey D. Ullmn, Introduction to Automt Theory, Lnguges, nd Computtion, 2rd, Addison-Wesley, Mrtin C. John, Introduction to Lnguges nd Theory of Computtion, McGrw-Hill Interntionl edition, Linz Peter,Introduction to Forml Lnguges & Automt, DC Heth nd Compny, Dulimrt Hns, Sudin, Cttn Kulih Mtemtik Informtik, Mgister Teknik Informtik ITB, Hinrich Schütze, IMS, Uni Stuttgrt, WS 2006/07, Slides sed on RPI CSCI 2400 TEORI BAHASA OTOMATA 83

dokumen-dokumen yang mirip

Formal Languages Finite Automata

Formal Languages Finite Automata Forml Lnguges Finite Automt Pertemun Ke-3 Sri Hndyningsih, S.T., M.T. Emil : ning_s12@yhoo.com Teknik Informtik 1 TIU dn TIK Memhmi konsep dn penerpn dri FA ntr lin : 1.Memut FA yng sesui untuk sutu hs