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

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

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

Durumlar Pop Şeritten Okunan simge Push

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

giriş Yığıt top Push

Giriş Yığıt top Pop

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

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

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

Non-Determinism

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

PDA örneği PDA

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

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

T= 1 Giriş Yığıt

T=2 Giriş Stack

T= 3 Giriş Stack

T= 4 Giriş Stack

T= 5 Giriş Yığıt

T=6 Giriş Yığıt

T= 7 Giriş Yığıt

T=8 Giriş Yığıt Kabul

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

Dili PDA tarafından tanınır.

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

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

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

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

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

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

Ş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.

Örnek 2 PDA

Örnek 2 (Devam) PDA

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

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

T= 1 Giriş Yığıt

T= 2 Giriş Yığıt

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

T= 4 Giriş Yığıt

T= 5 Giriş Yığıt

T= 6 Giriş Yığıt Kabul

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

T= 1 Giriş Yığıt

T= 2 Giriş Yığıt

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

T= 4 Giriş Yığıt

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

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

T= 1 Giriş Yığıt

T=2 Giriş Yığıt

T= 3 Giriş Yığıt

T=4 Giriş Yığıt

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

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

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

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

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

T= 4 T=5

Hesap örneği:

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

Örnek: PDA :

PDA :

Teşekkürler