BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan
Sunum Planı Bağlamdan bağımsız gramerler Özyinelemeli geçiş ağları
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)*)
Örnek - 1 L = {aNbN | N ≥ 0} dilini üreten / kabul eden bağlamdan bağımsız gramer kuralları: S aSb S ϵ
Ö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.
Örnek - 2 L = {aNbN | N > 0} dilini üreten / kabul eden RTN: q0 q1
Kaynak Yarımağan, Ünal, 2011. Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller. Akademi Yayıncılık, Ankara.