เครื่��องจักรื่ทัวรื่�งอธิ�บายครื่�งแรื่กโดย อลันทัวรื่�ง ใน (ทัวรื่�ง 1937),

ได�ง�ายอ�ปกรื่ณ์ คอมพิ�วเตอรื่ บทัคดย�อวตถุ�ปรื่ะสงค เพิ��อช่�วยตรื่วจัสอบขอบเขตแลัะข�อ จั)ากด ของส��งทั*�สามารื่ถุค)านวณ์ ทัวรื่�งเข*ยนก�อนคอมพิ�วเตอรื่ ปรื่ะด�ษฐ์ ทันสมยด�จั�ตอลัทั*�เป-นทั*�สนใจัของค)าถุามทั*�ว�ามนหมายถุ/งการื่ค)านวณ์ . หย�งรื่0 �งานจัะค)านวณ์ได�หากสามารื่ถุรื่ะบ�งานลั)าดบของค)าส�งทั*�เม��อไปจัะส�งผลัในการื่ส)าเรื่2จั ค)าส�งดงกลั�าวช่�ดเรื่*ยกว�าว�ธิ*การื่ทั*�ม*ปรื่ะส�ทัธิ�ภาพิหรื่�อว�ธิ*ส)าหรื่บงาน สญช่าต�ญาณ์น*�จัะต�องทั)าอย�างแม�นย)าด�วยการื่ก)าหนดความสามารื่ถุของค)าแนะน)าอ�ปกรื่ณ์ ทั*�จัะด)าเน�นการื่ออก อ�ปกรื่ณ์ ม*ความสามารื่ถุทั*�แตกต�างกนอาจัจัะสมบ0รื่ณ์ ช่�ดการื่สอนทั*�แตกต�างกนจั/งอาจัส�งผลัในช่�นเรื่*ยนแตกต�างกนของงานค)านวณ์ (ด0ในรื่ายการื่ ค)านวณ์แลัะซับซั�อน )

ทัวรื่�งเสนอเครื่��องคลัาสของอ�ปกรื่ณ์ ทั*�ให�มาเป-นทั*�รื่0 �จักกนเป-นทัวรื่�ง อ�ปกรื่ณ์ เหลั�าน*�น)าไปส0�ความค�ดอย�างเป-นทัางการื่ของการื่ค)านวณ์ว�าเรื่าจัะโทัรื่ทัวรื่�ง - ค)านวณ์ เรื่��องทั*�ความค�ดทัวรื่�งจับตรื่งแนวค�ดทั*�สรื่�างสรื่รื่ค ของการื่ม*ปรื่ะส�ทัธิ�ภาพิเรื่*ยกว�า - ทัวรื่�งฉบบครื่�สตจักรื่ . เรื่��องน*�เป-นสญช่าต�ญาณ์การื่เคลัมแลัะเก*�ยวกบรื่ะหว�างความสมพินธิ ทัางการื่แนวค�ดไม�สามารื่ถุพิ�ส0จัน ได�แม�ว�ามนจัะ refuted โดยยอมรื่บอย�างสงหรื่ณ์ ใจั ว�ธิ*การื่ทัวรื่�งเป-นงานทั*�ไม�ได� - ค)านวณ์ ทั*�ไม� counterexample ดงกลั�าวถุ0กพิบพิรื่�อมกบเป-นความจัรื่�งทั*�ว�า - ทัวรื่�งค)านวณ์เทั*ยบเทั�าก)าหนด notions อ�สรื่ะเพิ��อการื่ค)านวณ์ตามทัางเลั�อกบนพิ��นฐ์านเช่�น ฟั8งก ช่น recursive แลัะเครื่��อง abacus, รื่ะบ�ว�าม*อย�างน�อยส��งทั*�ธิรื่รื่มช่าต�เก*�ยวกบการื่ค)านวณ์น*�แนวค�ดของ เครื่��องจักรื่ทัวรื่�งไม�ได�ทัางวตถุ� แต�คนคณ์�ตศาสตรื่ เรื่าต�องไม�เตารื่*ดบดกรื่*หรื่�อช่�ปซั�ลั�คอนสรื่�างหน/�ง สถุาป8ตยกรื่รื่มอธิ�บายเพิ*ยงแลัะการื่กรื่ะทั)าทั*�อาจัด)าเน�นการื่โดยเครื่��องจัะง�ายแลัะรื่ะบ�อย�างไม�น�าสงสย ทัวรื่�งได�รื่บการื่ยอมรื่บว�าไม�จั)าเป-นต�องพิ0ดค�ยเก*�ยวกบเครื่��องด)าเน�นการื่กรื่ะทั)าของตน แต�เพิ*ยงทั*�จัะให�เป-นความค�ดค0�ทั*�เครื่��องสามารื่ถุด)าเน�นการื่กรื่ะทั)าทั*�รื่ะบ�แลัะว�าการื่กรื่ะทั)าเหลั�าน�นอาจัจัะอธิ�บายไม�ซั)�ากน

1 เครื่��องความหมายของทัวรื่�ง 1.1 ความหมายเป-นทัางการื่

2 อธิ�บายทัวรื่�งเครื่��อง

2.1 ตวอย�าง

2.2 ค)าอธิ�บายทันทั*การื่ค)านวณ์

3 พินธิ� ทัวรื่�งเครื่��อง

4 ส��งทั*�สามารื่ถุค)านวณ์

5 ส��งทั*�ไม�สามารื่ถุค)านวณ์

5.1 Busy Beaver 5.2 ป8ญหาทั*�เป-นง�อย

6 ส0ตรื่ทัางเลั�อกของการื่ค)านวณ์

6.1 ฟั8งก ช่นแบบกลั�าวซั)�า 6.2 เครื่��อง Abacus

7 จั)ากด เครื่��องทัวรื่�ง

บรื่รื่ณ์าน�กรื่ม

Internet ทัรื่พิยากรื่อ��นๆ รื่ายการื่ทั*�เก*�ยวข�อง

เครื่��องความหมายของทั�วรื่�ง เครื่��องจักรื่ทัวรื่�งเป-นเครื่��องช่น�ดของรื่ฐ์ ตลัอดเวลัาเครื่��องอย0�

ในสถุานะใด จั)ากด จั)านวน ค)าแนะน)าส)าหรื่บเครื่��องทัวรื่�งปรื่ะกอบด�วยในเง��อนไขตามทั*�เครื่��องจัะเปลั*�ยนรื่ะหว�างหน/�งรื่ฐ์แลัะอ��น เครื่��องจักรื่ทัวรื่�งม*เทัปหน/�งม�ต�อนนต แบ�งเซัลัลั เด�มเรื่าค�ดว�าการื่ปฐ์มน�เทัศเทัปว�าเป-นแนวนอนกบเซัลัลั จัดขวาซั�ายใน เทัปม*ปลัายทั*�ด�านซั�ายพิ0ดแลัะเหย*ยดอนนต ไกลัไปทัางขวา แต�ลัะเซัลัลั สามารื่ถุม*หน/�งสญลักษณ์ ทั�ง '0'หรื่�อ '1' เครื่��องม*หวอ�านเข*ยนทั*�ได�ตลัอดเวลัาสแกนเซัลัลั เด*ยวในเทัป น*�อ�านเข*ยนหวสามารื่ถุย�ายซั�ายแลัะขวาพิรื่�อมเทัปให�สแกนเซัลัลั ต�อเน��อง การื่ทั)างานของเครื่��องทัวรื่�งจัะถุ0กก)าหนดอย�างสมบ0รื่ณ์ โดย (1) สถุานะป8จัจั�บนของเครื่��องแลัะ (2 หว) สญลักษณ์ ในเซัลัลั ป8จัจั�บนถุ0กสแกน (3)

โปรื่แกรื่มตารื่างการื่เปลั*�ยนแปลังของกฎรื่ะเบ*ยบทั*�เป-น"" ส)าหรื่บเครื่��อง

ความหมายเป็�นทัางการื่ Talk of เทัป"แลัะ"อ�านเข*ยนหว"ม*วตถุ�ปรื่ะสงค เพิ��อช่�วยเหลั�อ (intution แลัะพิบบางอย�างในการื่เข*ยนครื่�งทั*�ทัวรื่�งได�) แต�เลั�นไม�ส)าคญในความหมายของเครื่��องจักรื่ทัวรื่�ง ในสถุานการื่ณ์ ทั*�การื่ว�เครื่าะห อย�างเป-นทัางการื่ของเครื่��องจักรื่ทัวรื่�งจัะต�องเป-นทั*�เหมาะสมในการื่สะกดออกโปรื่แกรื่มน�ยามของเครื่��องจักรื่แลัะในด�านคณ์�ตศาสตรื่ เพิ��มเต�ม หมดจัดอย�างเป-นทัางการื่เครื่��องอาจัจัะก)าหนดให�ปรื่ะกอบด�วย ต�งค�า จั)ากด ของรื่ฐ์ Q กบรื่ฐ์เรื่��มม*ช่��อเส*ยงเป-น จั)ากด ต�งสญลักษณ์ Σ