Запитання з тегом «computability»

Я не розумію, чому проблема зупинки часто використовується для відхилення можливості визначити, чи припиняється програма. У Вікіпедії [стаття] [1] правильно пояснюється, що детермінована машина з обмеженою пам'яттю або зупинить, або повторить попередній стан. Ви можете використовувати алгоритм, який визначає, чи пов'язаний цикл списку реалізує функцію зупинки з складністю простору O …

149 computability  halting-problem 

Нам дали наступну вправу. Дозволяє f( n ) = { 100н зустрічається в десятковому поданні πщеf(н)={10н зустрічається в десятковому поданні π0ще\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Доведіть, що обчислюється.fff Як це можливо? Наскільки я знаю, …

130 computability  undecidability 

Я завжди туманно думав, що відповідь на вищезазначене питання була ствердною у наступних рядках. Теорема про незавершеність Геделя та нерозбірливість проблеми зупинки є негативними результатами розв'язуваності та встановленими діагональними аргументами (і в 1930-х рр.), Тому вони повинні якось бути двома способами розгляду однакових питань. І я подумав, що Тьюрінг використовував …

75 computability  logic  halting-problem  incompleteness 

Ми знаємо, що проблема зупинки (на машинах Тьюрінга) не можна визначити для машин Тьюрінга. Чи є якісь дослідження того, наскільки добре людський розум може впоратися з цією проблемою, можливо, за допомогою машин Тьюрінга або комп'ютерів загального призначення? Примітка . Очевидно, що в найсуворішому сенсі ви завжди можете сказати "ні", тому …

60 computability  turing-machines  halting-problem  human-computing 

Чи існує набір мов програмування на мові програмування для того, щоб він вважався Тюрінг завершеним? З того, що я можу сказати з вікіпедії , мова повинна підтримувати рекурсію, або, здавалося б, повинна бути здатна працювати без зупинки. Це все є для цього?

55 computability  programming-languages  turing-machines  turing-completeness 

Узгодження шаблону високого порядку - це нерозв'язна проблема. Це означає, що не існує алгоритму, який, з огляду на рівняння a => b, де aі bє відкритими термінами на просто набраному лямбдальному обчисленні, знаходить заміну Sтаким чином, що aS => bSтам, де =>розшифровується "має однакову Bn нормальну форму". Однак люди можуть …

44 computability 

Я знаю, що існує машина Тьюрінга, якщо функція обчислюється. Тоді як показати, що функція не обчислюється або для цього не існує машини Тьюрінга. Чи є щось на кшталт накачки леми?

43 computability  proof-techniques  undecidability  reference-question 

Я натрапив на дивну проблему, коли писав інтерпретатор, який (повинен) підключати до зовнішніх програм / функцій: Функції в "C" і "C ++" не можуть підключити різні функції , наприклад, я не можу зробити функцію, яка викликає "printf" з точно такими ж аргументами, які він отримав, і замість цього повинен викликати …

42 computability  programming-languages  turing-completeness 

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

42 computability  recursion  iteration 

У цій відповіді згадується Регулярну мову можна розпізнати за допомогою кінцевого автомата. Без контекстної мови потрібен стек, а контекстно-чутлива мова потребує двох стеків (що еквівалентно твердженню, що вона вимагає повноцінного апарату Тьюрінга) . Мені хотілося дізнатись щодо правдивості сміливої ​​частини. Це насправді правда чи ні? Який хороший спосіб досягти відповіді …

41 computability  turing-machines  automata  pushdown-automata 

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

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

Я намагався пояснити комусь, що C є Тьюрінгом, і зрозумів, що я насправді не знаю, чи справді це технічно Тюрінг-завершений. (З як у абстрактній семантиці, а не як у реальній реалізації.) Наскільки я можу сказати, "очевидний" відповідь (приблизно: він може адресувати довільний об'єм пам'яті, тому він може імітувати машину оперативної …

39 computability  turing-completeness  c 

Чи є якісь теоретичні машини, які принаймні в деяких областях перевищують можливості Тюрінга?

39 computability  turing-machines  hypercomputation 

Короткий зміст: За теоремою Райса все неможливо. І все-таки я роблю це, нібито, неможливо весь час! Звичайно, теорема Райса не говорить просто "все неможливо". У ньому сказано щось досить конкретніше: "Кожна властивість комп'ютерної програми не обчислюється". (Якщо ви хочете розділити волоски, кожне "нетривіальне" властивість. Тобто властивості, якими володіють усі програми …

37 terminology  computability  undecidability  rice-theorem 

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

35 computability  programming-languages  type-theory  dependent-types