Abstract sonlu durum makinesi türü bilgi nesnesi sınıfları

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.