Otomata Teorisi dersi hakkında ödev proje tez yazılır. Lisans, yüksek lisans, master düzeyindeki öğrenciler için Otomata Teorisi bölümü ile ilgili tüm derslerde, konularda assignment, ödev, soru, proje, tez, araştırma, homework, essay, take home exam çalışmalarınız yapılır teslim edilir. Bilgisayar mühendisliği, elektrik elektronik mühendisliği, makine mühendisliği başta olmak üzere birçok bölümde zorunlu verilen bu ders için kısa süre içinde yardımcı olmaktayız.
Destek, yardım talep eden öğrenciler iletişim sayfasında mevcut formdan bize gerekli bilgileri yollamaları ya da verilen numaralardan bize ulaşmaları gerekir. Tez nasıl yazılır makalesini okuyabilirsiniz.
Derste işlenen konular :
- Soyut Makine kavramının ve sonlu otomata kavramının tanımlanması
- Sonlu Otomata ve bir uygulaması.
- Deterministik sonlu otomata kavramı ve örnek uygulamaların geliştirilmesi
- Deterministik Olmayan sonlu otomata kavramı ve örnek uygulamaların geliştirilmesi
- Epsilon geçişli otomata diğer otomatalar arasındaki ilişkilerin incelenmesi.
- Otomataların Denkliği
- Regüler ifadeler, regüler diller ve Özellikleri
- Gramer ve örnek gramerlerin oluşturulması
- Regüler dillerin denkliği
- Otomataların enküçüklenme yöntemleri
- Gramer türleri ve bu türlere ait örnek gramerler
- Pushdown Otomata ve özellikleri
- Pushdown otomata örnekleri
- Turing Makinası ve türleri
Dersin Amacı : Otomata teorisi ve mevcut program dillerinden bir adım daha soyutlaştırılan formal dillere giriş yapmaktır. Derleyici tasarımı ve yazılım mühendisliği gibi bilgisayar bilimlerinin çeşitli branşlarına temel oluşturan hesaplamanın temel modelleri sunulacaktır. Dersin sonunda tüm öğrencilerin bütün bu kavramlara mühendislik açısından hakim olmaları beklenmektedir.
Dersin içeriği: Otomata Teorisi: Temeller, biçimsel diller, Kleene kapalılık, regular ifadeler ve diller, sonlu
otomata, geçiş grafikleri, Kleene teorimi, belirlenebilen olmamazlık, Meely ve Moore
makinaları, regular dillerin özellikleri, regular olmayan diller, Şişirme Lemması, Myhill-Nerode
teoremi, karar verebilirlilik. Yığın Otomata Teorisi: Durumdan bağımsız dilbilgileri, ağaçlar,
regular dilbilgileri, Chomsky Normal Form, soldan türetimleri, yığın otomata, durumdan
bağımsız olmayan diller, CFL için Şişirme Lemması, kapalılık özellikleri, karar verebilirlilik,
CYK algoritması. Turing Teorisi : Turing makinalar (TM), Post makinalar, 2 yığınlı makinalar,
Minsky teoremi, TM çeşitleri (durumda hareket, k-trak, 2 taraflı bant, deterministik olmayan,
yalnızca okunabilir), TM kod çözülmesi, evrensel Turing makina, özyineleme ve özyinelemeli
diller, durma problemi, karar verebilirlilik, deyim yapılı diller, Chomsky dilbilgisi hiyerarşisi,
duruma bağlı dilbilgileri, hesaplanabilir fonksiyonlar.