DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.

... konulu sunumlar: "DÜZENLİ GRAMERLER Yılmaz Kılıçaslan."— Sunum transkripti:

1 DÜZENLİ GRAMERLER Yılmaz Kılıçaslan

2 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ı

3 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)

4 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

5 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  ϵ

6 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], []).

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