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 yng dierikn 2.Mengethui pkh seuh string diterim tu ditolk oleh FA 2
Finite Automton (FA) FA merupkn jenis otomt yng tidk mempunyi penyimpnn. Input String Finite Automton Output Accept or Reject 3
Q Definisi Forml Finite Automton (FA) didefinisikn : Q M,,,, : Himpunn sttes : input lphet : fungsi trnsisi F q 0 : stte wl F : stte khir 4
Grph Trnsisi,, Stte wl stte trnsisi Stte khir Stte diterim 5
, Input Alphet,, 6
Q q Himpunn Stte = Q 0 1, 2, 3, 4,, q q q q q 5,, 7
q Stte Awl = 0, q 0, 8
F q 4 Stte Akhir = F,, q 4 9
Fungsi Trnsisi = : Q Q,, 10
0, q 1 q Dic : Stte qo mendpt inputn menuju ke, q 1, 11
0, q, q 0, 12
2, q 3 q,, 13
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
Memperpnjng Fungsi Trnsisi * *: Q * Q,, 15
q 0, 2 * q, q 2, 16
q 0, 4 * q,, 17
q 0, 5 * q, q 0, 18
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
Inisil Configursi (Pertm Kli) Input String, q 0, 20
Memc Input,, 21
,, 22
,, 23
,, 24
Input selesi,, diterim 25
Ditolk, q 0, 26
,, 27
,, 28
,, 29
Input Selesi, Ditolk, 30
Diterim tu Ditolk? Jik inputnny, q 0, 31
Stte Awl, q 0, 32
Ditolk, q 0, ditolk 33
Bhs yng digunkn?,, 34
Contoh Lin :,, 35
,, 36
,, 37
,, 38
Input selesi diterim,, 39
Contoh yng ditolk,, 40
,, 41
,, 42
,, 43
Input selesi,, ditolk 44
L(M) =? M,, diterim 45
Contoh M,, diterim 46
Contoh: L(M) =? M,, diterim diterim diterim 47
Contoh M L,, M,, diterim diterim diterim 48
Contoh: L(M) =?,, diterim Stte jekn 49
L Exmple n M { : n 0 },, diterim ditolk 50
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
Contoh : Jik Berjln dri dieri nm q 0 ke q 0, 5 * q, q 0, 52
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
* 1 0 * ( q * q 0 q, q 2 q, 0, 0,, ),, q,,,, 54
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
Oservsi Bhs ditolk oleh M dlh L M w : * q, w * 0 F w q q F 56
L(M)?, diterim q 3, 57
Contoh L M = { seluruh strings dengn prefik }, diterim q 3, 58
L(M)? 1 0 0,1 1 0 1 0 00 001 0 59
L M Contoh = { seluruh string tnp sustring 001 } 1 0 0,1 1 0 1 0 00 001 0 60
L(M)? q 4, 61
Contoh, L( M ) w : w * q 4, 62
Pustk 1. Tedy Setidi, Diktt Teori Bhs dn Otomt, Teknik Informtik UAD, 2005 2. Hopcroft John E., Rjeev Motwni, Jeffrey D. Ullmn, Introduction to Automt Theory, Lnguges, nd Computtion, 2rd, Addison- Wesley,2000 3. Mrtin C. John, Introduction to Lnguges nd Theory of Computtion, McGrw-Hill Interntionl edition,1991 4. Linz Peter,Introduction to Forml Lnguges & Automt, DC Heth nd Compny, 1990 5. Dulimrt Hns, Sudin, Cttn Kulih Mtemtik Informtik, Mgister Teknik Informtik ITB, 1998 6. Hinrich Schütze, IMS, Uni Stuttgrt, WS 2006/07, Slides sed on RPI CSCI 2400 63