Почти все используемые языки программирования - это Turing Complete , и хотя это позволяет языку представлять любые вычислимый алгоритм, он также имеет собственный набор проблемы . Поскольку все алгоритмы, которые я пишу, предназначены для...

Я написал простой интерпретатор brainfuck на языке сценариев MATLAB. В него загружаются случайные программы bf для выполнения (как часть проекта генетического алгоритма). Проблема, с которой я сталкиваюсь, заключается в том, что в программе...

Проблема остановки не может быть решена для полных по Тьюрингу языков, и ее можно решить тривиально для некоторых языков, не относящихся к TC, таких как регулярные выражения, где она всегда останавливается. Мне было интересно, есть ли какие-нибудь...

Я заметил, что действие "index" моего контроллера вызывается дважды. Действие имеет следующую структуру: def index if params[:tags].nil? # [fork #1] just return the whole collection of model @items = Item.all else # [fork...

Является ли определение того, находится ли детерминированная программа (т.е. конечный автомат) в бесконечном цикле, эквивалентно решению проблемы остановки? Я нашел решение, и я не уверен, почему оно не должно работать: Пусть программа...

Существует инструмент под названием FindBugs , который может обнаруживать бесконечные бесконечные циклы в данной программе / базе кода. Это означает, что FindBugs может определить, завершится программа или нет, путем анализа кода. Проблема...

Скажем, я хочу найти натуральное число n, для которого n+n=3. Чтобы решить это вычислительно, я бы запустил алгоритм: int n = 1; while(n+n!=3) n++; System.out.println(n); Конечно, мы знаем, что этот цикл является бесконечным циклом. Но...

Недавно я наткнулся на доказательство противоречия проблемы остановки. В доказательстве мы должны передать машине Тьюринга копию программы и копию входных данных, чтобы решить, останавливается ли эта программа на входных данных. В противоречии,...

Я пытаюсь доказать, что TM = DFA неразрешим, используя сокращение из проблемы остановки. Теоретически я понимаю, что машина Тьюринга захватывает все вычислимые функции, а DFA захватывает только функции, которые можно вычислить в постоянном...