ฉันต้องการหนังสือทฤษฎีออโตมาตะ จำกัด พร้อมตัวอย่างมากมายที่ฉันสามารถใช้สำหรับการศึกษาด้วยตนเองและเพื่อเตรียมสอบ
ฉันต้องการหนังสือทฤษฎีออโตมาตะ จำกัด พร้อมตัวอย่างมากมายที่ฉันสามารถใช้สำหรับการศึกษาด้วยตนเองและเพื่อเตรียมสอบ
คำตอบ:
การอ้างอิงแบบคลาสสิกคือ "ความรู้เบื้องต้นเกี่ยวกับทฤษฎีออโตมาตาภาษาและการคำนวณ " (โดย Hopcroft, Motwani และ Ullman) บางคนยังแนะนำ " ภาษาทางการและความสัมพันธ์กับออโตมาตา " ที่เก่ากว่ามาก(โดย Hopcroft และ Ullman)
อย่างไรก็ตามฉันเช่น " รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณ " (โดย Sipser) มันเขียนได้ดีมากและเป็นหนังสือที่ค่อนข้างใหม่
ฉันมีจุดอ่อนสำหรับAutomata & Computabilityโดย Dexter Kozen ( สารบัญและบทตัวอย่าง [PS]) มันค่อนข้างละเอียดและครอบคลุมหัวข้อขั้นสูงที่น่าสนใจจริงๆ หลักฐานเป็นทางการและชัดเจนและสัญกรณ์และการจัดรูปแบบน่ารัก สิ่งสำคัญที่สุดคือการออกกำลังกายเป็นเลิศดังนั้นขึ้นอยู่กับระดับของการสอบของคุณมันจะเป็นวัสดุการศึกษาที่ดี
สิ่งที่ฉันใช้มากที่สุดสำหรับหลักสูตรของฉันคือองค์ประกอบของทฤษฎีออโตมาตาโดย Jacques Sakarovitch สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ปี 2009 ขอบเขตของมันอาจจะแตกต่างจากคนอื่นเล็กน้อย และการถ่ายโอน และมีแบบฝึกหัดมากมาย
"Combinatorics กับคำพูด" โดย Lothaire, 2004
มันอยู่ไกลและชื่นชอบที่สุด ตัวอย่างมากมายและสร้างขึ้นจากพื้นฐานขั้นพื้นฐานไปจนถึงแอพพลิเคชั่นออโตมาตะที่น่าสนใจเช่นการรู้จำเสียงอัตโนมัติด้วยตัวแปลงสัญญาณไฟไนต์ จำกัด รัฐและหัวข้อในชีวสารสนเทศศาสตร์
เหนือสิ่งอื่นใดมันฟรีให้ดาวน์โหลดและยังมีชุดโซลูชัน:
"การแก้ปัญหาใน Automata, ภาษาและความซับซ้อน" โดย Du-Ko เป็นหนึ่งในรายการโปรดของฉันหลังจาก Sipser, HU และ Kozen มันมีคำตอบมากมายสำหรับปัญหา * rd ของ Kozen และ sipser พร้อมตัวอย่างมากมายและแบบฝึกหัดที่เกี่ยวข้อง มีประโยชน์เป็นพิเศษสำหรับการเตรียมสอบ
ฉันไม่แน่ใจว่านี่เป็นหนังสือที่ดีที่สุดในการเตรียมตัวสอบ แต่เป็นหนังสือ
จำกัด ออโตมาตะ; พฤติกรรมและการสังเคราะห์โดย BA Trakhtenbrot และ Ya. M. Barzdinʹ
ค่อนข้างดี มีผลลัพธ์ที่ยอดเยี่ยมอย่างน่าประหลาดใจที่ฉันพบว่ามีประโยชน์เป็นพิเศษในการวิจัย
ความรู้เบื้องต้นเกี่ยวกับภาษาและทฤษฎีการคำนวณ
John C. Martin
ฉันขอแนะนำหนังสือเล่มนี้สำหรับผู้เริ่มต้นและเป็นตัวเลือกที่สมบูรณ์แบบสำหรับคนที่กำลังมองหาตัวอย่างมากมาย
ฉันเพลิดเพลินไปกับบันทึกการบรรยายต่อไปนี้โดย Jarkko Kari: http://users.utu.fi/jkari/automata/
สรุปหลักสูตรโดยย่อ:
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 และ C.Papadimitriou เป็นการแนะนำอย่างดีเกี่ยวกับทฤษฎีออโตมาตะ
จาก Simple Machines ไปยังโปรแกรมที่เป็นไปไม่ได้
มันครอบคลุมเนื้อหามากมายซึ่งรวมถึงทฤษฎีออโตมาตะ ตัวอย่างนำเสนอในรูบีและพวกเขาก็ค่อนข้างเข้าใจง่าย คุณอาจต้องการหนังสือเล่มอื่นหากคุณต้องการเจาะลึกลงไปในเชิงทฤษฎี แต่หนังสือเล่มนี้ดีมากในการเรียนรู้พื้นฐาน
"ภาษาอย่างเป็นทางการและทฤษฎีออโตมาตา" โดย AA Puntambekar เป็นหนังสือที่ดีที่สุดสำหรับตัวอย่างที่ได้รับการแก้ไข หนังสือส่วนใหญ่มีเพียงตัวอย่างที่แก้ไขแล้วและทฤษฎีเล็กน้อย มันเป็นการดีที่จะผ่านการสอบ