Otomatlar. Biçimsel Diller ve Turing Makineleri

Emre Sermutlu, Orta Doğu Teknik Üniversitesi Fizik ve Matematik (Çift Anadal) bölümlerini bitirdikten sonra, master ve doktorasını Bilkent Üniversitesi Matematik Bölümü’nde tamamladı. 20 yılı aşkın süredir çalıştığı Çankaya Üniversitesi’nde, halen matematik, fizik ve bilgisayar bilimi üzerine dersler vermektedir. Bu kitap, bilgisayar biliminin teorik temelleriyle ilgilidir. Turing makineleri ve biçimsel diller, mümkün olan tüm algoritmalara çok yükseklerden bakmamızı sağlar. Bu bakış açısı oldukça soyut olmakla birlikte, algoritmik düşünce ile ilgili bazı kavramları, belli bir programlama dilinin ayrıntılarında boğulmadan, net şekilde görmemize imkan verir. Kitapta, matematiksel düşünce ve ispatlarla uygulamalı problemler arasında bir denge gözetilmiştir. Hem bölüm içi soruların zorlukları, hem de bölümler ilerledikçe karşılaşılan kavramların soyutluğu, kademeli olarak artmaktadır. Teknik terimler sadece gerektikleri kadar kullanılmış, bir çok kavram hem teknik dille hem gündelik hayat diliyle iki kez açıklanmıştır. Çok sayıda çözümlü ve cevaplı soru, yeni karşılaşılan soyut kavramları her yönüyle kurcalamakta, tanıdık hale getirmekte önemli rol oynamaktadır. Türkçe kaynaklar açısından önemli bir boşluğu dolduracak olan bu kitap, bir ders kapsamında ana veya yardımcı kitap olarak kullanılabileceği gibi, tek başına çalışmak isteyenler için de uygundur.