Buku-buku tentang teori automata untuk belajar sendiri


Jawaban:


35

Referensi klasik adalah " Pengantar Teori Automata, Bahasa dan Komputasi " (oleh Hopcroft, Motwani, dan Ullman). Beberapa orang juga merekomendasikan " Bahasa Formal dan Hubungannya dengan Automata " yang jauh lebih tua (oleh Hopcroft dan Ullman).

Saya, bagaimanapun, menyukai " Pengantar Teori Komputasi " (oleh Sipser). Ini ditulis dengan sangat baik, dan merupakan buku yang relatif baru.


8
Saya sipster kedua. Saya menggunakannya untuk kursus saya.
Dave Clarke

2
Saya menghabiskan seluruh musim panas melakukan masalah dari buku HU lama. Waktu yang menyenangkan ...
Suresh Venkat

8
Saya sangat suka Hopcroft & Ullman tanpa Motwani. HU&M mengeluarkan semua masalah bagus!
Jeffε

3
@ user1652: Saya tidak berpikir Anda akan menemukan sesuatu dengan lebih banyak contoh daripada buku Linz. Anda juga bisa melihat "Pengantar Teori Komputer" oleh Daniel Cohen. Ini memiliki banyak contoh, tetapi buku yang lebih tua dan mungkin tidak dapat dibaca seperti Linz.
Kurt

2
@Kurt: Komentar Anda terlalu bagus untuk dibiarkan hanya sebagai komentar! Mengapa tidak mempostingnya sebagai jawaban?
MS Dousti

9

Saya memiliki titik lemah untuk Automata & Computability oleh Dexter Kozen ( daftar isi dan bab-bab sampel [PS]). Ini cukup menyeluruh dan mencakup beberapa topik lanjutan yang sangat menarik. Buktinya formal dan eksplisit dan notasi serta formatnya bagus. Yang paling penting, latihan ini sangat baik, jadi tergantung pada tingkat ujian Anda, itu akan menjadi bahan belajar yang baik.


9

Yang paling sering saya gunakan untuk mata kuliah saya adalah Elements of Automata Theory oleh Jacques Sakarovitch, Cambridge University Press, 2009. Cakupannya mungkin sedikit berbeda dari yang lain, karena juga banyak membahas aspek aljabar, seri kekuatan formal, dan transduksi. Dan ada banyak latihan.


1
Jika kita hanya berbicara tentang teori automata, ini pasti buku terbaik tentang subjeknya. Saya membacanya dan menyukainya!
Marcos Villagra

5

"Combinatorics Terapan pada Kata", oleh Lothaire, 2004

Jauh dan jauh favorit saya. Banyak contoh, dan juga membangun dari dasar-dasar absolut sampai ke beberapa aplikasi automata yang cukup menarik seperti Pengenalan Wicara Otomatis dengan Transduser Negara-Berbobot Hingga, dan topik dalam bioinformatika.

Yang terbaik dari semuanya, gratis untuk mengunduh, dan juga termasuk rangkaian solusi:

http://www-igm.univ-mlv.fr/~berstel/Lothaire/


5

"Pemecahan Masalah dalam Automata, Bahasa, dan Kompleksitas" oleh Du-Ko adalah salah satu favorit saya setelah Sipser, HU dan Kozen. Ini berisi banyak solusi untuk masalah * Kozen dan sipser dengan banyak contoh dan latihan terkait. Berguna khusus untuk persiapan ujian.




1

Saya menikmati catatan kuliah berikut oleh Jarkko Kari: http://users.utu.fi/jkari/automata/

Garis besar kursus singkat:

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

1

Ada juga Elemen Teori Teori Komputasi oleh H.Lewis dan C.Papadimitriou. Ini adalah pengantar yang ditulis dengan baik untuk teori automata.


0

Memahami Komputasi

Dari Mesin Sederhana ke Program Tidak Mungkin

Itu mencakup banyak hal, yang termasuk teori automata. Contoh-contoh disajikan dalam Ruby, dan mereka cukup mudah dimengerti. Anda mungkin perlu buku lain jika ingin mempelajari lebih dalam tentang teori, tetapi buku ini bagus untuk mempelajari dasar-dasarnya.


0

"Teori Bahasa Resmi dan Automata" oleh AA Puntambekar adalah buku terbaik untuk contoh-contoh terselesaikan. Sebagian besar buku hanya berisi contoh-contoh yang dipecahkan dan sedikit teori. Baik untuk lulus ujian.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.