Запитання з тегом «computation-models»

Я читав про обчислення лямбди недавно, але як не дивно, я не можу знайти пояснення, чому його називають "лямбда" або звідки походить цей вираз. Хтось може пояснити походження терміна?

73 terminology  computation-models  lambda-calculus  history 

Я студент CS. Я розумію, як Тьюрінг придумав свою абстрактну машину (моделювання людини, що робить обчислення), але мені здається це незграбною, неелегантною абстракцією. Чому ми вважаємо "стрічку" і машинну головку, що пише символи, змінюючи стан, зміщуючи стрічку вперед і назад? Яке основне значення? DFA елегантний - він, здається, фіксує саме …

67 turing-machines  computation-models 

Я погоджуюся, що машина Тьюрінга може робити "всі можливі математичні проблеми". Але це тому, що це лише машинне подання алгоритму: спочатку зробіть це, потім зробіть, нарешті, виведіть це. Я маю на увазі все, що можна вирішити, можна представити алгоритмом (тому що саме це визначення 'розв’язуваного'). Це просто тавтологія. Я нічого …

54 algorithms  turing-machines  automata  computation-models 

Щодо квантових обчислень, яка еквівалентна модель машини Тьюрінга? Мені цілком зрозуміло, як квантові схеми можуть бути побудовані з квантових воріт, але як ми можемо визначити квантову машину Тюрінга (QTM), яка може насправді отримати вигоду від квантових ефектів, а саме працювати на високомірних системах?

52 quantum-computing  turing-machines  computation-models 

Розглядаючи, якою має бути багатопотокова версія нашої програми, моя команда спантеличила, чи є щось, що абсолютно неможливо зробити на одноядерному процесорі. Я висловив думку про те, що для обробки графіки потрібна велика паралельна обробка, але вони стверджують, що такі речі, як DOOM, робили на одноядерних процесорах без графічних процесорів. Чи …

45 computation-models  cpu  multi-tasking 

Складність алгоритму розроблена таким чином, щоб він не залежав від деталей нижчого рівня, але він заснований на імперативній моделі, наприклад, доступ до масиву та модифікація вузла в дереві займають час O (1). Це не так у чисто функціональних мовах. Список Haskell потребує лінійного часу для доступу. Модифікація вузла на дереві …

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

Класично, існує 3 популярних способу думати про обчислення: машина Тьюрінга, схеми та лямбда-числення (я використовую це як улов для більшості функціональних поглядів). Усі 3 були успішними способами роздумувати про різні типи проблем, і різні галузі використовують різну формулювання з цієї причини. Однак, працюючи з квантовими обчисленнями, я тільки коли-небудь замислююся …

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

Які відмінності та зв’язки між рандомізованими алгоритмами та недетермінованими алгоритмами? З Вікіпедії Рандомізоване алгоритм являє собою алгоритм , який використовує ступінь випадковості як частину своєї логіки. Алгоритм зазвичай використовує рівномірно випадкові біти як допоміжний вхід для керування його поведінкою, сподіваючись досягти хорошої продуктивності у "середньому випадку" над усіма можливими варіантами …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Я зіткнувся нижче заяву Алана М. Тьюринга тут : "Думка, що машини не можуть викликати сюрпризи, я вважаю, через помилковість, якій особливо підлягають філософи та математики. Це припущення, що як тільки факту буде представлено свідомість, всі наслідки цього факту виникають у розум одночасно з ним. Це дуже корисне припущення за …

29 turing-machines  computability  computation-models 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що 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 

За рекомендацією я відновлюю це з переповнення стека . Нещодавно я замислювався над наступним випуском. Розглянемо код для стандарту "Привіт, світ!" програма: main() { printf("Hello World"); } Тепер майже будь-яка зміна цього коду зробить його абсолютно марним, адже практично кожна зміна запобігає компіляції коду. Наприклад: main(5 { printf("Hello World"); } …

23 programming-languages  computation-models 

Нещодавно я почув цікаву аналогію, яка стверджує, що докази Тьюрінга про нерозбірливість проблеми зупинки дуже схожі на парадокс перукаря Рассела. Тому мені стало цікаво: математикам вдалося зрештою зробити теорію множин послідовною шляхом переходу від наївного формулювання поля Кантора до більш складної системи аксіом (теорія множин ZFC), роблячи важливі виключення (обмеження) …

21 computability  turing-machines  computation-models  halting-problem 

Я шукаю пояснення, як можна довести, що дві моделі обчислення є рівнозначними. Я читав книги з цього приводу, за винятком того, що докази еквівалентності опущені. У мене є основне уявлення про те, що означає для двох моделей обчислень рівнозначні (автоматичний вигляд: якщо вони приймають однакові мови). Чи існують інші способи …

21 proof-techniques  computation-models  simulation 

При розгляді машинних моделей обчислень ієрархія Хомського зазвичай характеризується (по порядку), кінцевими автоматами, штовхаючими автоматами, лінійно пов'язаними автоматами і машинами Тюрінга. Для першого та останнього рівнів 1 (звичайні мови та рекурсивно перелічувані мови) це не має значення для потужності моделі, вважаємо ми детерміновані чи недетерміновані машини, тобто DFA еквівалентні NFA, …

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