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

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

11 computability  terminology  decision-problem 

Нещодавнє екзаменаційне запитання: - це нескінченна рекурсивно-численна множина. Доведіть, що A має нескінченний рекурсивний підмножина.AAAAAA Нехай нескінченне рекурсивне підмножина A . Повинен C мати підмножину, яка не є рекурсивно перелічуваною?CCCAAACCC Я відповів 1. вже. Щодо 2. я відповів ствердно і аргументував так. Припустимо, що всі підмножини були рекурсивно переліченими. Оскільки …

11 computability  check-my-proof 

Перезапис система являє собою набір правил у вигляді . Якщо ми застосуємо це правило до рядка w, замінимо будь-яку підрядку A in w на підрядку B і навпаки.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB З огляду на початковий рядок можемо ми вивести B A A B у системі за допомогою таких правил:AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow …

11 computability  term-rewriting 

Як можна визначити, чи має певна послідовність цифр? ππ\piнадихнуло мене запитати, чи можна обчислити такі невинно виглядаючі варіанти: f( n ) = { 10якщо n¯ зустрічається в десятковому поданні πінакшеf(н)={1якщо н¯ зустрічається в десятковому поданні π0інакшеf(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} …

11 computability  real-numbers 

Чи теоретично можливо вказати мову програмування, для якої не може існувати жодна реалізація? Мова програмування - це спосіб визначення функцій. Реалізація означає метод виконання заданої програми на цій мові на заданому вході до виводу функції, відповідної програмі на цьому вході. Які мінімальні вимоги до такої мови?

11 formal-languages  computability  programming-languages 

Я розумію, що більшість проблем є тривіальними, якщо доступний оракул, що зупиняється (або, я думаю, що рівнозначно, гіпер-обчислення). Однак застосування аргументу, який показує, що Проблема зупинки неможлива для машини Тьюрінга, також показує, що Tracle + oracle не може вирішити проблему зупинки для Tracle + oracle. Чи існують якісь фактичні, практичні …

11 computability  undecidability  halting-problem  oracle-machines 

Одним із визначень налічуваного числа (ce, еквівалентного рекурсивно перелічуваному, що еквівалентно напівроздільному) множини є наступне: V ⊆ Σ ∗ x ∈ Σ ∗А ⊆ Σ∗A⊆Σ∗A \subseteq \Sigma^* є ce iff є рішуча мова (називається верифікатором) st для всіх ,V⊆ Σ∗V⊆Σ∗V\subseteq \Sigma^*x ∈ Σ∗x∈Σ∗x\in \Sigma^* у ∈ Е * ⟨ х …

11 computability  proof-techniques  undecidability 

Я навчаюсь для свого фіналу з теорії обчислень, і я борюся з належним чином відповісти, чи правдиве це твердження неправдивим. За визначенням з можна побудувати наступну заяву,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Тут я застряг, я хочу сказати, що оскільки …

11 complexity-theory  computability  reductions 

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

10 computability  logic  turing-completeness 

Я сьогодні дізнався, що алгоритм аналізу відрізняється на основі обчислювальної моделі. Це те, про що я ніколи не думав і не чув. Приклад, поданий мені, що ілюстрував це далі, користувачем @chi : Наприклад, розгляньте завдання: задане повернення x i . У оперативній пам'яті це можна вирішити в O ( 1 …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Я намагався з’ясувати, чи вирішується проблема зупинки для тривимірних одновимірних стільникових автомати. Визначення Нехай позначає конфігурацію системи на етапі i . Більш формально f : A ∗ × N → A ∗ , де A - алфавіт.f( ш , я )f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Визначення. Стільниковий автомат зупинився в конфігурації …

10 computability  decision-problem  halting-problem  cellular-automata 

Це, ймовірно , дурна думка, але припустимо , що у нас є комп'ютер , який запрограмований для виконання нескінченну послідовність розрахунків і припустимо , що розрахунок займає 1 / 2 я секунд. Тоді цей комп’ютер може виконати нескінченну кількість обчислень за обмежений час.iгоiгоi^\text{th}1 / 2i1/2i1/2^i Чому це неможливо? Чи є …

10 computability  computation-models 

Я намагаюся знайти відповіді на два запитання щодо універсальної машини Тьюрінга. Як універсальна машина Тьюрінга може імітувати машину Тюрінга, якщо модель, яка моделюється, має більшу кількість штатів? Як може машина Універсального Тьюрінга імітувати машину Тюрінга, якщо на тому, що імітується, є більша кількість символів алфавіту? Хтось може мені допомогти з …

10 computability  turing-machines  simulation  turing-completeness 

У проблемі зупинки нас цікавить, чи є машина Тьюрінга яка може визначити, чи зупиняється дана машина Тьюрінга M на даному вході i . Зазвичай доказ починається з того, що такий Т існує. Потім ми розглянемо випадок , коли ми обмежуємо I до М самим, а потім отримати протиріччя, використовуючи екземпляр …

10 computability  undecidability  halting-problem 

Я бачив веб-сайти, які хочуть "довести", що HTML5 + CSS є Turing завершеним. Я бачив веб-сайти, які мають на меті "довести", що SQL є Turing завершеним. Я бачив купу веб-сайтів, які хочуть "пояснити", що означає бути Тьюрінгом завершеним. Достатньо! Де я можу знайти книгу (написану експертом з теорії обчислюваності) або …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis