Biçimsel diller ve otomatlar kitabı, bilgisayar biliminin teorik temelleriyle ilgilidir. Kitapta ele alınan bazı konular: Otomatlar. Biçimsel diller. Turing makineleri. Kitap, otomat teorisinin temel prensiplerini ele alarak özellikle sonlu otomatları ve düzenli dilleri inceler. "Otomatlar, Biçimsel Diller ve Turing Makineleri" adlı kitap, bilgisayar bilimleri, matematik, mühendislik ve ilgili disiplinlerde çalışan öğrenciler, araştırmacılar ve profesyoneller için temel bir başvuru kaynağı niteliği taşır. Bu konuda Emre Sermutlu'nun "Otomatlar, Biçimsel Diller ve Turing Makineleri" adlı kitabı örnek verilebilir.