13
ответов

Полные по Тьюрингу шаблоны C++?

Мне говорят, что шаблонная система в C++ полна по Тьюрингу во время компиляции. Это упоминается в этом сообщении и также на Википедию. Можно ли обеспечить нетривиальный пример вычисления, которое использует...
вопрос задан: 23 May 2017 11:47
10
ответов

Что такое практические инструкции для оценки “полноты по Тьюрингу” языка?

Я считал "what-is-turing-complete" и страницу Википедии, но я меньше интересуюсь формальным доказательством, чем в практических последствиях того, чтобы быть полным по Тьюрингу. Что я на самом деле пытаюсь решить...
вопрос задан: 23 May 2017 12:17
10
ответов

Создание кратчайшего полного по Тьюрингу интерпретатора [закрыто]

Я только что попытался создать наименьший возможный переводчик языка. Хотите присоединиться и попробовать? Правила игры: Вы должны указать язык программирования, который вы интерпретируете. Если это ...
вопрос задан: 16 November 2014 21:46
9
ответов

Языком может быть Тьюринг, завершенный но неполный другими способами?

Например, есть ли определенные вещи при записи операционной системы, которая не может быть выполнена в Тьюринге полный язык?
вопрос задан: 1 May 2009 23:18
7
ответов

Практические нетурингово-полные языки?

Почти все используемые языки программирования являются Turing Complete, и хотя это позволяет использовать язык для представления любого вычислимого алгоритма, он также имеет свой собственный набор проблем. Видя, как все ...
вопрос задан: 12 May 2014 17:00
6
ответов

Что такое полный Тьюринг?

Что означает выражение «полный Тьюринг»? Можете ли вы дать простое объяснение, не вдаваясь в слишком много теоретических деталей?
вопрос задан: 23 June 2012 00:22
5
ответов

Что awk может сделать это, sed не может?

Я использовал sed для пакета ptovess, где я не мог сделать этого с awk. Vould awk сделали это? Или действительно ли это - больше вопрос выбора и вызов awk и sed эквивалент для использования. Они оба делают общий поиск...
вопрос задан: 22 September 2014 09:19
4
ответа

Деревья выражений действительно ли LINQ полны по Тьюрингу?

Поскольку они находятся в.Net 3.5. Я знаю, что они находятся в 4,0, поскольку это - то, с чем работает ДОЛЛАР, но я интересуюсь версией, которую мы имеем теперь.
вопрос задан: 30 October 2008 14:37
3
ответа

Остановка на неполных по Тьюрингу языках

Проблема остановки не может быть решена для полных по Тьюрингу языков, и она может быть решена тривиально для некоторых языков неTC как regexes, где она всегда останавливается. Я задавался вопросом, существует ли кто-либо...
вопрос задан: 21 July 2016 16:29
3
ответа

Почему Игра Conway Жизни может быть классифицирована как универсальная машина?

Я недавно читал об искусственной жизни и столкнулся с оператором, "демонстрирует Игра Conway Жизни достаточно сложности, которая будет классифицирована как универсальная машина". У меня только было грубое...
вопрос задан: 11 February 2010 04:36
2
ответа

Язык может быть полным по Тьюрингу без поддержки массивов?

Если язык имеет управляющие структуры и переменные, но никакая поддержка массивов, списков, доступа к памяти и выделения, и т.д., это может быть полно по Тьюрингу? Возможно, если не было никакого предела на сумму...
вопрос задан: 7 September 2009 16:08
0
ответов

Насколько полезный полнота по Тьюрингу? нейронные сети Тьюринг завершены?

Читая некоторые газеты о полноте по Тьюрингу текущих нейронных сетей (например: исчисляемость Turing с нейронными сетями, Hava T. Siegelmann и Eduardo D. Sontag, 1991), я получил чувство...
вопрос задан: 9 June 2019 03:30
0
ответов

Действительно ли CSS полон по Тьюрингу?

CSS не, поскольку я знаю, полный по Тьюрингу. Но мои знания CSS очень ограничены. Действительно ли CSS полон по Тьюрингу? Любой существующий проект или комитеты, рассматривая функции языка, которые могли бы...
вопрос задан: 16 July 2017 09:24
0
ответов

Я услышал, что ЛАТЕКС полон по Тьюрингу. Там какие-либо программы записаны в ЛАТЕКСЕ?

Возможно сделать интересные вещи с тем, что обычно считалось бы наборными языками. Например, можно создать Множество Мандельброта с помощью постскриптума. Это предлагается в этом...
вопрос задан: 13 April 2017 12:57
0
ответов

Действительно ли препроцессор C99 полон по Тьюрингу?

После обнаружения возможностей препроцессора Повышения я задавался вопросом: действительно ли препроцессор C99 полон по Тьюрингу? В противном случае, в чем это испытывает недостаток для не квалификации?
вопрос задан: 25 February 2016 20:09
0
ответов

Какие логические элементы требуются для полноты по Тьюрингу?

Мой сын играл в Little Big Planet 2 в последнее время, и я заметил, что редактор игры допускает И-ИЛИ, ИЛИ-ИЛИ-ИЛИ НЕ врата ... Закончен ли Тьюринг? Если это так, может кто-нибудь порекомендовать источник для ...
вопрос задан: 3 March 2013 19:15
0
ответов

Система типов в Scala завершена по Тьюрингу. Доказательство? Пример? Преимущества?

Есть утверждения, что система типов Scala является полной по Тьюрингу. Мои вопросы: есть ли этому официальное доказательство? Как будет выглядеть простое вычисление в системе типов Scala? Это что-то ...
вопрос задан: 28 October 2010 11:02
0
ответов

Каковы практические ограничения полный язык Тьюринга, такой как Coq?

Поскольку существуют полные языки, отличные от тьюринговых, и, учитывая, что я не изучал Comp Sci в университете, может ли кто-нибудь объяснить что-то, что не может сделать неполный по Тьюрингу язык (такой как Coq)? Или ...
вопрос задан: 16 August 2010 10:57
0
ответов

Действительно ли make-файлы полны по Тьюрингу?

В последнее время на работе, я делал некоторый перевод от Make-файлов до альтернативной системы сборки. Я видел, что некоторые довольно волосатые Делают код в некоторых местах с помощью функциональной карты, фильтра и foreach...
вопрос задан: 13 August 2010 21:58