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

Комбінатор з фіксованою точкою FIX (він же Y-комбінатор) в (нетипізованому) лямбдальному обчисленні ( λλ\lambda ) визначається як: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Я розумію його призначення і можу простежити виконання …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

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

27 computability  turing-machines  halting-problem 

Зауважте, хоча я знаю, як програмувати, я досить новачок в теорії CS. Відповідно до цієї відповіді Тюрінг повноти - це абстрактне поняття обчислюваності. Якщо мова Тюрінга є повною, вона може робити будь-які обчислення, які може зробити будь-яка інша мова Тюрінга. І будь-яку програму, написану на будь-якій мові Тьюрінга, можна переписати …

26 computability  programming-languages  turing-completeness 

У мене виникають проблеми з розумінням доказів нерозбірливості проблеми зупинки. Якщо повертає програма чи ні а привали на вході б , то чому ми повинні передати код P і для а і б ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Чому ми не можемо подати з P та деяким довільним введенням, скажімо, x ?H()H()H()PPPxxx

25 computability  turing-machines 

Очевидно, що в НП немає жодних невирішених проблем. Однак, згідно з Вікіпедією : NP - це сукупність усіх проблем з рішеннями, для яких випадки, коли відповідь "так", мають [.. докази, які] можна перевірити в поліноміальний час детермінованою машиною Тьюрінга. [...] Проблема, як кажуть, є в NP тоді і тільки тоді, …

25 complexity-theory  computability  undecidability  decision-problem 

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

24 formal-languages  computability  turing-machines 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . У мене просто було це цікаве запитання. Яка найшвидше зростаюча функція відома людині? Це зайнятий бобр ? Ми знаємо такі функції, як х2х2x^2 , але ця функція …

24 computability 

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

23 computability  terminology  history 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . "Алан Тьюрінг довів у 1936 році, що загальний алгоритм вирішення проблеми зупинки для всіх можливих пар програм-введення не може існувати" Чи можу я знайти загальний алгоритм для …

23 computability  formal-methods  halting-problem  software-verification 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

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

22 computability  approximation  data-compression  kolmogorov-complexity 

Машина Тьюрінга, яка повертається у раніше зустрічається стан із головою для читання / запису на тій же комірці точно такої ж стрічки, потрапить у цикл. Така машина не зупиняється. Чи може хтось навести приклад машини, яка ніколи не зупиняється?

22 computability  turing-machines  halting-problem 

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

22 formal-languages  automata  computability  undecidability 

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

21 computability  turing-machines  computation-models  halting-problem 

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

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