Formal Languages Finite Automata

Transkripsi

1 Forml Lnguges Finite Automt Pertemun Ke-3 Sri Hndyningsih, S.T., M.T. Emil : ning_s12@yhoo.com Teknik Informtik 1

2 TIU dn TIK Memhmi konsep dn penerpn dri FA ntr lin : 1.Memut FA yng sesui untuk sutu hs yng dierikn 2.Mengethui pkh seuh string diterim tu ditolk oleh FA 2

3 Finite Automton (FA) FA merupkn jenis otomt yng tidk mempunyi penyimpnn. Input String Finite Automton Output Accept or Reject 3

4 Q Definisi Forml Finite Automton (FA) didefinisikn : Q M,,,, : Himpunn sttes : input lphet : fungsi trnsisi F q 0 : stte wl F : stte khir 4

5 Grph Trnsisi,, Stte wl stte trnsisi Stte khir Stte diterim 5

6 , Input Alphet,, 6

7 Q q Himpunn Stte = Q 0 1, 2, 3, 4,, q q q q q 5,, 7

8 q Stte Awl = 0, q 0, 8

9 F q 4 Stte Akhir = F,, q 4 9

10 Fungsi Trnsisi = : Q Q,, 10

11 0, q 1 q Dic : Stte qo mendpt inputn menuju ke, q 1, 11

12 0, q, q 0, 12

13 2, q 3 q,, 13

14 q q 0 q 1 q 2 q 3 5 q5 q q5 3 q q5 4 Fungsi Trnsisi Digmrkn dengn tel trnsisi, q 4, 14

15 Memperpnjng Fungsi Trnsisi * *: Q * Q,, 15

16 q 0, 2 * q, q 2, 16

17 q 0, 4 * q,, 17

18 q 0, 5 * q, q 0, 18

19 Bhs yng diterim oleh FA FA = M Definisi: L M Bhs yng terdiri dri seluruh inputn string yng diterim oleh M LM = { string yng diw oleh M untuk dpt diterim oleh stte} 19

20 Inisil Configursi (Pertm Kli) Input String, q 0, 20

21 Memc Input,, 21

22 ,, 22

23 ,, 23

24 ,, 24

25 Input selesi,, diterim 25

26 Ditolk, q 0, 26

27 ,, 27

28 ,, 28

29 ,, 29

30 Input Selesi, Ditolk, 30

31 Diterim tu Ditolk? Jik inputnny, q 0, 31

32 Stte Awl, q 0, 32

33 Ditolk, q 0, ditolk 33

34 Bhs yng digunkn?,, 34

35 Contoh Lin :,, 35

36 ,, 36

37 ,, 37

38 ,, 38

39 Input selesi diterim,, 39

40 Contoh yng ditolk,, 40

41 ,, 41

42 ,, 42

43 ,, 43

44 Input selesi,, ditolk 44

45 L(M) =? M,, diterim 45

46 Contoh M,, diterim 46

47 Contoh: L(M) =? M,, diterim diterim diterim 47

48 Contoh M L,, M,, diterim diterim diterim 48

49 Contoh: L(M) =?,, diterim Stte jekn 49

50 L Exmple n M { : n 0 },, diterim ditolk 50

51 Pengmtn: Jik Berjln dri w q ke dieri nm mk : q * q, w q q w q q 1 2 w 1 2 k k q 51

52 Contoh : Jik Berjln dri dieri nm q 0 ke q 0, 5 * q, q 0, 52

53 Definisi Rekursif * * q, q q, w ( *( q, w), ) q w q 1 q * q, w q ( q 1, ) q * * q, w ( q q, w q 1 1, ) q, w ( *( q, w), ) * 53

54 * 1 0 * ( q * q 0 q, q 2 q, 0, 0,, ),, q,,,, 54

55 Bhs yng is diterim oleh FA Untuk seuh FA M Q,,,, F Bhs Yng Diterim : M L M w : * q, w * 0 F w q q F 55

56 Oservsi Bhs ditolk oleh M dlh L M w : * q, w * 0 F w q q F 56

57 L(M)?, diterim q 3, 57

58 Contoh L M = { seluruh strings dengn prefik }, diterim q 3, 58

59 L(M)? 1 0 0,

60 L M Contoh = { seluruh string tnp sustring 001 } 1 0 0,

61 L(M)? q 4, 61

62 Contoh, L( M ) w : w * q 4, 62

63 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