0
ответов

Обычные ли .NET Выражения Turing complete?

Регулярные выражения часто называют классическим примером языка, который не завершен по Тьюрингу. Например, "регулярные выражения" даются в качестве ответа на этот вопрос SO, глядя ...
вопрос задан: 23 May 2017 11:45
0
ответов

Завершены ли регулярные выражения Perl?

Я видел, как программисты на Ruby и Perl решают некоторые сложные задачи кода полностью с помощью регулярных выражений. Возможности просмотра вперед и назад в регулярных выражениях Perl делают их более мощными, чем регулярные выражения ...
вопрос задан: 23 May 2017 02:34
0
ответов

Полно ли метапрограммирование на C++ препроцессоре Turing-complete?

Я знаю, что метапрограммирование шаблонов на C++ является Turing-complete. То же самое можно сказать и о препроцессорном метапрограммировании?
вопрос задан: 22 June 2016 20:16
0
ответов

Полнота по Тьюрингу лямбда-исчисления?

Как вы аргументируете тот факт, что лямбда-исчисление является полным по Тьюрингу (самым простым способом)?
вопрос задан: 8 December 2013 19:14
0
ответов

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

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

Является ли моя программа полной по Тьюрингу?

Я потратил неделю или две на программирование простого логического решателя. Построив его, я задался вопросом, является ли язык, который он решает, полным по Тьюрингу или нет. Поэтому я закодировал небольшой набор уравнений...
вопрос задан: 4 June 2012 09:10
0
ответов

Как работает эта реализация полного правила 110 по Тьюрингу в HTML5 + CSS3?

Сегодня утром я наткнулся на следующую реализацию правила 110 в чистом HTML5 + CSS3 (без JavaScript) . Вы последовательно нажимаете табуляцию и пробел, чтобы запустить автомат. http: //elilies.com/rule110-full ....
вопрос задан: 18 March 2011 20:53
0
ответов

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

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

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

Я искал в Интернете и m нахожу несколько противоречивые ответы. Некоторые источники утверждают, что язык / машина / что-то у вас является полным по Тьюрингу тогда и только тогда, когда он имеет как условные, так и ...
вопрос задан: 27 October 2010 03:30