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

В честь дня рождения Алана Тьюринга Google опубликовал рисунок, показывающий машину. Что за машина это каракули? Может ли он выражать язык Тьюринга? Существуют очевидные отличия от классической машины Тьюринга: конечная лента, ограничения на то, как можно связать состояние, ... Каракули еще можно найти здесь (Дисплей в правом верхнем углу показывает …

10 cc.complexity-theory  turing-machines 

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

10 turing-machines  dc.distributed-comp 

Я играл с очень интересным и все еще открытым вопросом « Азбука одноленточной машины Тьюринга » (Эмануэле Виола) и придумал следующий язык: L = { x ∈ { 0 , 1 }N ул | х | = n = 2м и c o u n t 1 ( x ) …

10 cc.complexity-theory  turing-machines  time-complexity 

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

10 oracles  turing-machines 

Какое-то время мне было любопытно, что машины Тьюринга имеют ровно одну ленту и ровно 3 состояния (а именно, начальное состояние , состояние принятия и состояние отказа ). Обратите внимание, что я допускаю произвольные (конечные) алфавиты ленты (т. Е. Алфавит ленты не ограничен равным входному алфавиту).q0q0q_0qacceptqacceptq_{accept}qrejectqrejectq_{reject} Для удобства назовите класс языков, …

9 automata-theory  turing-machines  cellular-automata 

Недетерминированные линейные ограниченные автоматы ограниченного посещения распознают только регулярные языки? Под недетерминированным линейным ограниченным автоматом (nLBA) я подразумеваю недетерминированную машину Тьюринга с одной лентой, где вход «дополняется» конечными маркерами на обоих концах, которые никогда не могут быть перезаписаны, и поэтому головка никогда не сможет выйти из области ввода, «вне» конечных …

9 automata-theory  turing-machines  regular-language  space-bounded 

У меня наивный вопрос: существует ли машина Тьюринга, завершение которой истинно, но недоказуемо какой-либо естественной, последовательной и конечно аксиоматизируемой теорией? Я прошу простое доказательство существования, а не конкретный пример. Это может быть связано с порядковым анализом . Действительно, для машины ТьюрингаMMMмы можем определить O(M)O(M)O(M)как наименьший порядковый номер последовательной теории, доказывающей …

9 turing-machines  proof-theory  halting-problem