การสอนทฤษฎี Automata

Automata Theoryเป็นสาขาหนึ่งของวิทยาการคอมพิวเตอร์ที่เกี่ยวข้องกับการออกแบบอุปกรณ์คอมพิวเตอร์ที่ขับเคลื่อนด้วยตัวเองแบบนามธรรมซึ่งเป็นไปตามลำดับการทำงานที่กำหนดไว้ล่วงหน้าโดยอัตโนมัติ หุ่นยนต์ที่มีสถานะจำนวน จำกัด เรียกว่า aFinite Automaton. นี่คือบทช่วยสอนสั้น ๆ และกระชับที่แนะนำแนวคิดพื้นฐานของ Finite Automata, Regular Languages ​​และ Pushdown Automata ก่อนที่จะย้ายไปยัง Turing Machines และ Decidability

บทช่วยสอนนี้จัดทำขึ้นสำหรับนักเรียนที่สำเร็จการศึกษาระดับปริญญาในสาขาเทคโนโลยีสารสนเทศหรือวิทยาการคอมพิวเตอร์ พยายามช่วยให้นักเรียนเข้าใจแนวคิดสำคัญที่เกี่ยวข้องกับทฤษฎีออโตมาตา

บทช่วยสอนนี้มีความสมดุลที่ดีระหว่างทฤษฎีและความเข้มงวดทางคณิตศาสตร์ ผู้อ่านคาดว่าจะมีความเข้าใจพื้นฐานเกี่ยวกับโครงสร้างทางคณิตศาสตร์ที่ไม่ต่อเนื่อง