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

Вопросы, связанные с теорией вычислимости, ака теорией рекурсии

12
Почему действительно так важна проблема остановки?
Я не понимаю, почему проблема остановки так часто используется, чтобы исключить возможность определения, останавливается ли программа. Википедия [статья] [1] правильно объясняет, что детерминированная машина с конечной памятью либо остановит, либо повторит предыдущее состояние. Вы можете использовать алгоритм, который определяет, зацикливается ли связанный список, для реализации функции остановки с пространственной сложностью …

3
Как можно решить, имеет ли некоторую последовательность цифр?
Нам дали следующее упражнение. Позволять f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Докажите, что вычислимо.fff Как это возможно? Насколько я знаю, мы …

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

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

6
Существуют ли минимальные критерии для языка Тьюринга?
Существует ли набор конструкций языка программирования на языке программирования, чтобы его можно было считать завершенным по Тьюрингу? Из того, что я могу сказать из Википедии , язык должен поддерживать рекурсию или, по-видимому, должен иметь возможность работать без остановки. Это все, что нужно?

3
Почему люди могут решить некоторые «неразрешимые» проблемы?
Сопоставление паттернов высокого порядка - неразрешимая проблема. Это означает, что не существует алгоритма, который, учитывая уравнение a => b, где aи bявляются открытыми слагаемыми в простом типе лямбда-исчисления, находит замену так S, что aS => bS, где =>означает «имеет такую ​​же Bn нормальную форму». Тем не менее, люди могут эффективно …


9
Почему некоторые языки программирования Тьюринга завершены, но не обладают некоторыми возможностями других языков?
Я столкнулся со странной проблемой при написании интерпретатора, который (должен) подключаться к внешним программам / функциям: функции в «C» и «C ++» не могут перехватывать переменные функции , например, я не могу создать функцию, которая вызывает «printf» с точно такими же аргументами, которые он получил, и вместо этого должен вызвать …

5
Итерация может заменить рекурсию?
Я видел повсюду переполнение стека, например, здесь , здесь , здесь , здесь , здесь и некоторые другие, которые я не хочу упоминать, что «любая программа, использующая рекурсию, может быть преобразована в программу, использующую только итерацию». Была даже тема с сильным голосованием и ответом с большим количеством голосов : да, …

1
Является ли автомат с двумя стопками эквивалентным машине Тьюринга?
В этом ответе упоминается Обычный язык может быть распознан конечным автоматом. Для контекстно-свободного языка требуется стек, а для контекстно-зависимого языка требуются два стека (что эквивалентно тому, что для него требуется полная машина Тьюринга) . Я хотел знать относительно правды смелой части выше. На самом деле это правда или нет? Как …

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

9
Является ли C на самом деле полным по Тьюрингу?
Я пытался объяснить кому-то, что C завершена по Тьюрингу, и понял, что на самом деле не знаю, действительно ли он технически завершен по Тьюрингу. (C как в абстрактной семантике, а не как в реальной реализации.) «Очевидный» ответ (грубо говоря: он может адресовать произвольный объем памяти, поэтому он может эмулировать машину …


2
Озадачен теоремой Райс
Реферат: Согласно теореме Райс, все невозможно. И все же, я делаю это якобы невозможное постоянно! Конечно, теорема Райс не просто говорит, что «все невозможно». В нем говорится что-то более конкретное: «Каждое свойство компьютерной программы не вычислимо». (Если вы хотите разделить волосы, каждое «нетривиальное» свойство. То есть свойства, которыми обладают все …

2
Что может сделать Идрис, отказавшись от полноты Тьюринга?
Я знаю, что у Идриса есть зависимые типы, но он не завершен. Что он не может сделать, отказавшись от полноты Тьюринга, и связано ли это с наличием зависимых типов? Я предполагаю, что это довольно специфический вопрос, но я не знаю много о зависимых типах и связанных системах типов.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.