Ne bekliyorduk???

1

Dzenli fadelerBirleme (Union): - AuB = { x | x or x B } Ekleme lemi (Concatenation): - Ao B = {xy | x and y B} Kleene Star: - A* = {x1x2...xk | wi and k>= 0}

2

rnek ( ab U cde )* ileminin zmlerini yaznz.

3

rnek

a(bUcd*)*a ilemi iin sonular retelim.

4

DETERMNSTK OLMAYAN SONLU OTOMATLAR ( NONDETERMNSTK FINITE AUTOMATA -NFA )

5

NFA nedir?* NFA durum geileri mevcut durum ve giri bilgilerinin ksmi kullanmyla belirlenir. Ayn giri bilgisi ve ayn durum iin birden fazla sonraki durum olabilir. Makine, bu durumlardan herhangi birine geebilir. * Baz giri bilgisi ve durumlar iin herhangi bir sonraki durum olmayabilir. * Bu zellikleri sebebiyle nondeterministic olarak adlandrlr.6

NFA ne ie yarar?* Bilgisayarlarn gerek modellenmesinde kullanlmazlar. * Automata tanmlamasn basitletirmek iin kullanlr. * Her deterministik olmayan otomatn bir deterministik karl vardr.7

Deterministik Otomata

Deterministik Olmayan Otamata

8

9

010110 dizgesi iin NFA modeli ileyii

10

11

12

NFA'dan DFA'ya gei

13

DETERMNSTK OLMAYAN OTOMATALARIN GENEL TANIMI

14

NFA nn genel tanm Deterministik olmayan sonlu otomatalarn genel tanm,deterministik olan sonlu otomatalarn genel tanmna benzerdir. Her ikiside giri alfabesi,gei fonksiyonu,balang durumu ve sonu durumu bulundurur. NFA ve DFA birbirinden fonksiyon transfer tipinde birbirinden ayrlrlar. NFA durum geileri mevcut durum ve giri bilgilerinin ksmi kullanmyla belirlenir. Baz giri bilgileri ve durumlar iin 15 sonraki

NFA devam Bir NFA da birden fazla durumda olabilir.1 0 1

Girdi:

01 0 1 16

Deterministik olmayan modellerde yol belirlemesi sadece girdiye bal deildir.Makine hangi yolu izleyeceine bir ekilde karar vermek zorundadr.Burada; insan faktr veya yapay zeka teknikleri ile makineye karar verdirme gibi durumlar dnlebilir.

17

NFA nn transfer fonksiyonuna gre genel tanmn yazacak olursak:&:Q* --->P(Q)

Deterministik olmayan otomatalarn 5 eleman vardr. Bunlar (Q,,&,q0,F)'dir. 1.Q snrl ifadeler kmesi. 2. snrl alfabe 3.&:Q*-->P(Q) transfer fonksiyonu. 4.q0 balang durumu. 18 5.F kabul durum kmesi.(biti durumu)

rnek: N1 deterministik olmayan snrl bir otomata olsun.

19

rnek N1 in genel tanm : (Q,,&,q1,F) 1-Q={q1,q2,q3,q4} 2-={0,1} 3-& -->

4-q1 balang durumu 5-F={q4} biti durumu20

NFA ve DFA DENKL NFA ve DFA , ayn dili tanmlyor ise buna NFA ve DFA denklii denir. NFA'larn uygulamas ve yazlm daha kolaydr. Bu yzden NFA kullanm DFA ya gre daha oktur.21

Her deterministik olmayan otomatn bir deterministik karl vardr. Peki nasl karln bulacaz ?

22

NFA DFA Dnm

NFA benzetimi yaplmal DFAnn her bir durumu iin NFAnn bo olmayan alt durum kmeleri belirlenmeli Balang durumu belirlenmeliNFAnn balang durumundan -hareketleriyle ulalabilecek durumlar

23

NFA DFA Dnm Bir NFA herhangi bir anda bir ok durumda bulunabilir. Ka farkl durum vardr ? Eer N durum varsa, NFA bu N durumun bir alt kmesinde bulunur. Ka tane bo olmayan alt kme vardr?2N - 1 24

Dzenli diller NFA tarafndan tanmlanr. Her NFA nn DFA denklii olduundan , DFA dili tanmlyorsa NFA da tanmlayabilir.

25

26

27

28