BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.

Slides:



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

ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BU KONUDA ÖĞRENECEKLERİMİZ
TURING MAKİNESİ NASIL ÇALIŞIR?
Ö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
TURING MAKİNELERİ Yılmaz Kılıçaslan.
ve Denklik İlişkileri Kümelerde Eşitlik HAZIRLAYANLAR:
NESNEYE YÖNELİK PROGRAMLAMANIN TEMEL İLKELERİ GENEL BİR BAKIŞ
SONLU DURUM OTOMATLARI
OTOMATA TEORİSİ SELÇUK KILINÇ
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
Tam Rekabet Tam rekabet piyasasının dört özelliği:
Mantıksal Tasarım Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü.
SABİT NESNE VE ELEMAN FONKSİYONLAR VE ELEMAN NESNELER
MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.
Bağlama Duyarlı Diller
SONLU OTOMATLARIN PROGRAMLANMASI
Ders Adı: Sayısal Elektronik
Derleyici Teorisine Giriş
PROLOG PROGRAMLAMA DİLİNDE
DÜZENLİ İFADELER Regular Expressions Edip Serdar GÜNER.
C++’a Giriş Yılmaz Kılıçaslan.
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
İki tane zıt yüklü iletken…
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
KÜMELER.
KÜME ÇEŞİTLERİ 2. Sonlu ve Sonsuz Küme 1.Boş Küme 3. Evrensel Küme
KÜMELER.
KÜMELER.
BİLGİSAYAR AĞLARI.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
DÜZENLİ İFADELER Regular Expressions.
KÜMELER.
SAYILAR.
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Sentaks (Sözdizim) ve Semantik (Anlam)
BISON (YACC) (Yet Another Compiler Compiler)
BİL3006 BİLGİSAYAR AĞLARI VE İLETİŞİM
NFA-, NFA, DFA dönüşümü 1.
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
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan.
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
Sentaks ve semantik tarifi
Belirsiz Sonlu Özdevinirler
NİŞANTAŞI ÜNİVERSİTESİ
Ortam Bağımsız Dillerin Özellikleri
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
Sonlu Özdevininirler (SÖ)
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
Altbasımlı Özdevinirler
Sunum transkripti:

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.