คำถามติดแท็ก computation-models

เมื่อไม่นานมานี้ฉันได้อ่านเกี่ยวกับแคลคูลัสแลมบ์ดา แต่ฉันไม่สามารถหาคำอธิบายได้ว่าทำไมมันจึงเรียกว่า "แลมบ์ดา" หรือที่มาของนิพจน์ มีใครอธิบายต้นกำเนิดของคำศัพท์นี้ได้บ้าง

73 terminology  computation-models  lambda-calculus  history 

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

68 turing-machines  computation-models 

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

54 algorithms  turing-machines  automata  computation-models 

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

52 quantum-computing  turing-machines  computation-models 

เมื่อพิจารณาว่าโปรแกรมของเราเป็นมิตรกับหลายเธรดทีมของฉันงงงวยว่ามีอะไรที่ไม่สามารถทำได้บน CPU แบบคอร์เดียวอย่างแน่นอน ฉันโพสต์ว่าการประมวลผลกราฟิกต้องใช้การประมวลผลแบบขนานอย่างหนาแน่น แต่พวกเขาอ้างว่าสิ่งต่างๆเช่น DOOM ทำบน CPU แบบ single-core ที่ไม่มี GPU มีอะไรที่ต้องทำในตัวประมวลผลแบบมัลติคอร์หรือไม่? สมมติว่ามีเวลาไม่สิ้นสุดสำหรับการพัฒนาและการทำงาน

45 computation-models  cpu  multi-tasking 

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

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

คลาสสิกมี 3 วิธีที่เป็นที่นิยมในการคิดเกี่ยวกับการคำนวณ: เครื่องทัวริง, วงจรและแลมบ์ดา - แคลคูลัส (ฉันใช้นี่เป็นตัวจับสำหรับมุมมองการทำงานส่วนใหญ่) ทั้งสามวิธีมีผลคิดวิธีต่าง ๆ ปัญหาและเขตข้อมูลที่แตกต่างกันใช้ formulation ที่แตกต่างกันสำหรับเหตุผลนี้ เมื่อฉันทำงานกับการคำนวณควอนตัม แต่ฉันเคยคิดถึงรูปแบบวงจรเท่านั้น แต่เดิม QC ถูกกำหนดในแง่ของเครื่องทัวริงควอนตัมแต่เท่าที่ฉันเข้าใจความหมายนี้ (แม้ว่าเทียบเท่ากับวงจรควอนตัมถ้าทั้งสองสูตรอย่างระมัดระวัง) ไม่ได้เกือบเป็นผล สูตรที่ 3 (ในแง่ของแลมบ์ดา - แคลคูลัสหรือการตั้งค่าการทำงานที่คล้ายกัน) ฉันไม่คุ้นเคยอย่างสมบูรณ์ ดังนั้นคำถามของฉัน: คำจำกัดความที่มีประโยชน์ของควอนตัมแลมบ์ดา - แคลคูลัส (หรือกระบวนทัศน์การทำงานอื่น ๆ ) คืออะไร? ฟิลด์ QIP ใดที่ได้รับข้อมูลเชิงลึกที่ลึกซึ้งยิ่งขึ้นจากการใช้สูตรนี้แทนแบบจำลองวงจร หมายเหตุ ฉันรู้ว่าฉันไม่สนใจ formalisms นิยมอื่น ๆ เช่นเซลล์ออโต, RAM-รุ่น ฯลฯ ฉันยกเว้นเหล่านี้ส่วนใหญ่เป็นเพราะผมไม่ได้มีประสบการณ์กับความคิดในแง่ของรูปแบบเหล่านี้คลาสสิกให้อยู่คนเดียวquantumly ฉันยังทราบด้วยว่ามีทางเลือกยอดนิยมในการตั้งค่าควอนตัมเช่นการวัดตามโทโพโลยีและอะเดียแบติก ฉันไม่ได้พูดคุยกับพวกเขาเพราะฉันไม่คุ้นเคยกับคู่คลาสสิก

35 lambda-calculus  quantum-computing  reference-request  computation-models 

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

30 algorithms  terminology  computation-models  nondeterminism  randomness 

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

29 turing-machines  computability  computation-models 

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 

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

27 turing-machines  computation-models 

ต่อคำแนะนำของฉันกำลัง reposting นี้จากกองมากเกิน เมื่อเร็ว ๆ นี้ฉันกำลังคิดเกี่ยวกับปัญหาต่อไปนี้ พิจารณารหัสสำหรับมาตรฐาน "Hello world!" โปรแกรม: main() { printf("Hello World"); } ตอนนี้การเปลี่ยนแปลงใด ๆ ในรหัสนี้จะทำให้ไร้ประโยชน์อย่างสมบูรณ์ในความเป็นจริงการเปลี่ยนแปลงเกือบทุกครั้งจะป้องกันโค้ดจากการรวบรวม ตัวอย่างเช่น: main(5 { printf("Hello World"); } ตอนนี้กับคำถามจริง มีภาษาการเขียนโปรแกรมหรือไม่ที่มีการรวมกันของสัญลักษณ์ต่าง ๆ ซึ่งก็คือทุก ๆ นิพจน์มีเหตุผลหรือไม่? ฉันลองคิดถึงวิธีแก้ปัญหาบางอย่างแล้วคิดหาสองวิธี: Postfix ที่มีจำนวนตัวแปร จำกัด โดยพื้นฐานแล้วตัวแปรทั้งหมดจะถูกกำหนดไว้แล้วก่อนที่คุณจะเขียนโค้ดใด ๆ และคุณต้องทำงานกับมัน ในทางทฤษฎีคุณสามารถดำเนินการตามอำเภอใจได้โดยสร้างห่วงโซ่ของโปรแกรมง่าย ๆ โดยแต่ละโปรแกรมจะให้ผลลัพธ์แก่ผู้อื่น รหัสสามารถเขียนเป็นชุดอักขระในเครื่องหมาย postfix; "Postfix" พร้อมกับสแต็กของตัวแปร ตัวแปรจะถูกเก็บไว้ในสแต็ก ทุกการดำเนินการใช้สองตัวแปรจากด้านบนและวางผลลัพธ์ไว้ในตำแหน่งของพวกเขา โปรแกรมจะสิ้นสุดลงเมื่อถึงการดำเนินการหรือตัวแปรสุดท้าย ส่วนตัวฉันเกลียดทั้งสองอย่างนี้ ไม่เพียง แต่จะถูก …

23 programming-languages  computation-models 

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

21 computability  turing-machines  computation-models  halting-problem 

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

21 proof-techniques  computation-models  simulation 

เมื่อพิจารณาถึงรูปแบบการคำนวณของเครื่องจักรลำดับชั้นของ Chomsky นั้นมีลักษณะตามปกติ (ตามลำดับ), ออโตไฟไนต์, ออโตมาตาแบบกดลง, ออโตเมต้าที่มีขอบเขตเชิงเส้น สำหรับครั้งแรกและครั้งสุดท้ายในระดับที่1 (ภาษาที่ปกติและภาษานับซ้ำ) มันทำให้ความแตกต่างในการใช้พลังงานของรูปแบบไม่ว่าจะเป็นเครื่องที่เราพิจารณากำหนดหรือ nondeterministic ไม่มี DFAs คือเทียบเท่ากับ NFAs และเจเทียบเท่ากับ NTMs 2 อย่างไรก็ตามสำหรับ PDA และ LBAs สถานการณ์จะแตกต่างกัน พีดีเอที่กำหนดได้จะรับรู้ชุดของภาษาที่เล็กกว่าอย่างเข้มงวดกว่าพีดีเอที่กำหนดไว้ นอกจากนี้ยังเป็นคำถามเปิดที่สำคัญว่า LBA ที่กำหนดขึ้นมีประสิทธิภาพเท่ากับ LBA ที่ไม่ระบุชื่อหรือไม่ [1] สิ่งนี้จะถามคำถามของฉัน: มีรูปแบบของเครื่องที่แสดงลักษณะของภาษาที่ไม่มีบริบท แต่ไม่มีการกำหนดระดับใดที่ไม่เพิ่มพลังพิเศษ? (ถ้าไม่มีคุณสมบัติของ CFL ที่แนะนำเหตุผลสำหรับการนี้) ดูเหมือนว่าเป็นไปไม่ได้ (สำหรับฉัน) ที่จะพิสูจน์ได้ว่าภาษาที่ไม่มีบริบทต้องมีความไม่เชื่อในลัทธินิยม แต่อย่างใดแต่ดูเหมือนว่าจะไม่เป็นแบบจำลองเครื่อง คำถามส่วนขยายเหมือนกัน แต่สำหรับภาษาที่คำนึงถึงบริบท อ้างอิง S.-Y. Kuroda, "คลาสของภาษาและ Linear Bata Automata" , …

21 formal-languages  computability  context-free  computation-models  context-sensitive