Вопросы с тегом «turing-machines»

Я читал в Википедии и некоторых других текстах, которые Проблема остановки [...] разрешима для линейных ограниченных автоматов (LBA) [и] детерминированных машин с конечной памятью. Но ранее было написано, что проблема остановки - неразрешимая проблема, и поэтому TM не может ее решить! Так как LBA определены как тип TM, разве это …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Определения машин Тьюринга всегда явно указывают на то, что пустой символ не является частью входного алфавита. Интересно , что идет не так , когда вы бы сделать его частью входного алфавита, потому что фактически пустой символ , уже , кажется, часть входных данных. Чтобы объяснить, что «кажется» в последнем предложении, …

12 turing-machines 

Справочная информация: я полный дилетант в области компьютерных наук. Я читал о занятых номерах Бивер здесь , и я нашел следующий отрывок: Человечество может никогда не узнать значение BB (6) наверняка, не говоря уже о значении BB (7) или любом более высоком числе в последовательности. На самом деле, уже пятеро …

12 turing-machines  number-theory  busy-beaver 

Вот проблема: Докажите, что одноленточные машины Тьюринга, которые не могут писать на той части ленты, которая содержит входную строку, распознают только обычные языки. Моя идея состоит в том, чтобы доказать, что этот конкретный TM эквивалентен DFA. Использовать эту ТМ для симуляции DFA очень просто. Однако, когда я хочу использовать этот …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Я смотрел на курс Геделизации в теории вычислений. Я мог понять концепции нумерации Гёделя, но не мог понять ее важность в теории вычислений. Может ли кто-нибудь указать на хорошие материалы или указать на их важность.

12 formal-languages  turing-machines 

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

12 formal-grammars  turing-machines  undecidability  context-sensitive 

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

12 turing-machines  undecidability  halting-problem 

Я задавался вопросом, почему ленты / ленты не являются частью формального определения машины Тьюринга. Рассмотрим, например, формальное определение машины Тьюринга на странице Википедии . Определение, следующее за Хопкрофтом и Уллманом, включает в себя: конечный набор состояний , ленточный алфавит , пустой символ , начальное состояние , набор конечных состояний , …

11 turing-machines  computation-models 

Означает ли существование неразрешимых проблем непосредственную непредсказуемость физических систем? Давайте рассмотрим проблему остановки, сначала мы построим физический UTM, скажем, используя обычную конструкцию на основе схем. Тогда не может быть никакой разрешимой физической теории, которая могла бы определить, при любой входной настройке цепей, остановится ли цепь. Это кажется тривиальностью, но разве …

11 computability  turing-machines  undecidability  physics 

Я видел машины Тьюринга, изображенные бесконечными лентами в одном и двух направлениях. Есть ли разница в мощности таких машин Тьюринга или они в основном эквивалентны? В своей голове я думаю, что они эквивалентны, так как я предполагаю, что должен быть какой-то способ представить двустороннюю бесконечную ленту как одностороннюю бесконечную ленту, …

11 turing-machines 

Я читаю Sipser , и я нахожу , что это трудно понять , что этот процесс таким образом, что , если вы дадите мне K машины Тьюринга с к лентам, я могу выплюнуть эквивалентную машину Тьюринга только с одной лентой. Пример был бы хорош. На самом деле, отработанный пример , …

11 turing-machines  simulation 

Пусть Есть ли машина Тьюринга R, которая решает (я не имею в виду, распознает) язык ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Похоже, тот же метод, который использовался, чтобы показать, что …

11 turing-machines  computability  undecidability 

Мне сказали, что квантовые компьютеры не являются вычислительно более мощными, чем машины Тьюринга. Может ли кто-нибудь любезно помочь дать некоторые литературные ссылки, объясняющие этот факт?

11 computability  reference-request  turing-machines  quantum-computing 

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry