SONLU OTOMATLARIN PROGRAMLANMASI

Slides:



Advertisements
Benzer bir sunumlar
Tam rekabet çok sayıda alıcı ve satıcı firmalar fiyatı veri alırlar
Advertisements

Elektrik Yükü /Alanı çubuk “pozitif” yüklenir.
GEOMETRİYE MERHABA.
Değişken , Veri Türleri ve Operatörler
Bölüm 8 Tam Rekabet ve Tekel (Monopol) Piyasaları
TURING MAKİNESİ NASIL ÇALIŞIR?
Bölüm 4 – Kontrol İfadeleri:1.kısım
Bölüm 2: Program Denetimi
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
SONLU DURUM OTOMATLARI
SONLU DURUM OTOMATLARI
EDUTIME Java Day 4 Serdar TÜRKEL.
TURING MAKİNELERİ Yılmaz Kılıçaslan.
Karar ifadeleri ve Döngüler
BPR152 ALGORİTMA VE PROGRAMLAMA - II
ALGORİTMA VE AKIŞ ŞEMALARI.
Derleyici Araçları FLEX & BISON
SONLU DURUM OTOMATLARI
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
İNTERNET PROGRAMCILIĞI I BTP 207 Ders 9. Tek değişkende birden fazla bilgi tutulmak istendiğinde kullanılır. Kullanım şekli: var dizi_adı= new Array(eleman1,
FIRST ENGLISH 4. ve 5. Sınıflar için by İrfan BOY
Tam Rekabet Tam rekabet piyasasının dört özelliği:
ÖĞRENMEDE BİLGİ Yılmaz KILIÇASLAN.
ALGORİTMALAR VE PROGRAMLAMAYA GİRİŞ
EĞİTİMDE ÖLÇME VE DEĞERLENDİRME
MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.
ALGORİTMA VE AKIŞ ŞEMASI
Bağlama Duyarlı Diller
PROGRAMLAMA DİLLERİNE GİRİŞ Ders 2: Koşula Göre İşlem Yapma
Ders Adı: Sayısal Elektronik
Derleyici Teorisine Giriş
PROLOG PROGRAMLAMA DİLİNDE
DÜZENLİ İFADELER Regular Expressions Edip Serdar GÜNER.
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
MANTIK PROGRAMLARININ TEMEL YAPILARI VE BİLGİSAYIM MODELİ Yılmaz KILIÇASLAN.
VERİLERİ DÜZENLİYORUM ACCESS TANIMLAR Veri Tabanı: Düzenli bilgiler topluluğudur. Sistematik erişim imkanı olan, yönetilebilir, güncellenebilir, taşınabilir,
Ders Kodu: EET134 Ders Adı: Sayısal Elektronik Ders Hocası: Assist. Prof. Dr. MUSTAFA İLKAN.
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
Tetkik Aşamaları Vildan MEVSİM.
KISA DÖNEMLİ HEDEFLER.
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
ALGORİTMA.
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
Outline 4.1 Giriş 4.2 Algoritmalar 4.3 Pseudocode 4.4 Kontrol İfadeleri 4.5 if tek-seçimli ifadeler 4.6 if else seçimli ifadeler 4.7 while döngü ifadeleri.
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
TEK Mİ ÇİFT Mİ? TOPLA YA DA ÇIKAR.
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Sentaks (Sözdizim) ve Semantik (Anlam)
Geleneksel Tasarım Araçları
Adım Adım Algoritma.
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.
Algoritma.  Algoritma, belirli bir görevi yerine getiren sonlu sayıdaki işlemler dizisidir.  Başka bir deyişle; bir sorunu çözebilmek için gerekli olan.
FABRİKA VE PROSES TASARIMI
Formel Diller ve Soyut Makineler
ALGORİTMA VE AKIŞ ŞEMASI
Formel Diller ve Soyut Makineler
Turing Machines Turing Makineleri.
Formel Diller ve Soyut Makineler
ÖĞRENME ÇIKTILARI HAZIRLAMA VE ÖĞRENCi İŞ YÜKÜ HESABI
Yapay Zeka ve Uzman Sistemler
VERİ TÜRLERİ.
ALGORİTMALAR VE PROGRAMLAMAYA GİRİŞ
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
Altbasımlı Özdevinirler
Sunum transkripti:

SONLU OTOMATLARIN PROGRAMLANMASI Yılmaz Kılıçaslan

Sunum Planı Gramerler ve Ayrıştırıcılar (Parsers) Gramer (Dilbilgisi) Olarak Sonlu Otomatlar Sonlu Otomatların ve Ayrıştırıcıların Prolog ile Kodlanması

Gramerler ve Ayrıştırıcılar Ayrıştırıcı, girdi olarak bir gramer ve bir ifade (sembol dizilimi) alır. Çıktı olarak, (en azından) verilen ifadenin gramerin tanımladığı dile ait olup olmadığını söyler. Gramer Evet AYRIŞTIRICI Hayır İfade

Gramer Olarak Sonlu Otomatlar Her sonlu otomat bir dil tanımlar; dolayısıyla, aynı zamanda bir gramerdir. Bir sonlu otomatın, Prolog ile kodlanması, başlangıç ve bitiş durumlarının ve durumlar arasındaki her bir geçişin gerçekler (facts) olarak belirtilmesinden ibarettir: SONLU DURUM OTOMATI: PROLOG PROGRAMI: initial(q0). final(q0). g(q0,1,q1). g(q1,1,q0). g(q1,0,q3). g(q3,0,q1). g(q3,1,q2). g(q2,1,q3). g(q2,0,q0). g(q0,0,q2).

Üç Aşamada Ayrıştırma (Parsing) İşlemi Ayrıştırma temelde üç iş yapacaktır: İşe nereden başlaması gerektiğini belirleyecektir. İşi nerede bitirmesi gerektiğini saptayacaktır. Başlangıç ile bitiş arasındaki işlemleri gerçekleştirecektir.

Prolog’la Kodlanmış bir Ayrıştırıcı % Başlangıç parse(String) :- initial(CurrentState), parse(String, CurrentState). % Bitiş parse([], CurrentState) :- final(CurrentState). % Ara İşlemler parse([Symbol|Rest], CurrentState) :- t(CurrentState, Symbol, NextState), parse(Rest, NextState).

Örnek Sorgulamalar 3 ?- traverse([1,0,1,0,1,1]). true. false.