คำถามติดแท็ก terminology

หลังจากอ่านหลายแหล่งฉันยังคงสับสนเกี่ยวกับเธรดผู้ใช้และเคอร์เนลระดับ โดยเฉพาะอย่างยิ่ง: เธรดสามารถอยู่ได้ทั้งในระดับผู้ใช้และระดับเคอร์เนล อะไรคือความแตกต่างระหว่างระดับผู้ใช้และระดับเคอร์เนล?

33 operating-systems  terminology  concurrency  os-kernel 

ฉันเพิ่งเสร็จสิ้นบทแรกของบทนำสู่ทฤษฎีการคำนวณโดยMichael Sipserซึ่งอธิบายพื้นฐานของขอบเขตออโตมาตา เขากำหนดภาษาปกติเป็นสิ่งที่สามารถอธิบายได้ด้วยออโต้ จำกัด แต่ฉันไม่สามารถหาที่ที่เขาอธิบายได้ว่าทำไมภาษาปกติเรียกว่า "ปกติ" อะไรคือต้นกำเนิดของคำว่า "ปกติ" ในบริบทนี้ หมายเหตุ: ฉันเป็นสามเณรดังนั้นโปรดลองอธิบายอย่างง่าย ๆ !

31 formal-languages  regular-languages  terminology  finite-automata  history 

มีคำจำกัดความออนไลน์มากมายเกี่ยวกับไวยากรณ์ที่ปราศจากบริบท แต่ไม่มีอะไรที่ฉันพอใจคือปัญหาหลักของฉัน: บริบทใดที่ปราศจาก ในการตรวจสอบฉัน Googled "บริบทที่ไวต่อไวยากรณ์" แต่ฉันยังคงล้มเหลวในการค้นหาว่า "บริบท" เกี่ยวกับอะไร ใครช่วยกรุณาอธิบายสิ่งที่contextคำที่อ้างถึงในชื่อเหล่านี้?

30 terminology  context-free  formal-grammars 

คำอุปมาหรือตัวอย่างที่ดีในการอธิบายภาษาอังกฤษที่สำคัญแตกต่างระหว่างวิทยาการคอมพิวเตอร์แบบดั้งเดิมและ "การใช้ MS-Windows ได้ดี" วิทยาศาสตร์คอมพิวเตอร์ การเขียนโปรแกรมคอมพิวเตอร์ ใช้คอมพิวเตอร์ 3 สิ่งที่แตกต่างอย่างสุดซึ้ง คนส่วนใหญ่ไม่รู้ว่าวิทยาการคอมพิวเตอร์นั้นคืออะไร พวกเขาเห็นคำว่า "คอมพิวเตอร์" ดังนั้น "เขาเป็นวิชาเอกวิทยาศาสตร์คอมพิวเตอร์" สามารถตีความได้ว่า "เขาสามารถขอเครื่องพิมพ์ของฉัน" หรือว่าเขา "ดีกับคอมพิวเตอร์" แม้แต่คนที่น้อยก็รู้ถึงความแตกต่างระหว่างการเขียนโปรแกรมคอมพิวเตอร์และวิทยาการคอมพิวเตอร์ วิทยาการคอมพิวเตอร์เป็นทฤษฎีการคำนวณ CS สามารถเรียนรู้ได้โดยไม่ต้องใช้คอมพิวเตอร์จริง สถาปัตยกรรมไมโครซีพียู วิธีการเรียงลำดับหมายเลขวิธีการสำรวจรายการ ฯลฯ เครื่องสถานะ อัลกอริทึมใหญ่ (Oh) ฯลฯ วิธีการออกแบบภาษาโปรแกรมหรือคอมไพเลอร์ การเขียนโปรแกรมคือการเขียนโค้ดและสร้างแอปพลิเคชันในภาษาและคอมไพเลอร์ที่สร้างขึ้นโดยนักวิทยาศาสตร์คอมพิวเตอร์ สุดท้ายมีการใช้คอมพิวเตอร์ (ใช้ GUI, เมาส์และคีย์บอร์ด Internet, MS-Office, ฯลฯ ) ทั้งสามคนนี้ใช้แทนกันได้โดยอุปัฏฐาก คำเปรียบเทียบหรือตัวอย่างที่ดีในการอธิบายความแตกต่างระหว่างวิทยาศาสตร์คอมพิวเตอร์แบบคลาสสิคกับ "การใช้ MS-Windows ได้ดี" หรือเพียงแค่ตัวอย่างที่น่าสนใจว่าวิทยาการคอมพิวเตอร์ที่แท้จริงนั้นไม่เกี่ยวข้องกับการใช้ MS-Windows อย่างไร

30 terminology  education 

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

30 algorithms  terminology  computation-models  nondeterminism  randomness 

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

29 terminology  context-free  formal-grammars 

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 

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

28 terminology  reference-request  concurrency 

ฉันกำลังนำเสนอเกี่ยวกับเครื่องจักรทัวริงและฉันต้องการให้พื้นหลังของ FSM ก่อนที่จะแนะนำเครื่องจักรทัวริง ปัญหาคือฉันไม่รู้จริง ๆ ว่าอะไรแตกต่างกันมาก นี่คือสิ่งที่ฉันรู้ว่ามันแตกต่างกัน: FSM มีสถานะตามลำดับขึ้นอยู่กับเงื่อนไขที่ตรงกันในขณะที่เครื่องทัวริงทำงานบน "เทป" ที่ไม่มีที่สิ้นสุดพร้อมด้วยหัวที่อ่านและเขียน มีที่ว่างสำหรับความผิดพลาดใน FSM มากขึ้นเนื่องจากเราสามารถตกอยู่ในสถานะไม่สิ้นสุดได้อย่างง่ายดายในขณะที่มันไม่มากนักสำหรับเครื่องจักรทัวริง แต่นอกเหนือจากนั้นฉันไม่รู้ความแตกต่างที่มากขึ้นซึ่งทำให้ทัวริงเครื่องจักรดีกว่าของ FSM คุณช่วยฉันได้ไหม?

27 terminology  turing-machines  finite-automata  machine-models 

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

24 terminology  asymptotics  landau-notation 

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

24 terminology  logic  first-order-logic  propositional-logic 

ในบทความ CACM ที่ผ่านมา [1] ผู้เขียนนำเสนอการดำเนินงานสำหรับฟังก์ชั่นการจัดฉาก พวกเขาใช้คำศัพท์ราวกับว่าเป็นที่รู้จักกันดีและไม่มีการอ้างอิงใด ๆ ที่ดูเหมือนเป็นการแนะนำที่ชัดเจน พวกเขาให้คำอธิบายสั้น ๆ (เปลี่ยนการเน้นของฉันและหมายเลขอ้างอิงเปลี่ยนเป็น 22 ในต้นฉบับ) ในบริบทของการสร้างโปรแกรมการเขียนโปรแกรมแบบหลายขั้นตอน (MSP, การแสดงละครสั้น ๆ ) ที่จัดตั้งขึ้นตาม Taha และ Sheard [2] ช่วยให้โปรแกรมเมอร์อย่างชัดเจนการประเมินผลความล่าช้าของการแสดงออกโปรแกรมขั้นตอนภายหลัง (ดังนั้นการแสดงละครการแสดงออก) ขั้นตอนปัจจุบันได้อย่างมีประสิทธิภาพทำหน้าที่เป็นตัวสร้างรหัสที่ประกอบด้วย (และอาจดำเนินการ) โปรแกรมของขั้นตอนต่อไป อย่างไรก็ตาม Taha และ Sheard เขียน (เน้นที่เหมือง): โปรแกรมหลายขั้นตอนเป็นโปรแกรมที่เกี่ยวข้องกับการสร้างการรวบรวมและการประมวลผลโค้ดทั้งหมดที่อยู่ในกระบวนการเดียวกัน หลายภาษาแสดงโปรแกรมหลายขั้นตอน การจัดเตรียมและการเขียนโปรแกรมแบบหลายขั้นตอนจึงตอบสนองความต้องการโซลูชันทั่วไปที่ไม่ต้องจ่ายค่าโสหุ้ยการแปลขณะใช้งาน พวกเขามากกว่าที่จะอ้างถึงการอ้างอิงหลายงานที่ถูกกล่าวหาว่าแสดงให้เห็นว่าการแสดงละครมีประสิทธิภาพซึ่งแสดงให้เห็นว่าแนวคิดนั้นเก่ากว่า พวกเขาไม่ได้ให้การอ้างอิงสำหรับคำนั้น ๆ ข้อความเหล่านี้ดูเหมือนจะเป็นมุมฉากถ้าไม่ขัดแย้ง; บางทีสิ่งที่ Rompf และ Odersky เขียนเป็นแอพพลิเคชั่นที่ Taha และ Sheard เสนอ …

24 terminology  programming-languages  meta-programming 

คำถามนี้ถูกโยกย้ายจาก Stack Overflow เพราะสามารถตอบได้ใน Computer Science Stack Exchange อพยพ 7 ปีที่ผ่านมา ฉันสับสนเล็กน้อยโดยคำศัพท์บางอย่างที่ฉันพบเกี่ยวกับความซับซ้อนของปัญหาการเพิ่มประสิทธิภาพ ในคลาสอัลกอริทึมฉันมีปัญหาparsimony ขนาดใหญ่ที่อธิบายว่า NP-complete อย่างไรก็ตามฉันไม่แน่ใจว่าคำว่า NP-complete หมายถึงอะไรในบริบทของปัญหาการปรับให้เหมาะสม นี่หมายถึงว่าปัญหาการตัดสินใจที่สอดคล้องกันนั้นทำให้ NP สมบูรณ์หรือไม่ และนั่นหมายความว่าในความเป็นจริงแล้วปัญหาการปรับให้เหมาะสมนั้นอาจจะยากกว่า (อาจจะนอก NP) โดยเฉพาะอย่างยิ่งฉันกังวลเกี่ยวกับความจริงที่ว่าในขณะที่ปัญหาการตัดสินใจที่สมบูรณ์แบบ NP เป็นเวลาที่ตรวจสอบได้พหุนามวิธีแก้ปัญหาการเพิ่มประสิทธิภาพที่สอดคล้องกันไม่ปรากฏว่าเป็นเวลาพหุนามตรวจสอบได้ นั่นหมายความว่าปัญหาไม่ได้อยู่ใน NP จริงๆหรือเป็นพหุนามเวลาตรวจสอบได้เพียงลักษณะของปัญหาการตัดสินใจ NP?

24 complexity-theory  np-complete  terminology 

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

23 terminology  computer-vision 

ในทฤษฎีการคำนวณฟังก์ชันการคำนวณก็เรียกว่าฟังก์ชันแบบเรียกซ้ำ อย่างน้อยแรกพบพวกเขาไม่มีอะไรเหมือนกันกับสิ่งที่คุณเรียกว่า "recursive" ในการเขียนโปรแกรมแบบวันต่อวัน (เช่นฟังก์ชั่นที่เรียกพวกเขาเอง) ความหมายที่แท้จริงของการเกิดซ้ำในบริบทของการคำนวณคืออะไร? ทำไมฟังก์ชั่นเหล่านี้จึงเรียกว่า "เวียนเกิด"? หากต้องการกล่าวไว้ในคำอื่น ๆ : การเชื่อมต่อระหว่างสองความหมายของ "การเรียกซ้ำ" คืออะไร?

23 computability  terminology  history