Публикации по теме 'turing-complete'


Коротко о мозгобоях
Brainfuck — это минималистичный эзотерический язык программирования, созданный для того, чтобы заставить ваш мозг болеть. он создан по Тьюрингу, но не предназначен для создания реального программного обеспечения; он больше похож на произведение искусства, которое бросает вызов существующему положению вещей. он был создан в 1993 году швейцарским студентом-физиком Урбаном Мюллером , целью которого было наименьший возможный компилятор, он был создан для операционной системы amiga 2.0 , и..

Вопросы по теме 'turing-complete'

Как работать с этой машиной Тьюринга?
Это снимок экрана апплета LogiCell 1.0 , ссылку на который я нашел здесь . Как показывает нижний левый угол, это сумма 0+1 , а результат 01b (нижняя правая часть). Я не могу связать отображаемое с входами и выходами. Например, в...
294 просмотров

Насколько полезна полнота по Тьюрингу? завершены ли нейронные сети по Тьюрингу?
Читая некоторые статьи о полноте по Тьюрингу рекуррентных нейронных сетей (например: вычислимость по Тьюрингу с нейронными сетями, Hava T. Siegelmann и Eduardo D. Sontag, 1991), у меня возникло ощущение, что приведенное там доказательство не совсем...
11424 просмотров

Завершен ли препроцессор Тьюринга C99?
Обнаружив возможности препроцессора Boost , я обнаружил, что интересно: препроцессор C99 Тьюринг завершен? Если нет, то чего ему не хватает, чтобы не соответствовать требованиям?
18340 просмотров

Какие шесть основных примитивов в Turing Complete
Я слушаю урок edX, и профессор подчеркивает, что каждую машину, способную выполнять эти шесть основных примитивов, можно назвать полной по Тьюрингу. Но каковы шесть основных примитивов?
18824 просмотров
schedule 02.06.2023

Brainfuck с 1-битными ячейками памяти?
Будет ли реализация языка программирования Brainfuck все еще завершенной по Тьюрингу, если ее ячейки памяти будут иметь емкость 1 бит вместо обычных 8 бит? Инструкции + и - становятся идентичными, однако это не должно быть проблемой. Я не вижу...
395 просмотров

Полный класс вычислительных моделей по Суб-Тьюрингу
Многие языки и системы программирования являются полными по Тьюрингу; они могут моделировать любую машину Тьюринга и, следовательно, могут также моделировать любой конечный автомат. Рассмотрим следующую неформальную модель: Язык A определяет...
124 просмотров
schedule 19.03.2023

Машина Тьюринга для сбалансированных скобок
Как создать машину Тьюринга, которая может распознавать строки сбалансированных скобок? Например (())().
1998 просмотров