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

Slides:



Advertisements
Benzer bir sunumlar
KÜMELER BİRLEŞİM KESİŞİM FARK.
Advertisements

KÜME DÜNYASINA GİDELİM
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BU KONUDA ÖĞRENECEKLERİMİZ
KÜMELER.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
SONLU DURUM OTOMATLARI
SONLU DURUM OTOMATLARI
HAZIRLAYANLAR HATİCE MERVE ÜNAL AYŞE ESKİCİ HİLAL POLAT NURŞAH ERDOĞAN
TURING MAKİNELERİ Yılmaz Kılıçaslan.
MATEMATİK 6. SINIF KONU: KÜMELER.
ve Denklik İlişkileri Kümelerde Eşitlik HAZIRLAYANLAR:
SONLU DURUM OTOMATLARI
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
KÜMELERDE İŞLEMLER KÜMELERDE BİRLEŞİM İŞLEMİ KÜMELERDE KESİŞİM İŞLEMİ
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN. Sunu Planı Bu derste, çizgelerin bilgisayarda gösterimine ilişkin iki standart yaklaşımı inceleyeceğiz.
GRAF TEORİSİ Ders 1 TEMEL KAVRAMLAR.
KÜMELER GEZEGENİNE HOŞ GELDİNİZ.
KÜMELER KAZANIMLAR 1-Bir kümeyi modelleri ile belirler, farklı temsil biçimleri ile gösterir. 2-Boş küme ve evrensel kümeyi modelleriyle açıklar.
KÜMELER.
MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.
Özyineleme(Recursion)
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN.
MATEMATİK ÖĞRENEBİLİR
Bağlama Duyarlı Diller
SONLU OTOMATLARIN PROGRAMLANMASI
Derleyici Teorisine Giriş
PROLOG PROGRAMLAMA DİLİNDE
MANTIK PROGRAMLARININ TEMEL YAPILARI VE BİLGİSAYIM MODELİ Yılmaz KILIÇASLAN.
TAM SAYILAR Pınar AKGÖZ.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
KÜMELER.
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
KÜMELER GEZEGENİNE HOŞ GELDİNİZ
KÜMELER.
KÜME ÇEŞİTLERİ 2. Sonlu ve Sonsuz Küme 1.Boş Küme 3. Evrensel Küme
MUSTAFA GÜLTEKİN Matematik A Şubesi.
KÜMELER.
KÜMELER.
Biçimsel Diller ve Soyut Makineler
KÜMELER ERDİNÇ BAŞAR.
KÜMELER.
KÜMELER KAZANIM:Bu konu 6. sınıf konusu olup bir kümeyi modelleri ile belirler, farklı temsil biçimleri ile gösterir.
KÜMELER.
SAYILAR.
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Saf değillerdir Farklı cins atom yada moleküllerden oluşurlar Fiziksel yollarla bileşenlerine ayrılırlar Kendilerini oluşturan maddelerin özelliklerini.
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN. Sunu Planı Bir bilgisayım yöntemi olarak mantıksal çıkarım Prolog programlama dilinin temel yapıları Prolog.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
Biçimsel Diller ve Soyut Makineler
Kümeler Küme, matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanabilir. Bu tanımdaki "nesne" soyut.
Formel Diller ve Soyut Makineler
Formel Diller ve Soyut Makineler
ANKARA ÜNİVERSİTESİ SAĞLIK BİLİMLERİ FAKÜLTESİ SOSYAL HİZMET BÖLÜMÜ
Formel Diller ve Soyut Makineler
Turing Machines Turing Makineleri.
Formel Diller ve Soyut Makineler
KÜMELR Kümelerin çeşitleri.
Sentaks ve semantik tarifi
NİŞANTAŞI ÜNİVERSİTESİ
İleri Algoritmalar Ders 3.
NİŞANTAŞI ÜNİVERSİTESİ
Sunum transkripti:

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.