Вопросы с тегом «computability»

Видя, что в иерархии Хомского языки типа 3 могут распознаваться конечным автоматом без внешней памяти (т. Е. Конечным автоматом), тип 2 - конечным автоматом с одним стеком (т. Е. Автоматом с понижением) и тип 0 - конечный автомат с двумя стеками (или, что эквивалентно, лента, как в случае с машинами …

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

Я планирую провести зимний курс по разному количеству тем, одной из которых будут составители. Теперь я столкнулся с этой проблемой, думая о заданиях, которые нужно давать на протяжении всего квартала, но это поставило меня в тупик, поэтому я мог бы вместо этого использовать его в качестве примера. public class DeadCode …

32 computability  proof-techniques  compilers 

Эта 579-битная программа в двоичном лямбда-исчислении имеет неизвестный статус остановки: 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, теоретическая информатика , 131: 331–360, 1994; PDF ) утверждается, что нейронная сеть определенной формы (настройки представлены в статье) является более мощной. Авторы говорят, что …

29 computability  turing-machines  church-turing-thesis 

Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Я встретил ниже заявление Алана М. Тьюринга здесь : «Я считаю, что представление о том, что машины не могут вызывать сюрпризов, связано …

29 turing-machines  computability  computation-models 

Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Мигрировал 6 лет назад . Я сейчас читаю книгу по алгоритмам и сложности. В данный момент я читаю о вычислимых и невычислимых функциях, и моя книга утверждает, что есть гораздо больше функций, …

29 computability  turing-machines  combinatorics 

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

29 computability  semi-decidability  enumeration 

Существуют ли программы, которые могут «переводить» исходный код между любыми двумя языками (при условии, что переводчик имеет доступ к необходимым библиотекам)? Если есть, как они работают (используемые методы, необходимые знания и т. Д.)? Как они могут быть построены? Если нет, то какие ограничения мешают их развитию? Это полная проблема ИИ …

28 computability  programming-languages  compilers 

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно 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 

Каждая неразрешимая проблема, о которой я знаю, попадает в одну из следующих категорий: Проблемы, которые неразрешимы из-за диагонализации (косвенная самостоятельная ссылка). Эти проблемы, такие как проблема остановки, неразрешимы, потому что вы можете использовать предполагаемое определение языка для построения TM, поведение которого приводит к противоречию. В этот лагерь можно также добавить …

28 computability  proof-techniques  undecidability