Yanıtlar:
Klasik referans " Otomat Teorisine, Dillere ve Hesaplamaya Giriş " (Hopcroft, Motwani ve Ullman). Bazı insanlar çok daha eski " Biçimsel Diller ve Otomatlarla İlişkisi " ni (Hopcroft ve Ullman) önerir.
Bununla birlikte, " Hesaplama Teorisine Giriş " (Sipser tarafından) gibi. Çok iyi yazılmış ve nispeten yeni bir kitap.
Dexter Kozen tarafından Automata & Computability için yumuşak bir noktaya sahibim ( içindekiler ve örnek bölümler [PS]). Bu oldukça ayrıntılı ve gerçekten ilginç bazı gelişmiş konuları kapsar. Kanıtlar resmi ve açık, gösterim ve biçimlendirme çok hoş. En önemlisi, egzersizler mükemmel, bu nedenle sınavlarınızın seviyesine bağlı olarak iyi bir çalışma materyali olacak.
Kurslarım için en çok kullandığım kişi, Jacques Sakarovitch, Cambridge University Press, 2009'dan Otomata Teorisinin Unsurları'dır. Kapsamı cebirsel yönleri, biçimsel güç serilerini de kapsadığı için diğerlerinden biraz farklı olabilir. ve transdüksiyonlar. Ve birçok egzersiz var.
"Kelimeler Üzerine Uygulamalı Kombinatorik", Lothaire, 2004
Uzakta ve benim favorim. Örneklerin yükleri ve aynı zamanda mutlak temellerden, Ağırlıklı Sonlu Durumlu Dönüştürücülerle Otomatik Konuşma Tanıma ve biyoinformatikteki konular gibi oldukça ilginç bazı otomata uygulamalarına kadar uzanır.
Hepsinden iyisi, indirmek ücretsizdir ve ayrıca çözüm setleri içerir:
Bunun sınavlara hazırlanmak için en iyi kitap olduğundan emin değilim, ama kitap
Sonlu Otomata; BA Trakhtenbrot ve Ya ile Davranış ve Sentez . M. Barzdinʹ
oldukça iyi. Araştırmada özellikle yararlı bulduğum şaşırtıcı sayıda harika sonuç var.
Dillere Giriş ve Hesaplama Teorisi
John C. Martin
Bu kitabı yeni başlayanlara tavsiye ederim ve bu, pek çok örnek arayanlar için mükemmel bir seçimdir.
Jarkko Kari'nin aşağıdaki ders notlarını seviyorum: http://users.utu.fi/jkari/automata/
Kısa kurs taslağı:
Regular languages
Finite automata, regular expressions
Kleene theorem
Pumping lemma
Closure properties and decision algorithms
State minimization, Myhill-Nerode theorem
Context-free languages
Grammars, parsing
Normal forms
Pushdown automata
Pumping lemma
Closure properties and decision algorithms
Turing machines
Recursive and recursively enumerable languages
Universal Turing machines
Undecidability of the halting problem (Turing)
Reductions, other undecidable problems
H.Lewis ve C.Papadimitriou'nun Hesaplama Teorisinin Unsurları da vardır. Otomat teorisine iyi yazılmış bir giriş.
Basit Makinelerden İmkansız Programlara
Otomat teorisi içeren bir çok şeyi kapsar. Örnekler Ruby'de sunulmuştur ve anlaşılması oldukça kolaydır. Teoriye daha derinden dalmak istiyorsanız başka bir kitaba ihtiyacınız olabilir, ancak bu temelleri öğrenmek için harikadır.
AA Puntambekar'dan "Biçimsel Diller ve Otomatlar Teorisi" çözülen örnekler için en iyi kitaptır. Kitabın çoğu sadece çözülmüş örnekler ve çok az teori içeriyor. Sınavları geçmek iyi.