Sunuyu indir
Sunum yükleniyor. Lütfen bekleyiniz
1
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2)
Yılmaz Kılıçaslan
2
Sunum Planı Bağlamdan bağımsız gramerler Özyinelemeli geçiş ağları
3
Bağlamdan Bağımsız Gramerlerin Tanımı
Bir düzenli gramer şu 4 bileşenden oluşur: N: Sonlu bir terminal olmayan semboller kümesi. S ϵ N: Başlangıç sembolü. T: Terminal semboller kümesi. P: Şu kural şemasına uyan yeniden yazma (üretim) kuralları: Y γ (Y ϵ N ve γ ϵ (T U N)*)
4
Örnek - 1 L = {aNbN | N ≥ 0} dilini üreten / kabul eden bağlamdan bağımsız gramer kuralları: S aSb S ϵ
5
Özyinelemeli Geçiş Ağları
Bir sonlu otomatta, durumlar arası geçiş yaparken giriş alfabesinin sembollerinin yanında, otomat adreslerinin de kullanılmasına yani bir otomat çağrımı yaparak geçişin sağlanmasına izin verilirse, bir özyinelemeli geçiş ağı (recursive transition network - RTN) elde edilir. Bu, elbette otomatların adlandırılarak adreslenmesini gerektirir.
6
Örnek - 2 L = {aNbN | N > 0} dilini üreten / kabul eden RTN: q0 q1
7
Kaynak Yarımağan, Ünal, Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller. Akademi Yayıncılık, Ankara.
Benzer bir sunumlar
