Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller

Gerçekten, "Bilgisayar Mühendisliği" ve "Bilgisayar Bilimi" için harika bir eser!

Özdevinirler ya da otomatlar denilince akla ilk gelen kendi kendine hareket eden ve belirli işlevleri gerçekleştiren otomatik makineler olmaktadır. Literatürde özdevinir yerine kısaca makina 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ırıcılar (parsers) başta olmak üzere birçok yazılım bileşeninde de kullanılan modellerdir.

Bu kitabın içeriği, özellikle bilgisayar mühendisliği bölümlerinde okutulmakta olan "Özdevinirler Kuramı ve Biçimsel Diller", "Otomata Teorisi ve Formal Diller" veya "Derleyici Tasarımı" gibi dersleri için çok uygundur. Tabi ki bu dersler de kaliteli ve nitelikli üniversitelerde verilemektedir. (www.tdk.com.tr yorumu)

Kitapta ele alınan konular kısaca aşağıdaki gibi özetlenebilir:

Sonlu Özdevinirler (Finite Otomata)

Düzgün Kümeler ve Düzgün Deyimler

Biçimsel Diller

Düzgün Dil - Sonlu Özdevinir İlişkisi

Bağlamdan-Bağımsız Diller

Yığıtlı Özdevinirler

Turing Makineler; Kısıtlmasız Dil Tanıyıcı ve Hesaplama Modeli

Ayrıştırma İşlemleri