DÜZENLİ GRAMERLER Yılmaz Kılıçaslan
Sunum Planı Düzenli Gramerlerin Bileşenleri Sonlu Durum Otomatlarının Düzenli Gramere Dönüştürülmesi Gramerlerin DCG (Definite Clause Grammar) ile Kodlanması
Düzenli Gramerlerin Bileşenleri 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 iki kural şemasından birine uyan yeniden yazma (üretim) kuralları: Y α, X Y β (X, Y ϵ N ve α, β ϵ T)
Sonlu Durum Otomatlarının Düzenli Gramere Dönüştürülmesi (1) SONLU DURUM OTOMATI: DÜZENLİ GRAMER: q0, q2 ve q3 yerine sırasıyla S, A ve B sembollerini kullanarak; S 1 S S 0 A A 0 A A 1 B B 0 B B 1 B A 1 B 0 B 1
Sonlu Durum Otomatlarının Düzenli Gramere Dönüştürülmesi (2) SONLU DURUM OTOMATI: DÜZENLİ GRAMER: q0, q1, q2 ve q3 yerine sırasıyla S, A, B ve C sembollerini kullanarak; S 1 A S 0 B A 1 S A 0 C B 1 C B 0 S C 1 B C 0 A A 1 B 0 S ϵ
Gramerlerin DCG (Definite Clause Grammar) ile Kodlanması (1) % ‘01’ içeren bütün dizilimleri % üreten/kabul eden DCG programı % Sözlük '0' --> [0]. '1' --> [1]. % Kurallar a --> '1'. b --> '0'. b --> '1'. s --> '0',a. s --> '1',s. a --> '1',b. a --> '0',a. b --> '0',b. b --> '1',b. ‘-->’ DCG’de gramer kuralı operatörüdür. Her kuralın bir Prolog tümceciğine karşılık gelmesi nedeniyle ‘.’ ile sonlandırılması gerekir. Terminal olmayan semboller, Prolog yüklemi olmaları nedeniyle küçük harfle gösterilir. Terminal semboller, listenin tek elemanı olarak sonal halleri ile ayrıca kodlanmalıdır. Sonsuz döngülerden kaçınmak için, temel (base) kuralları, özyinelemeli (recursive) kurallardan önce kodlamak gerekir. Sorgulama çift liste parametreli s yüklemi ile yapılır: ?- s([1,1,0,1,1,1,1], []).
Gramerlerin DCG (Definite Clause Grammar) ile Kodlanması (1) % Çift sayıda‘0’ ve çift sayıda ‘1’ içeren bütün % dizilimleri üreten/kabul eden DCG programı % Sözlük s --> []. '0' --> [0]. '1' --> [1]. % Kurallar s --> '0',b. s --> '1',d. b --> '0',s. b --> '1',c. c --> '0',d. c --> '1',b. d --> '0',c. d --> '1',s.