Abstract sonlu durum makinesi türü bilgi nesnesi sınıfları
Yükleniyor...
Dosyalar
Tarih
2003
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Giris bölümü disinda bu tez esas olarak üç kisimdan olusmaktadir. 2. Bölümde; Ilk olarak sonlu durum kabul edicisinin tanimi verilmistir. Sonlu durum kabul edicileri deterministik ve nondeterministik olmak üzere iki sinifa ayrilmis ve nondeterministik sonlu durum kabul edicileri incelenmistir. Daha sonra nondeterministik sonlu durum kabul edicileri deterministik sonlu durum kabul edicilerine dönüstürülmüstür. 3. Bölümde; Sonlu durum kabul edicileri ve biçimsel gramerler arasindaki iliski incelenmistir. Sonlu durum kabul edicilerinin biçimsel gramerlere denkligi gösterilmistir. 4. Bölümde; Sonlu durum kabul edicilerinden elde edilen küme denklem sistemlerinin indirgenmesi ve çözümü incelenmistir. Bu denklem sistemlerinin çözümü için biçimsel tanimlamalarin olusturulmasi ve bu çözümün tek oldugu gösterilmistir. Ayrica biçimsel bir tanimlamadan bir kabul edicinin türetimi gösterilmistir.
Açıklama
Anahtar Kelimeler
Sonlu durum kabul edicisi, biçimsel gramer, biçimsel tanimlama, biçimsel küme., Finite state accepter, regular grammar, regular expression, regular set., Matematik A.B.D.
