1. Turing machine หรือ เครื่องจักรทัวริง

2. เครื่องจักรทัวริงอธิบายครั้งแรกโดย อลันทัวริง ใน ( ทัวริง 1937), ได้ง่ายอุปกรณ์คอมพิวเตอร์บทคัดย่อวัตถุประสงค์เพื่อช่วยตรวจสอบขอบเขตและข้อ จำกัด ของสิ่งที่สามารถคำนวณ ทัวริงเขียนก่อนคอมพิวเตอร์ประดิษฐ์ทันสมัยดิจิตอลที่เป็นที่สนใจของคำถามที่ว่ามันหมายถึงการคำนวณ . หยั่งรู้งานจะคำนวณได้หากสามารถระบุงานลำดับของคำสั่งที่เมื่อไปจะส่งผลในการสำเร็จ คำสั่งดังกล่าวชุดเรียกว่าวิธีการที่มีประสิทธิภาพหรือวิธีสำหรับงาน สัญชาติญาณนี้จะต้องทำอย่างแม่นยำด้วยการกำหนดความสามารถของคำแนะนำอุปกรณ์ที่จะดำเนินการออก อุปกรณ์มีความสามารถที่แตกต่างกันอาจจะสมบูรณ์ชุดการสอนที่แตกต่างกันจึงอาจส่งผลในชั้นเรียนแตกต่างกันของงานคำนวณ ( ดูในรายการ คำนวณและซับซ้อน )

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

4. 1 เครื่องความหมายของทัวริง 1.1 ความหมายเป็นทางการ 2 อธิบายทัวริงเครื่อง 2.1 ตัวอย่าง 2.2 คำอธิบายทันทีการคำนวณ 3 พันธุ์ทัวริงเครื่อง 4 สิ่งที่สามารถคำนวณ 5 สิ่งที่ไม่สามารถคำนวณ 5.1 Busy Beaver 5.2 ปัญหาที่เป็นง่อย 6 สูตรทางเลือกของการคำนวณ 6.1 ฟังก์ชันแบบกล่าวซ้ำ 6.2 เครื่อง Abacus 7 จำกัด เครื่องทัวริง บรรณานุกรม Internet ทรัพยากรอื่นๆ รายการที่เกี่ยวข้อง

5. เครื่องความหมายของทัวริง เครื่องจักรทัวริงเป็นเครื่องชนิดของรัฐ ตลอดเวลาเครื่องอยู่ ในสถานะใด จำกัด จำนวน คำแนะนำสำหรับเครื่องทัวริงประกอบด้วยในเงื่อนไขตามที่เครื่องจะเปลี่ยนระหว่างหนึ่งรัฐและอื่น เครื่องจักรทัวริงมีเทปหนึ่งมิติอนันต์แบ่งเซลล์ เดิมเราคิดว่าการปฐมนิเทศเทปว่าเป็นแนวนอนกับเซลล์จัดขวาซ้ายใน เทปมีปลายที่ด้านซ้ายพูดและเหยียดอนันต์ไกลไปทางขวา แต่ละเซลล์สามารถมีหนึ่งสัญลักษณ์ทั้ง '0' หรือ '1' เครื่องมีหัวอ่านเขียนที่ได้ตลอดเวลาสแกนเซลล์เดียวในเทป นี้อ่านเขียนหัวสามารถย้ายซ้ายและขวาพร้อมเทปให้สแกนเซลล์ต่อเนื่อง การทำงานของเครื่องทัวริงจะถูกกำหนดอย่างสมบูรณ์โดย ( 1) สถานะปัจจุบันของเครื่องและ (2 หัว ) สัญลักษณ์ในเซลล์ปัจจุบันถูกสแกน ( 3) โปรแกรมตารางการเปลี่ยนแปลงของกฎระเบียบที่เป็น "" สำหรับเครื่อง

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