Normal view MARC view ISBD view

พงศ์พันธ์ กิจสนาโยธิน

ทฤษฎีการคำนวณ รูปแบบการคำนวญและทฤษฎีที่เกี่ยวข้อง - พิมพ์ครั้งที่ 2 - พิษณุโลก: สำนักพิมพ์มหาวิทยาลัยนเรศวร 2564 - 198 หน้า ภาพประกอบ 26 ซม.

พื้นฐาน -- เซต -- ลำดับและคู่ลำดับ -- ฟังก์ชันและความสัมพันธ์ -- กราฟ -- คำและภาษา -- การอุปนัยเชิงคณิตศาสตร์ -- เครื่องสถานะจำกัด -- นิยายพื้นฐานของเครื่องสถานะจำกัด -- เครื่องสถานะจำกัดเชิงไม่กำหนด -- ภาษาของเครื่องสถานะจำกัดเชิงไม่กำหนด -- การเท่ากันของเครื่องสถานะจำกัดเชิงกำหนดและเชิงไม่กำหนด -- เครื่องสถานะจำกัดเชิงไม่กำหนดแบบรองรับ E -- การเท่ากันของเครื่องสถานะจำกัดเชิงไม่กำหนดทั้งสองประเภท -- ภาษาพื้นฐาน-- นิพจน์พื้นฐาน -- การเท่ากันของนิพจน์พื้นฐานและเครื่องสถานะจำกัด -- การพิสูจน์ว่าไม่ใช่ภาษาพื้นฐาน -- ตัวดำเนินการปิดสำหรับภาษาพื้นฐาน -- การตรวจสอบความเท่าเทียมของภาษาพื้นฐาน -- ภาษาที่ไม่มีบริบท -- การแปลงและภาษาของไวยากรณ์ -- ความสับสนของไวยากรณ์ -- ไวยากรณ์สำหรับภาษาพื้นฐาน -- ไวยากรณ์ที่ไม่มีบริบท -- รูปแบบการแสดงไวยากรณ์ -- เครื่องสถานะจำกัดแบบดันลง -- เครื่องสถานะจำกัดแบบดันลงเชิงกำหนด -- เครื่องสถานะจำกัดแบบดันลงเชิงไม่กำหนด -- ความเท่าเทียมกันระหว่างไวยากรณ์ที่ไม่มีบริบทกับเครื่องสถานะจำกัดแบบดันลง -- คุณสมบัติของภาษาที่ไม่มีบริบท -- เครื่องจักรทัวร์ริ่ง - การนิยามรูปนัยสำหรับเครื่องจักรท้ัวร์ริ่ง -- ประเภทของเครื่องจักรทัวร์ริ่ง -- การนิยามรูปนัยสำหรับกระบวนการแก้ปัญหา

ISBN: 9786164261969

Subjects--Topical Terms:
การคำนวณของคอมพิวเตอร์
ทฤษฎีเครื่องจักรคำนวณ

LC Class. No.: QA 76.9.M35 / พ132ท 2564