Turing machines are basic abstract

Turing machines are basic abstract symbol-manipulating devices which, despite their simplicity, can be adapted to simulate the logic of any computer algorithm. They were described in 1936 by Alan Turing. Turing machines are not intended as a practical computing technology, but a thought experiment about the limits of mechanical computation. Thus they were not actually constructed. Studying their abstract properties yields many insights into computer science and complexity theory.
A Turing machine that is able to simulate any other Turing machine is called a Universal Turing machine (UTM, or simply a universal machine). A more mathematically-oriented definition with a similar "universal" nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory of computation known as the Church-Turing thesis. The thesis states that Turing machines indeed capture the informal notion of effective method in logic and mathematics, and provide a precise definition of an algorithm or 'mechanical procedure'.

ผลลัพธ์ (ไทย) 1:

เครื่องจักรทัวริงเป็นพื้นฐานนามธรรมสัญลักษณ์การจัดการอุปกรณ์ซึ่ง ดัดแปลงเพื่อจำลองตรรกะของอัลกอริทึมคอมพิวเตอร์ใด ๆ แม้ มีความเรียบง่ายของพวกเขา พวกเขาถูกอธิบายในปี 1936 โดยอลันทัวริง เครื่องจักรทัวริงไม่มีเช่นเทคโนโลยีคอมพิวเตอร์ปฏิบัติการ แต่ความคิดทดลองเกี่ยวกับขีดจำกัดของการคำนวณทางกล ดังนั้น พวกเขาก็ไม่สร้างขึ้น ศึกษาคุณสมบัติของนามธรรมผลลึกหลายทฤษฎีวิทยาศาสตร์และความซับซ้อนของคอมพิวเตอร์เครื่องจักรทัวริงที่สามารถจำลองเครื่องทัวริงอื่น ๆ เรียกว่าเครื่องจักรทัวริงสากล (UTM หรือเพียงแค่เครื่องจักรสากล) คำนิยามที่เน้นทางคณิตศาสตร์มากขึ้น มีมีลักษณะคล้าย "สากล" ถูกนำมาใช้ โดยอลอนโซเชิร์ช แคลคูลัสแลมบ์ดาที่มีงานเกี่ยวพันกับของทัวริงในทางทฤษฎีการคำนวณที่เรียกว่าวิทยานิพนธ์เชิร์ชทัวริง นิพนธ์แจ้งว่า เครื่องจักรทัวริงจริงจับความคิดที่ไม่เป็นทางการของวิธีที่มีประสิทธิภาพในตรรกะและคณิตศาสตร์ และให้คำจำกัดความแม่นยำของอัลกอริทึมหรือ 'กระบวนการเชิงกล'

ผลลัพธ์ (ไทย) 2:

เครื่องจักรทัวริงเป็นนามธรรมพื้นฐานสัญลักษณ์การจัดการอุปกรณ์ซึ่งแม้จะมีความเรียบง่ายของพวกเขาสามารถนำมาปรับเพื่อจำลองตรรกะของอัลกอริทึมคอมพิวเตอร์ใด ๆ พวกเขาได้อธิบายไว้ในปี 1936 โดยอลันทัวริง เครื่องจักรทัวริงไม่ได้มีเจตนาเป็นเทคโนโลยีการประมวลผลในทางปฏิบัติ แต่ทดลองทางความคิดเกี่ยวกับการ จำกัด ของการคำนวณทางกล ดังนั้นพวกเขาไม่ได้สร้างจริง ศึกษาคุณสมบัติของพวกเขาผลตอบแทนถัวเฉลี่ยที่เป็นนามธรรมข้อมูลเชิงลึกจำนวนมากในวิทยาการคอมพิวเตอร์และทฤษฎีความซับซ้อน
เครื่องทัวริงที่สามารถจำลองเครื่องทัวริงอื่น ๆ ที่เรียกว่ายูนิเวอร์แซเครื่องทัวริง (UTM หรือเพียงแค่เครื่องสากล) ความหมายมากขึ้นทางคณิตศาสตร์ที่มุ่งเน้นการมีธรรมชาติคล้าย "สากล" ได้รับการแนะนำให้รู้จักกับอลองโซคริสตจักรที่มีผลงานในแลมบ์ดาแคลคูลัสพันกับทัวริง ' ในทฤษฎีอย่างเป็นทางการของการคำนวณที่รู้จักกันเป็นวิทยานิพนธ์โบสถ์ทัวริง วิทยานิพนธ์ระบุว่าเครื่องทัวริงแน่นอนจับความคิดทางการของวิธีที่มีประสิทธิภาพในตรรกะและคณิตศาสตร์และให้ความหมายที่ถูกต้องของขั้นตอนวิธีหรือขั้นตอนกล '

ผลลัพธ์ (ไทย) 3:

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