Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

Biçimsel Diller ve Soyut Makineler Hafta4 1. Deterministic Finite Automaton (DFA) 2 Finite Control Read only Head.

Benzer bir sunumlar


... konulu sunumlar: "Biçimsel Diller ve Soyut Makineler Hafta4 1. Deterministic Finite Automaton (DFA) 2 Finite Control Read only Head."— Sunum transkripti:

1 Biçimsel Diller ve Soyut Makineler Hafta4 1

2 Deterministic Finite Automaton (DFA) 2 Finite Control Read only Head

3 DFA 3  Bir DFA şu beşliden oluşur:  Sonlu sayıda elemana sahip durumlar kümesi  1 adet başlangıç durumu (özel durum-initial state)  Kabul durumları kümesi (0 yada daha fazlasayıda)  Giriş simgelerinden oluşan ve sonlu sayıda elemanlı alfabe (input alphabet)  Geçiş tablosu (Durum, simge) -> sonraki durum

4 DFA nasıl çalışır? Makine Şerit modeli 4 Şeritte bir giriş katarı vardır DFA çalışmaya başlangıç durumu ile başlar. Okuyucu kafa en sol hücrededir. DFA katarın tamamını okuyana kadar bir döngüye girer. – Her adımda, DFA, geçiş fonksiyonuna göre okunan simgeye göre yeni bir duruma geçer. – (Durum-s,  simge) -> sonraki durum s – o anki durum  -okuyucu kafanın okudu ğ u simge – Bütün katar okundu ğ unda e ğ er bir kabul durumunda kalınmışsa katar kabul edilir. Finite Control

5 DFA nasıl çalışır? 5  Giriş katarı okunduktan sonra,  E ğ er DFA kabul durumunda ise, giriş katarı kabul edilir.  E ğ er DFA bir kabul durumunda de ğ ilse, katarı reddedilir.  DFA’nın dili: DFA tarafından kabul edilen bütün katarların kümesidir.

6 6

7 DFA’nın şematik gösterimi 7 (q,a) - > q'

8 Örnek:L = {a 2n + 1 | n >= 0} için DFA L = {a, aaa, aaaaa,...} 8

9 9 aaa

10 10 aaa

11 11 aaaaaa

12 12 aaa

13 DFA ‘nın biçimsel tanımı 13  DFA M = (Q, , , s, F)  Burada:  Q : sonlu durumlar kümesi   : Giriş Alfabesi  s  Q : başlangıç durumu  F  Q :Kabul durumları kümesi  Geçiş fonksiyonu,  : Q X  - > Q

14 L(M)’nin biçimsel tanımı 14  L(M) – M makinesi tarafından tanınan dil   *’ın tanımı:   * (q,  ) = q   * (q, w σ ) =  (  * (q,w), σ )  Tanım: L(M) = { w in  * |  * (s,w) in F }.

15 Örnek: L(M) = {w Є {a,b}* | w çift sayıda a içerir.} 15

16 16 aa

17 17 a

18 18 a

19 19 ab

20 20 abab

21 21 abab

22 (0+1)* 0 1

23 00(0+1)*

24 (0+1)*00(0+1)* 00

25

26 Teorem: 26  Tanım: E ğ er bir dili kabul eden bir DFA varsa o dil regüler bir dildir.  Örnekler:    {  }   *  {w Є {a,b}* | w’nin ikinci sembolü a’dır}  {w in {a,b}* |w’nin sondan ikinci simgesi a’dır}  {w in {0,1}* | w 010’i bir alt katar olarak içerir.}


"Biçimsel Diller ve Soyut Makineler Hafta4 1. Deterministic Finite Automaton (DFA) 2 Finite Control Read only Head." indir ppt

Benzer bir sunumlar


Google Reklamları