คำถามติดแท็ก turing-machines

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

68 turing-machines  computation-models 

เรารู้ว่าปัญหาการหยุดชะงัก (ในเครื่องทัวริง) นั้นไม่สามารถระบุได้สำหรับเครื่องทัวริง มีการวิจัยว่าจิตใจมนุษย์สามารถจัดการกับปัญหานี้ได้ดีเพียงใดโดยได้รับความช่วยเหลือจากเครื่องทัวริงหรือคอมพิวเตอร์วัตถุประสงค์ทั่วไป หมายเหตุ : เห็นได้ชัดว่าในความหมายที่เข้มงวดที่สุดคุณสามารถปฏิเสธได้เสมอเพราะมีเครื่องจักรทัวริงขนาดใหญ่มากจนไม่สามารถอ่านได้ในช่วงชีวิตของมนุษย์เพียงคนเดียว แต่นี่เป็นข้อ จำกัด ที่ไร้สาระซึ่งไม่ได้นำไปสู่คำถามที่แท้จริง ดังนั้นในการสร้างสิ่งต่าง ๆ เราต้องสมมติว่ามนุษย์มีช่วงชีวิตโดยพลการ ดังนั้นเราจึงสามารถถามได้: เนื่องจาก Turing Machine T แสดงในรูปแบบที่เหมาะสมใด ๆ มนุษย์ H ที่มีอายุยืนโดยพลการและบัฟเฟอร์จำนวนหนึ่ง (เช่นกระดาษ + ปากกา) โดยพลการ H สามารถตัดสินใจได้ว่า T หยุดคำที่ว่างเปล่าหรือไม่ ข้อสรุป: หากคำตอบคือใช่จะไม่ตัดสินด้วยหรือไม่หากคอมพิวเตอร์เครื่องใดมีโอกาสผ่านการทดสอบทัวริง

60 computability  turing-machines  halting-problem  human-computing 

มีชุดภาษาการเขียนโปรแกรมที่สร้างขึ้นในภาษาการเขียนโปรแกรมเพื่อให้ถือว่าเป็นทัวริงสมบูรณ์หรือไม่ จากสิ่งที่ฉันสามารถบอกได้จากวิกิพีเดียภาษาต้องสนับสนุนการเรียกซ้ำหรือดูเหมือนว่าจะต้องสามารถทำงานได้โดยไม่หยุด ทั้งหมดนี้มีไว้เพื่อมันหรือไม่?

55 computability  programming-languages  turing-machines  turing-completeness 

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

54 algorithms  turing-machines  automata  computation-models 

ในการคำนวณควอนตัมแบบจำลองเทียบเท่าของทัวริงคืออะไร เป็นที่ชัดเจนสำหรับฉันว่าวงจรควอนตัมสามารถสร้างขึ้นจากประตูควอนตัมได้อย่างไร แต่เราจะกำหนดเครื่องควอนตัมทัวริง (QTM) ที่สามารถได้รับประโยชน์จากผลกระทบเชิงควอนตัมจริง ๆ แล้ว

52 quantum-computing  turing-machines  computation-models 

ในคำตอบนี้มีการกล่าวถึง ภาษาปกติสามารถรับรู้โดยหุ่นยนต์ จำกัด ภาษาบริบทฟรีต้องมีกองและบริบทภาษามีความละเอียดอ่อนต้องใช้สองกอง (ซึ่งเทียบเท่ากับบอกว่ามันต้องใช้เครื่องทัวริงเต็ม) ฉันต้องการทราบเกี่ยวกับความจริงของส่วนหนาด้านบน อันที่จริงมันเป็นจริงหรือไม่? อะไรคือวิธีที่ดีในการตอบคำถามนี้?

41 computability  turing-machines  automata  pushdown-automata 

มีเครื่องจักรเชิงทฤษฎีใดบ้างที่เกินขีดความสามารถของทัวริงในบางพื้นที่หรือไม่?

39 computability  turing-machines  hypercomputation 

ฉันเห็นว่าคำจำกัดความส่วนใหญ่ของสิ่งที่จะเป็นทัวริงที่สมบูรณ์นั้นเป็นเรื่องธรรมดาจนถึงระดับหนึ่ง ตัวอย่างเช่นหากคุณ Google "สิ่งที่ทำให้ทัวริงสมบูรณ์หมายถึง" คุณจะได้รับ: คอมพิวเตอร์ทัวริงสมบูรณ์หากสามารถแก้ปัญหาที่เครื่องทัวริงสามารถ ... ในขณะที่มันถูกกำหนดไว้เป็นอย่างดีว่าระบบต่าง ๆ ของทัวริงสมบูรณ์หรือไม่ แต่ฉันไม่ได้เห็นคำอธิบายถึงความหมาย / ผลที่ตามมาของการทำทัวริงให้สมบูรณ์ เครื่องจักรทัวริงทำอะไรได้บ้างโดยที่ไม่มีเครื่องที่ไม่ใช่ทัวริงที่สามารถทำงานแบบเดียวกันได้ ตัวอย่างเช่นคอมพิวเตอร์สามารถทำการคำนวณแบบง่าย ๆ ได้เช่น(1+5)/3=?กัน แต่เครื่องคิดเลขธรรมดาก็สามารถทำได้เช่นกันซึ่งไม่ใช่การทัวริงที่สมบูรณ์หากฉันถูกต้อง มีวิธีในการกำหนดความสามารถของทัวริงโดยไม่ต้องพูดว่า "การจำลองเครื่องทัวริงอื่น" ได้หรือไม่?

33 turing-machines  turing-completeness 

อลันทัวริงที่นำเสนอแบบจำลองสำหรับเครื่อง (เครื่องทัวริง TM) ซึ่งคำนวณ (ตัวเลขฟังก์ชั่น, ฯลฯ ) และได้รับการพิสูจน์ลังเลทฤษฎีบท TM เป็นแนวคิดที่เป็นนามธรรมของเครื่อง (หรือเครื่องยนต์ถ้าคุณต้องการ) ทฤษฎีบท Halting เป็นผลลัพธ์ที่เป็นไปไม่ได้ Carnot Engine (CE) เป็นแนวคิดที่เป็นนามธรรมของเครื่องยนต์ความร้อนและ Carnot พิสูจน์ทฤษฎีบท Carnotซึ่งเป็นไปไม่ได้อีกประการหนึ่งที่เกี่ยวข้องกับเทอร์โมไดนามิกของเอนโทรปี ระบุว่า TM สามารถใช้งานได้จริง (อย่างน้อยเท่ากับ CE หรืออาจจะไม่?) มีการทำแผนที่หรือการแสดงหรือ "isomorphism" ของ TM หรือ CE ซึ่งสามารถรวมผลลัพธ์เหล่านี้เข้าด้วยกัน มีสูตรสูตรของ TM และทฤษฎีบท Halting ในแง่ของทฤษฎีข้อมูลอัลกอริทึม (เช่น Chaitin, Kolmogorov ฯลฯ ) และเอนโทรปี (ในบริบทนั้น) คำถามถามถึงแนวคิดทางกายภาพของเอนโทรปี (ถ้าอยู่ในกระบวนการของเอนโทรปีของอัลกอริธึมที่อาจเกิดขึ้นมันก็ดี แต่มันไม่ใช่คำถามที่ถามอย่างแน่นอน) ท่านสามารถตรวจสอบอีกคำถามหนึ่งใน …

31 turing-machines  halting-problem  entropy 

ฉันจะผ่านการอภิปรายในคำถามวิธีการกำหนดเครื่องทัวริงควอนตัม? และฉันรู้สึกว่า quantum TM และnondetermistic TM นั้นเหมือนกัน คำตอบสำหรับคำถามอื่นไม่ได้สัมผัสกับสิ่งนั้น ทั้งสองรุ่นเป็นแบบเดียวกันหรือไม่ ถ้าไม่, ความแตกต่างระหว่างควอนตัม TM และ NDTM คืออะไร? มีการคำนวณใดที่ NDTM จะทำได้เร็วกว่า Quantum TM หรือไม่? หากเป็นกรณีนี้ quantum TM เป็น DTM แล้วทำไมมีฟัซซี่มากมายเกี่ยวกับเทคโนโลยีนี้เราจึงมี DTM มากมาย ทำไมต้องออกแบบ DTM ใหม่ในท้ายที่สุด

30 computability  turing-machines  quantum-computing  nondeterminism 

วิทยานิพนธ์ของโบสถ์ทัวริงระบุว่าทุกสิ่งที่สามารถคำนวณได้สามารถคำนวณได้ด้วยเครื่องทัวริง กระดาษ "การคำนวณแบบอะนาล็อกผ่านเครือข่ายประสาท" (Siegelmannn และ Sontag, วิทยาการคอมพิวเตอร์เชิงทฤษฎี , 131: 331–360, 1994; PDF ) อ้างว่าโครงข่ายประสาทเทียมของรูปแบบหนึ่ง (การตั้งค่านำเสนอในกระดาษ) มีประสิทธิภาพมากกว่า ผู้เขียนบอกว่าในเวลาชี้แจงรุ่นของพวกเขาสามารถรับรู้ภาษาที่ไม่สามารถคำนวณได้ในรูปแบบเครื่องทัวริง สิ่งนี้ขัดแย้งกับวิทยานิพนธ์ที่ทัวริสต์ของโบสถ์หรือไม่?

29 computability  turing-machines  church-turing-thesis 

ฉันพบคำสั่งด้านล่างโดยAlan M. Turing ที่นี่ : “ มุมมองที่ว่าเครื่องจักรไม่สามารถก่อให้เกิดความประหลาดใจได้เนื่องจากผมเชื่อว่าการเข้าใจผิดที่นักปรัชญาและนักคณิตศาสตร์เป็นเรื่องโดยเฉพาะนี่คือข้อสันนิษฐานว่าทันทีที่มีการนำเสนอข้อเท็จจริงในใจทันทีที่ความเป็นจริงเกิดขึ้น จิตใจพร้อมกันกับมันมันเป็นข้อสันนิษฐานที่มีประโยชน์มากในหลาย ๆ สถานการณ์ ฉันไม่ใช่คนพูดภาษาอังกฤษ มีใครอธิบายได้เป็นภาษาอังกฤษธรรมดาบ้างไหม

29 turing-machines  computability  computation-models 

ฉันกำลังอ่านหนังสือในขั้นตอนวิธีและความซับซ้อน ในขณะนี้ฉันกำลังอ่านเกี่ยวกับฟังก์ชันที่คำนวณและไม่คำนวณและหนังสือของฉันระบุว่ามีฟังก์ชั่นอื่น ๆ อีกมากมายที่ไม่สามารถคำนวณได้มากกว่าที่คำนวณได้ในความเป็นจริงส่วนใหญ่ไม่สามารถคำนวณได้ ในบางแง่ฉันสามารถยอมรับได้อย่างสังหรณ์ใจ แต่หนังสือเล่มนี้ไม่ได้ให้การพิสูจน์ที่เป็นทางการและไม่ได้อธิบายอย่างละเอียดในหัวข้อ ฉันแค่อยากจะเห็นหลักฐาน / ให้ใครบางคนที่นี่อย่างละเอียดเกี่ยวกับเรื่องนี้ / เข้าใจอย่างเข้มงวดมากขึ้นว่าทำไมมีฟังก์ชั่นที่ไม่สามารถคำนวณได้มากมายมากกว่าฟังก์ชั่นที่คำนวณได้

29 computability  turing-machines  combinatorics 

Wikipedia ตลอดจนแหล่งข้อมูลอื่น ๆ ที่ฉันได้พบรายการvoidประเภทC เป็นหน่วยประเภทซึ่งตรงข้ามกับประเภทที่ว่างเปล่า ฉันพบว่ามันสับสนเพราะฉันคิดว่าvoidเหมาะกับนิยามของประเภทที่ว่าง / ล่าง ไม่มีค่านิยมใด ๆ อยู่voidเท่าที่ฉันจะบอกได้ ฟังก์ชั่นที่มีประเภทคืนค่าเป็นโมฆะระบุว่าฟังก์ชั่นจะไม่ส่งคืนสิ่งใดดังนั้นจึงสามารถทำงานได้เพียงผลข้างเคียงเท่านั้น ตัวชี้ชนิดvoid*เป็นชนิดย่อยของชนิดตัวชี้อื่นทั้งหมด นอกจากนี้การแปลงไปยังและจากvoid*ใน C นั้นเป็นนัย ผมไม่แน่ใจว่าถ้าจุดสุดท้ายมีบุญใด ๆ ที่เป็นข้อโต้แย้งสำหรับvoidการเป็นประเภทที่ว่างเปล่าเป็นมากหรือน้อยเป็นกรณีพิเศษที่มีความสัมพันธ์ไม่มากที่จะvoid*void ในทางกลับกันvoidตัวมันเองไม่ใช่ประเภทย่อยของประเภทอื่นทั้งหมดซึ่งเท่าที่ฉันสามารถบอกได้ว่าเป็นข้อกำหนดสำหรับประเภทที่จะเป็นประเภทด้านล่าง

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

ปัญหาการหยุดชะงักระบุว่าไม่มีอัลกอริทึมที่จะตัดสินว่าโปรแกรมที่ให้หยุดทำงานหรือไม่ ดังนั้นควรมีโปรแกรมที่เราไม่สามารถบอกได้ว่าพวกเขาจะยุติหรือไม่ ตัวอย่างที่รู้จักกันง่ายที่สุด (เล็กที่สุด) ของโปรแกรมดังกล่าวคืออะไร

27 computability  turing-machines  halting-problem