BLGM 471 zdevinirler Kuram Neden zdevinirleri alalm Ders
BLGM 471 Özdevinirler Kuramı Neden özdevinirleri çalışalım? Ders ne hakkındadır? 1
Neden Özdevinirleri Çalışalım? u 5 yıldır iş hayatında çalışan Stanford mezunlarına en çok hangi dersin işlerine yaradığı sorulmuş u. Bilgisayara giriş dersleri en üst sıralardaymış u. Ancak seçmeli dersler arasında Özdevinirler teorisi en yukarılardaymış. w Yapay zeka’nın üç katı puan almış 2
Bu nasıl olabilir? u. Düzenli deyimler birçok sistemde kullanılır w Ör. , UNIX a. *b. w Ör. , DTD XML taglarını düzenli deyim formatında anlatır: person (name, addr, child*). u. Sonlu özdevinirler protokolleri ve elektronik devreleri modellemek için kullanılır. 3
Nasıl? – (2) u. Ortam-bagımsız gramerler hemen tüm programlama dillerinin sentaksını anlatmak için kullanılır. Aynı zamanda doğal dilleri unutmayalım u. DTD’ler bir bütün olarak gerçekte ortam bağımsız gramerdirler. 4
Dersin ana hatları u. Düzenli diller ve tanımlayıcılları: w Sonlu özdevinirler, deterministik olmayan sonlu özdevinirler, düzenli deyimler w Düzenli diller hakkında soruları cevaplayacak algoritmalar, ör: e. g. , dil boş mu? w Düzenli dillerin kapalılık özellikleri (iki düzenli dil üzerine yapılan bir işlem bize yine düzenli dil verir mi? ) 6
Dersin ana hatları – (2) u. Ortam-bağımsız diller ve tanımlayıcılları : w Ortam-bağımsız gramerler, altbasımlı özdevinirler. w Ortam bağımsız diller hakkında verilebilen hükümler (ör: dil sonsuz mu? ) w Kapalılık özellikleri 7
Refererans ders kitabı u. Hopcroft, Motwani, Ullman, Automata Theory, Languages, and Computation 3 rd Edition. 9
- Slides: 7