Özdevinirler

Bu kitabın konusu olan "özdevinirler (otomatlar) kuramı ve biçimsel diller" bilgisayar bilimleri ve mühendisliğinin kuramsal temelleri alanının en önemli konularından biridir. Bu nedenle bilgisayar bilimleri ve bilgisayar mühendisliği alanında eğitim veren lisans programlarının birçoğunda bu konunun işlendiği bir derse yer verilmektedir.

Özdevinirler ya da otomatlar denince akla ilk gelen kendi kendine hareket eden ve belirli işlevleri gerçekleştiren otomatik makineler olmaktadır. Özdevinir yerine kısaca makine sözcüğünün kullanılmasının nedeni de budur. Oysa bilimsel olarak, özdevinirler belirli özelliklere sahip matematiksel modellerdir. Bu modeller yalnız donanım alanında değil derleyiciler, yorumlayıcılar, metin düzenleyiciler, sözdizim çözümleyiciler, ayrıştıncılar (parsers) başta olmak üzere birçok yazılım bileşeninde de kullanılan modellerdir. Özdevinirler biçimsel dillerin sözdizimsel ve anlamsal çözümlemesinde kullanılan modeller olduğu için de özdevinirler ile biçimsel diller birbiriyle çok yakından ilişkili, birbirini tamamlayan konulardır.

Kitabın içeriği özellikle bilgisayar mühendisliği bölümlerinde lisans düzeyinde okutulacak bir ders için uygundur. Kitaptaki konular, haftalık süresi 3 saat olan bir derste işlenebilecek biçimde düzenlenmiş.

Soruların her biri en az bir kez sınavda sorulmuş ve ölçme açısından başarılı olduğu görülmüştür. Kitapta yer alan tüm soruların yanıtları verilmiştir. Ancak kitabın sayfa sayısının çok artmaması için, yanıtlar kısa tutulmaya çalışılmış, bazı sorular için ise sonucun verilmesi ile yetinilmiş. Diğer taraftan bazı soruların birden çok geçerli yanıtının olabileceği; yanıtı tek olan soruların birçoğu için de birden çok çözüm yolunun olabileceği bir gerçektir. Bu nedenle kitapta yer alan çözümlerin örnek çözümler olduğu; bazı sorular için verilen çözüm dışında başka çözüm ya da çözümlerin de olabileceği unutulmamalıdır.

(Önsözden)