000			04071nam a22002417a 4500
999			_c35635 _d35635
003			TH-BaNU
005			20210922142612.0
008			210922b2021 th ||||| |||| 00| 0 tha d
020			_a9786164261969
040			_aTH-BaNU
050			_aQA 76.9.M35 _bพ132ท 2564
100			_a พงศ์พันธ์ กิจสนาโยธิน
245			_aทฤษฎีการคำนวณ รูปแบบการคำนวญและทฤษฎีที่เกี่ยวข้อง
250			_a พิมพ์ครั้งที่ 2
260			_aพิษณุโลก: _bสำนักพิมพ์มหาวิทยาลัยนเรศวร _c2564
300			_a198 หน้า _bภาพประกอบ _c26 ซม.
505			_aพื้นฐาน -- เซต -- ลำดับและคู่ลำดับ -- ฟังก์ชันและความสัมพันธ์ -- กราฟ -- คำและภาษา -- การอุปนัยเชิงคณิตศาสตร์ -- เครื่องสถานะจำกัด -- นิยายพื้นฐานของเครื่องสถานะจำกัด -- เครื่องสถานะจำกัดเชิงไม่กำหนด -- ภาษาของเครื่องสถานะจำกัดเชิงไม่กำหนด -- การเท่ากันของเครื่องสถานะจำกัดเชิงกำหนดและเชิงไม่กำหนด -- เครื่องสถานะจำกัดเชิงไม่กำหนดแบบรองรับ E -- การเท่ากันของเครื่องสถานะจำกัดเชิงไม่กำหนดทั้งสองประเภท -- ภาษาพื้นฐาน-- นิพจน์พื้นฐาน -- การเท่ากันของนิพจน์พื้นฐานและเครื่องสถานะจำกัด -- การพิสูจน์ว่าไม่ใช่ภาษาพื้นฐาน -- ตัวดำเนินการปิดสำหรับภาษาพื้นฐาน -- การตรวจสอบความเท่าเทียมของภาษาพื้นฐาน -- ภาษาที่ไม่มีบริบท -- การแปลงและภาษาของไวยากรณ์ -- ความสับสนของไวยากรณ์ -- ไวยากรณ์สำหรับภาษาพื้นฐาน -- ไวยากรณ์ที่ไม่มีบริบท -- รูปแบบการแสดงไวยากรณ์ -- เครื่องสถานะจำกัดแบบดันลง -- เครื่องสถานะจำกัดแบบดันลงเชิงกำหนด -- เครื่องสถานะจำกัดแบบดันลงเชิงไม่กำหนด -- ความเท่าเทียมกันระหว่างไวยากรณ์ที่ไม่มีบริบทกับเครื่องสถานะจำกัดแบบดันลง -- คุณสมบัติของภาษาที่ไม่มีบริบท -- เครื่องจักรทัวร์ริ่ง - การนิยามรูปนัยสำหรับเครื่องจักรท้ัวร์ริ่ง -- ประเภทของเครื่องจักรทัวร์ริ่ง -- การนิยามรูปนัยสำหรับกระบวนการแก้ปัญหา
650			_aการคำนวณของคอมพิวเตอร์
650			_aทฤษฎีเครื่องจักรคำนวณ
850			_aKCNL
942			_2lcc _cGB
998			_cnuch