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

Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Я планую викладати зимовий курс на різну кількість тем, одна з яких буде компіляторами. Тепер я зіткнувся з цією проблемою, роздумуючи над завданнями, які даватимуть протягом кварталу, але він натрапив на мене, щоб я міг використати його як приклад. public class DeadCode { public static void main(String[] args) { return; …

32 computability  proof-techniques  compilers 

Ця 579-розрядна програма в обчисленні Binary Lambda має невідомий статус зупинки: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Тобто невідомо, припиняється чи ні ця програма. Для того, щоб визначити це, ви повинні розв'язати гіпотезу Колатца - або, принаймні, для всіх чисел до 2 ^ 256. У цьому сховищі є …

32 algorithms  computability  kolmogorov-complexity 

Чи існують якісь цілі введені лямбда-калькуляції Тьюрінга? Якщо так, то які кілька прикладів?

31 computability  lambda-calculus  type-theory 

Мені цікаво, чи є хороший приклад для легкої для розуміння проблеми NP-Hard, яка не є NP-Complete і не може бути невирішеною? Наприклад, проблема зупинки - NP-Hard, не NP-Complete, але є невирішеною. Я вважаю, що це означає, що проблема полягає в тому, що рішення для рішення може бути перевірено, але не …

31 complexity-theory  computability  np-hard 

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

30 computability  undecidability 

Я проходив дискусію з питання, як визначити квантові машини Тьюрінга? і я відчуваю, що квантова ТМ і недетермістична ТМ - це одне і те ж. Відповіді на інше питання цього не стосуються. Ці дві моделі одні і ті ж? Якщо ні, Які відмінності між квантовою ТМ та НДТМ? Чи є …

30 computability  turing-machines  quantum-computing  nondeterminism 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Теза Церкви-Тьюрінга стверджує, що все, що фізично можна обчислити, можна обчислити на машині Тюрінга. У статті "Аналогові обчислення через нейронні мережі" (Siegelmannn and Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) стверджується, що нейронна сітка певної форми (параметри представлені в роботі) є більш потужною. Автори стверджують, що за …

29 computability  turing-machines  church-turing-thesis 

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

29 turing-machines  computability  computation-models 

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

29 computability  turing-machines  combinatorics 

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

29 computability  semi-decidability  enumeration 

Вікіпедія, а також інші джерела, які я знайшов, перелічують 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 

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

28 computability  programming-languages  compilers 

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

28 computability  proof-techniques  undecidability