TY  - BOOK
AU  - พงศ์พันธ์ กิจสนาโยธิน
TI  - ทฤษฎีการคำนวณ  รูปแบบการคำนวญและทฤษฎีที่เกี่ยวข้อง
SN  - 9786164261969
AV  - QA 76.9M35 พ132ท 2564
PY  - 2564///
CY  - พิษณุโลก
PB  - สำนักพิมพ์มหาวิทยาลัยนเรศวร
KW  - การคำนวณของคอมพิวเตอร์
KW  - ทฤษฎีเครื่องจักรคำนวณ
N1  - พื้นฐาน หน้า 1 -- เซต หน้า 1-2 -- ลำดับและคู่ลำดับ หน้า 3-5 -- ฟังก์ชันและความสัมพันธ์ หน้า 6 -- กราฟ หน้า 7-8 -- คำและภาษา หน้า 9 -- การอุปนัยเชิงคณิตศาสตร์ หน้า 10-16 -- เครื่องสถานะจำกัด หน้า 17-19 -- นิยายพื้นฐานของเครื่องสถานะจำกัด หน้า 20-31 -- เครื่องสถานะจำกัดเชิงไม่กำหนด หน้า 32-33 -- ภาษาของเครื่องสถานะจำกัดเชิงไม่กำหนด หน้า 34-42 -- การเท่ากันของเครื่องสถานะจำกัดเชิงกำหนดและเชิงไม่กำหนด หน้า 43-49 -- เครื่องสถานะจำกัดเชิงไม่กำหนดแบบรองรับ E หน้า 50-57 -- การเท่ากันของเครื่องสถานะจำกัดเชิงไม่กำหนดทั้งสองประเภท หน้า 58-65 -- ภาษาพื้นฐาน หน้า 67 -- นิพจน์พื้นฐาน หน้า 68-71 -- การเท่ากันของนิพจน์พื้นฐานและเครื่องสถานะจำกัด หน้า 72-82 -- การพิสูจน์ว่าไม่ใช่ภาษาพื้นฐาน หน้า 83-91 -- ตัวดำเนินการปิดสำหรับภาษาพื้นฐาน หน้า 92-94 -- การตรวจสอบความเท่าเทียมของภาษาพื้นฐาน หน้า 95-97 -- ภาษาที่ไม่มีบริบท หน้า 101-103 -- การแปลงและภาษาของไวยากรณ์ หน้า 104-108 -- ความสับสนของไวยากรณ์ หน้า 109-111 -- ไวยากรณ์สำหรับภาษาพื้นฐาน หน้า 112-118 -- ไวยากรณ์ที่ไม่มีบริบท หน้า 119-121 -- รูปแบบการแสดงไวยากรณ์ หน้า 122-129 -- เครื่องสถานะจำกัดแบบดันลง หน้า 133 -- เครื่องสถานะจำกัดแบบดันลงเชิงกำหนด หน้า 133-144 -- เครื่องสถานะจำกัดแบบดันลงเชิงไม่กำหนด หน้า 145-147 -- ความเท่าเทียมกันระหว่างไวยากรณ์ที่ไม่มีบริบทกับเครื่องสถานะจำกัดแบบดันลง หน้า 148-159 -- คุณสมบัติของภาษาที่ไม่มีบริบท หน้า 160-171 -- เครื่องจักรทัวร์ริ่ง หน้า 173 -- การนิยามรูปนัยสำหรับเครื่องจักรท้ัวร์ริ่ง หน้า 174-182 -- ประเภทของเครื่องจักรทัวร์ริ่ง หน้า 183-193 -- การนิยามรูปนัยสำหรับกระบวนการแก้ปัญหา หน้า 194-197
ER  -