Biçimsel Diller ve Soyut Makineler Push-Down Automata (PDAs)

... konulu sunumlar: "Biçimsel Diller ve Soyut Makineler Push-Down Automata (PDAs)"— Sunum transkripti:

1 Biçimsel Diller ve Soyut Makineler Push-Down Automata (PDAs)
Hafta 11

2 Pushdown Automaton -- PDA
Giriş Katarı Yığıt Durumlar

3 Yığıt başlangıç Simgesi
stack head top Yığıt başlangıç simgesi

4 Durumlar Pop Şeritten Okunan simge Push

5 giriş yığıt top değiştir

6 giriş Yığıt top Push

7 Giriş Yığıt top Pop

8 Giriş Yığıt top değiştirme

9 Boş Yığıt Giriş Yığıt Boş Pop top Otomat durur. ‘den sonra Olası bir geçiş olmaz

10 Olası bir geçiş Giriş Yığıt Pop top

11 Non-Determinism

12 Aşağıdaki Otomatın tanıdığı dil nedir?
PDA

13 PDA örneği PDA

14 Okunan her a’yı yığıta gönder 2. Okunan her b için yığıttan bir a çıkar 3. Eşeleme

15 PDA’nın çalışması: T= 0 Giriş Yığıt Başlangıç

16 T= 1 Giriş Yığıt

17 T=2 Giriş Stack

18 T= 3 Giriş Stack

19 T= 4 Giriş Stack

20 T= 5 Giriş Yığıt

21 T=6 Giriş Yığıt

22 T= 7 Giriş Yığıt

23 T=8 Giriş Yığıt Kabul

24 Giriş şeridindeki bütün katarlar okunmuş
VE bir kabul durumunda kalınmış ise Bu katar kabul edilir. Buna kabul durumuyla test denir ve yığıtın son durumuna bakılmaz

25 Dili PDA tarafından tanınır.

26 Red katar örneği: T= 0 Giriş yığıt Başlangıç durumu

27 Red katar örneği: T= 1 Giriş Yığıt

28 Red katar örneği: T= 2 Giriş Yığıt

29 Red katar örneği: T= 3 Giriş Yığıt

30 Red katar örneği: T=4 Giriş Yığıt

31 Red katar örneği: T= 4 Input Yığıt red

32 Şeritte okunacak simge kalmaz VE son durum kabul durumu değilse
giriş katarı kabul edilmez. Bu durumda yığıtım içeriğine bakılmaz.

33 Örnek 2 PDA

34 Örnek 2 (Devam) PDA

35 v ‘yi yığıta At (push) ‘yi yığıttaki v ile eşleştir. 2. Girişin ortası 4. Eşleme tamam

36 Yürütme: T= 0 Giriş Yığıt

37 T= 1 Giriş Yığıt

38 T= 2 Giriş Yığıt

39 T= 3 Giriş Orta kısım yığıt

40 T= 4 Giriş Yığıt

41 T= 5 Giriş Yığıt

42 T= 6 Giriş Yığıt Kabul

43 Red katar: T= 0 Giriş Yığıt

44 T= 1 Giriş Yığıt

45 T= 2 Giriş Yığıt

46 T= 3 Giriş Orta kısım Yığıt

47 T= 4 Giriş Yığıt

48 T= 5 Olası geçiş yok. Giriş Okunacak simge kalmadı Yığıt

49 Aynı katar için başka bir yol
Giriş T=0 Yığıt

50 T= 1 Giriş Yığıt

51 T=2 Giriş Yığıt

52 T= 3 Giriş Yığıt

53 T=4 Giriş Yığıt

54 T=5 Giriş Kabul durumuna ulaşılamıyor Yığıt

55 PDA’nın Biçimsel Tanımı
Pushdown Automaton (PDA) Kabul durumu Durumlar Giriş Alfabesi Yığıt Başlangıç simgesi Geçiş İşlevi Başlangıç durumu Yığıt alfabesi

56 Anlık tanımlar Bulunulan durum Yığıtın içeriği Henüz okunmayan katar

57 Örnek: Anlık tanımlar Input T= 4: Yığıt

58 Örnek: Anlık tanımlar Giriş T= 5: Yığıt

59 T= 4 T=5

60 Hesap örneği:

61 Biçimsel Tanım (devam)
PDA Makinesi tarafından tanınan Dil ise Başlangıç durumu Kabul Durumu

62 Örnek: PDA :

63 PDA :

64 Teşekkürler