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

Машина Тьюринга является фундаментальной моделью вычислений, особенно в теоретической работе.

2
Теория реализуемости: разница в мощности между лямбда-исчислением и машинами Тьюринга
У меня есть три связанных подвопроса, которые выделены пунктами ниже (нет, их нельзя разделить, если вам интересно). Андрей Бауэр писал здесь , что некоторые функции реализуются через машину Тьюринга, но не через лямбда-исчисление. Ключевой шаг его рассуждений: Однако, если мы используем лямбда-исчисление, то [программа] c должна вычислять число, представляющее машину …
5
Исторические причины принятия машины Тьюринга в качестве основной модели вычислений.
Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я понимаю что первое появилось только позже, а второе изначально не …
10
Реальные компьютеры имеют только конечное число состояний, так какова связь машин Тьюринга с реальными компьютерами?
Реальные компьютеры имеют ограниченную память и ограниченное число состояний. Так что они по сути конечные автоматы. Почему теоретические компьютерные ученые используют машины Тьюринга (и другие эквивалентные модели) для изучения компьютеров? Какой смысл изучать эти гораздо более сильные модели по отношению к реальным компьютерам? Почему конечной модели автоматов недостаточно?
2
Азбука одноленточной машины Тьюринга
Может ли каждая функция f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\} , вычисляемая за время ttt на одноленточной машине Тьюринга с использованием алфавита размера k=O(1)k=O(1)k = O(1) вычисляться за время O(t)O(t)O(t) на машина одной ленты Тьюринга с использованием алфавита размером 333 (скажем, 0,1,0,1,0,1, и пробел)? (Из комментариев ниже от OP) Обратите внимание, …
7
Действительно генератор случайных чисел: вычислимый по Тьюрингу?
Я ищу окончательный ответ на вопрос, является ли генерация «действительно случайных» чисел вычислимой по Тьюрингу. Я не знаю, как точно сформулировать это. Этот вопрос StackExchange об «эффективных алгоритмах генерации случайных чисел» близок к ответу на мой вопрос. Чарльз Стюарт говорит в своем ответе: «Это [случайность Мартина-Лёфа] не может быть сгенерировано …
7
Применимость тезиса Черча-Тьюринга к интерактивным моделям вычислений
Пол Вегнер и Дина Голдин уже более десяти лет публикуют статьи и книги, утверждая, прежде всего, что тезис Черча-Тьюринга часто искажается в сообществе теории КС и в других местах. То есть он представлен как охватывающий все вычисления, когда на самом деле он применяется только к вычислению функций, которое является очень …
3
Объяснение классов P и NP через лямбда-исчисление
Во введении и объяснении P и NP классы сложности часто даются через машину Тьюринга. Одной из моделей вычислений является лямбда-исчисление. Я понимаю, что все модели вычислений эквивалентны (и если мы можем ввести что-либо в терминах машины Тьюринга, мы можем представить это в терминах любой модели вычислений), но я никогда не …
3
Ограничения машины Тьюринга, которые делают остановку разрешимой
Если ограничить машины Тьюринга конечной лентой (т. Е. Использовать ограниченное пространство ), то проблема остановки решаема, в основном потому, что после ряда шагов (которые можно рассчитать из числа состояний Q , S и размер алфавита), конфигурация должна быть повторена.SSSQQQSSS Существуют ли другие естественные ограничения машины Тьюринга, которые делают остановку разрешимой? …
6
Какая простейшая универсальная машина Тьюринга с двумя состояниями?
Я хочу закодировать простую машину Тьюринга в правилах карточной игры. Я хотел бы сделать его универсальной машиной Тьюринга, чтобы доказать полноту Тьюринга. До сих пор я создал игровое состояние, которое кодирует машину Тьюринга с 2 состояниями и 3 символами Алекса Смита . Тем не менее, кажется (по общему признанию, основанному …
4
Может ли вероятностная машина Тьюринга решить проблему остановки?
Компьютер с бесконечным потоком действительно случайных битов является более мощным, чем компьютер без него. Вопрос: достаточно ли он силен, чтобы решить проблему остановки? То есть может ли вероятностный компьютер определить, останавливается ли детерминированная программа? Пример вероятностного компьютера, который делает что-то детерминированное, чего не может сделать: Рассмотрим небольшую программу (длиной менее …
1
Функции, которые неэффективно вычислимы, но обучаемы
Мы знаем, что (см., Например, теоремы 1 и 3 из [1]), грубо говоря, при подходящих условиях функции, которые могут быть эффективно вычислены машиной Тьюринга за полиномиальное время («эффективно вычисляемое»), могут быть выражены полиномиальными нейронными сетями. с разумными размерами, и, таким образом, может быть изучен с полиномиальной сложностью выборки («обучаемость») при …
2
Какие функции не может вычислить система F?
В этой статье в Википедии о полноте Тьюринга говорится, что: Нетипизированное лямбда-исчисление является полным по Тьюрингу, но многие типизированные лямбда-исчисления, включая Систему F, - нет. Ценность типизированных систем основана на их способности представлять наиболее типичные компьютерные программы при обнаружении большего количества ошибок. Что является примером полной вычислимой функции, которая не …
1
Существует ли разумная автоматизированная система доказательств для теорем TCS?
Предположим, я хотел формализовать доказательство Тьюринга относительно проблемы остановки, чтобы машина могла его проверить. Некоторые из известных автоматизированных систем доказательства теорем включают Mizar, Coq и HOL4. Я скачал и экспериментировал с Coq, но у него нет библиотеки для машин Тьюринга. Я думал сам написать один код, но обнаружил, что учебника …
6
Максимальная вычислительная мощность реализации C
Если мы пойдем по книге (или любой другой версии спецификации языка, если вы предпочитаете), сколько вычислительной мощности может иметь реализация C? Обратите внимание, что «реализация C» имеет техническое значение: это конкретный экземпляр спецификации языка программирования C, в котором задокументировано поведение, определяемое реализацией. Реализация AC не должна быть в состоянии работать …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.