Transisi Lambda/Epsilon ( / )

Adalah Transisi yang diperbolehkan melakukan perubahan state tanpa mendapatkan inputan

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

(Ada pergerakan tapi tidak ada inputan)

a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

Inputan terselesaikan
a a

diterima

q0 a
String

q1

q2 a

q3

aa diterima
8

TEORI BAHASA OTOMATA

Contoh 3 a a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

a a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

10

Ada pergerakan tapi tidak ada inputan a a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

11

a a a

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

Tidak ada Transisi: automata error 12

Inputan tidak terselesaikan

a a a

ditolak

q0 a
String

q1

q2 a

q3

aaa ditolak
13

TEORI BAHASA OTOMATA

L(M)?

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

14

Bahasa yang bisa diterima:

{aa}

q0 a

q1

q2 a

q3

TEORI BAHASA OTOMATA

15

Contoh 4

q0

q1

q2

q3

TEORI BAHASA OTOMATA

16

ab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

17

ab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

18

ab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

19

ab

diterima

q0

q1

q2

q3

TEORI BAHASA OTOMATA

20

Inputan String Lain

ab ab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

21

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

22

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

23

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

24

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

25

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

26

abab

q0

q1

q2

q3

TEORI BAHASA OTOMATA

27

abab

diterima

q0

q1

q2

q3

TEORI BAHASA OTOMATA

28

Bahasa yang diterima

L ab, abab, ababab, ...

ab
a b

q0

q1

q2

q3

TEORI BAHASA OTOMATA

29

Contoh 5

0
q0

q1

0, 1 q2

TEORI BAHASA OTOMATA

30

Bahasa yang diterima

L(M ) = { , 10, 1010, 101010, ... } ={10}*

0
q0

q1

0, 1 q 2

(state Berlebih)

TEORI BAHASA OTOMATA

31

Otomata sederhana : Bahasa yang diterima?

M1 q0

M2
q0

TEORI BAHASA OTOMATA

32

M1 q0 L(M1) ={}
TEORI BAHASA OTOMATA

M2
q0

L(M2) ={ }
33

-transisi pada deterministik automata?

TEORI BAHASA OTOMATA

34

NFA lebih menarik karena : Kemudahan dalam mengekspresikan bahasa dibandingkan dengan FA

M2
q2

a
q0
TEORI BAHASA OTOMATA

q1
35

L( M 2 a

NFA

FA

M2 M1
q0

q2
a q0 a

q1

q1

L( M 1 a
TEORI BAHASA OTOMATA

L( M2 a
36

Fungsi Transisi Lanjut *

* q 0 ,a
q4
a a q0 a q5

q 1

q1

q2

q3

TEORI BAHASA OTOMATA

37

*q

0 ,aa

q ,4 q
q5

q4 a a

q0

q1

q2

q3

TEORI BAHASA OTOMATA

38

* q ,ab 0
q4
a a

q ,q 2 ,q 3
q5

q0

q1

q2

q3

TEORI BAHASA OTOMATA

39

Secara Formal
qj * qi,w
: Perjalanan dari dengan label w

qi ke q j
qj

qi

w
w

1 2

k
k

qi

qj
40

TEORI BAHASA OTOMATA

L(M)?
q4

q5

a a
q0

q1

q2

q3

TEORI BAHASA OTOMATA

41

Bahasa dari NFA M

F q 0 ,q 5
q4 q5

a a
q0

q1

q2

q3

* q 0 ,aa
TEORI BAHASA OTOMATA

q 4 ,q 5

aa L(M)

42

F q 0 ,q 5

q4

q5

a a
q0

q1

q2

q3

* q 0 ,ab

q 2 ,q 3 ,q 0

ab

LM
43

TEORI BAHASA OTOMATA

F q 0 ,q 5

q4

q5

a a
q0

q1

q2

q3

* q 0 ,abaa q ,q 4 5
TEORI BAHASA OTOMATA

aaba L(M)

44

F q 0 ,q 5

q4

q5

a a
q0

q1

q2

q3

*q

0 ,aba

q1
F

aba

LM
45

TEORI BAHASA OTOMATA

q4

q5

a a
q0

q1

q2

q3

LM
TEORI BAHASA OTOMATA

ab * {aa}
46

Secara Formal
Bahasa yang diterima oleh NFA :

adalah

L M di mana

w ,w 1 ,w 2 ,... 3
, } {q i ,qj ,...,q k
(state yg diterima)
47

*(q 0 ,w m )
dan

qk F
TEORI BAHASA OTOMATA

LM
w
q0

*(q ,0w)
qi

w w

qk

qk

qj

TEORI BAHASA OTOMATA

48

Pustaka
1.

2.
3. 4. 5.

6.

Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2rd, Addison-Wesley,2000 Martin C. John, Introduction to Languages and Theory of Computation, McGraw-Hill Internatioanal edition,1991 Linz Peter,Introduction to Formal Languages & Automata, DC Heath and Company, 1990 Dulimarta Hans, Sudiana, Catatan Kuliah Matematika Informatika, Magister Teknik Informatika ITB, 1998 Hinrich Schtze, IMS, Uni Stuttgart, WS 2006/07, Slides based on RPI CSCI 2400
49

TEORI BAHASA OTOMATA