<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>ทฤษฎีการคำนวณ รูปแบบการคำนวญและทฤษฎีที่เกี่ยวข้อง</title>
  </titleInfo>
  <name type="personal">
    <namePart> พงศ์พันธ์ กิจสนาโยธิน</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">th</placeTerm>
    </place>
    <place>
      <placeTerm type="text">พิษณุโลก</placeTerm>
    </place>
    <publisher>สำนักพิมพ์มหาวิทยาลัยนเรศวร</publisher>
    <dateIssued>2564</dateIssued>
    <edition> พิมพ์ครั้งที่ 2</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">tha</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>198 หน้า  ภาพประกอบ 26 ซม.</extent>
  </physicalDescription>
  <tableOfContents>พื้นฐาน  -- เซต  -- ลำดับและคู่ลำดับ  -- ฟังก์ชันและความสัมพันธ์ -- กราฟ  -- คำและภาษา -- การอุปนัยเชิงคณิตศาสตร์ -- เครื่องสถานะจำกัด -- นิยายพื้นฐานของเครื่องสถานะจำกัด -- เครื่องสถานะจำกัดเชิงไม่กำหนด  -- ภาษาของเครื่องสถานะจำกัดเชิงไม่กำหนด -- การเท่ากันของเครื่องสถานะจำกัดเชิงกำหนดและเชิงไม่กำหนด -- เครื่องสถานะจำกัดเชิงไม่กำหนดแบบรองรับ E  -- การเท่ากันของเครื่องสถานะจำกัดเชิงไม่กำหนดทั้งสองประเภท  -- ภาษาพื้นฐาน-- นิพจน์พื้นฐาน  -- การเท่ากันของนิพจน์พื้นฐานและเครื่องสถานะจำกัด  -- การพิสูจน์ว่าไม่ใช่ภาษาพื้นฐาน  -- ตัวดำเนินการปิดสำหรับภาษาพื้นฐาน  -- การตรวจสอบความเท่าเทียมของภาษาพื้นฐาน -- ภาษาที่ไม่มีบริบท  -- การแปลงและภาษาของไวยากรณ์  -- ความสับสนของไวยากรณ์  -- ไวยากรณ์สำหรับภาษาพื้นฐาน -- ไวยากรณ์ที่ไม่มีบริบท  -- รูปแบบการแสดงไวยากรณ์ -- เครื่องสถานะจำกัดแบบดันลง  -- เครื่องสถานะจำกัดแบบดันลงเชิงกำหนด  -- เครื่องสถานะจำกัดแบบดันลงเชิงไม่กำหนด -- ความเท่าเทียมกันระหว่างไวยากรณ์ที่ไม่มีบริบทกับเครื่องสถานะจำกัดแบบดันลง -- คุณสมบัติของภาษาที่ไม่มีบริบท  -- เครื่องจักรทัวร์ริ่ง - การนิยามรูปนัยสำหรับเครื่องจักรท้ัวร์ริ่ง  -- ประเภทของเครื่องจักรทัวร์ริ่ง  -- การนิยามรูปนัยสำหรับกระบวนการแก้ปัญหา </tableOfContents>
  <subject>
    <topic>การคำนวณของคอมพิวเตอร์</topic>
  </subject>
  <subject>
    <topic>ทฤษฎีเครื่องจักรคำนวณ</topic>
  </subject>
  <classification authority="lcc">QA 76.9.M35  พ132ท 2564</classification>
  <identifier type="isbn">9786164261969</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">TH-BaNU</recordContentSource>
    <recordCreationDate encoding="marc">210922</recordCreationDate>
    <recordChangeDate encoding="iso8601">20210922142612.0</recordChangeDate>
  </recordInfo>
</mods>
