14
ответов
Полные по Тьюрингу шаблоны C++?
Мне говорят, что шаблонная система в C++ полна по Тьюрингу во время компиляции. Это упоминается в этом сообщении и также на Википедию. Можно ли обеспечить нетривиальный пример вычисления, которое использует...
вопрос задан: 23 May 2017 11:47
12
ответов
Что такое практические инструкции для оценки “полноты по Тьюрингу” языка?
Я считал "what-is-turing-complete" и страницу Википедии, но я меньше интересуюсь формальным доказательством, чем в практических последствиях того, чтобы быть полным по Тьюрингу. Что я на самом деле пытаюсь решить...
вопрос задан: 23 May 2017 12:17
10
ответов
Создание кратчайшего полного по Тьюрингу интерпретатора [закрыто]
Я только что попытался создать наименьший возможный переводчик языка. Хотите присоединиться и попробовать? Правила игры: Вы должны указать язык программирования, который вы интерпретируете. Если это ...
вопрос задан: 16 November 2014 21:46
9
ответов
Языком может быть Тьюринг, завершенный но неполный другими способами?
Например, есть ли определенные вещи при записи операционной системы, которая не может быть выполнена в Тьюринге полный язык?
вопрос задан: 1 May 2009 23:18
8
ответов
Эти виды программ могут существовать на каждом полном по Тьюрингу языке?
На каждом полном по Тьюрингу языке действительно ли возможно создать рабочий Компилятор для себя, который сначала работает на интерпретаторе, записанном на некотором другом языке, и затем компилирует свой собственный исходный код? (...
вопрос задан: 8 April 2010 18:30
7
ответов
Насколько полезный полнота по Тьюрингу? нейронные сети Тьюринг завершены?
Читая некоторые газеты о полноте по Тьюрингу текущих нейронных сетей (например: исчисляемость Turing с нейронными сетями, Hava T. Siegelmann и Eduardo D. Sontag, 1991), я получил чувство...
вопрос задан: 9 June 2019 03:30
7
ответов
Практические нетурингово-полные языки?
Почти все используемые языки программирования являются Turing Complete, и хотя это позволяет использовать язык для представления любого вычислимого алгоритма, он также имеет свой собственный набор проблем. Видя, как все ...
вопрос задан: 12 May 2014 17:00
6
ответов
Что такое полный Тьюринг?
Что означает выражение «полный Тьюринг»? Можете ли вы дать простое объяснение, не вдаваясь в слишком много теоретических деталей?
вопрос задан: 23 June 2012 00:22
5
ответов
Я услышал, что ЛАТЕКС полон по Тьюрингу. Там какие-либо программы записаны в ЛАТЕКСЕ?
Возможно сделать интересные вещи с тем, что обычно считалось бы наборными языками. Например, можно создать Множество Мандельброта с помощью постскриптума. Это предлагается в этом...
вопрос задан: 13 April 2017 12:57
5
ответов
Что awk может сделать это, sed не может?
Я использовал sed для пакета ptovess, где я не мог сделать этого с awk. Vould awk сделали это? Или действительно ли это - больше вопрос выбора и вызов awk и sed эквивалент для использования. Они оба делают общий поиск...
вопрос задан: 22 September 2014 09:19
5
ответов
Что заставляет людей думать, что NNS имеет больше вычислительной силы, чем существующие модели?
Я читал в Википедии, что функции, определяемые нейронной сети на поле произвольных реальных / рациональных чисел (наряду с алгоритмическими схемами и спекулятивными 'трансрекурсивными' моделями) имеют больше...
вопрос задан: 8 April 2011 14:13
4
ответа
Почему Игра Conway Жизни может быть классифицирована как универсальная машина?
Я недавно читал об искусственной жизни и столкнулся с оператором, "демонстрирует Игра Conway Жизни достаточно сложности, которая будет классифицирована как универсальная машина". У меня только было грубое...
вопрос задан: 11 February 2010 04:36
4
ответа
Деревья выражений действительно ли LINQ полны по Тьюрингу?
Поскольку они находятся в.Net 3.5. Я знаю, что они находятся в 4,0, поскольку это - то, с чем работает ДОЛЛАР, но я интересуюсь версией, которую мы имеем теперь.
вопрос задан: 30 October 2008 14:37
3
ответа
Остановка на неполных по Тьюрингу языках
Проблема остановки не может быть решена для полных по Тьюрингу языков, и она может быть решена тривиально для некоторых языков неTC как regexes, где она всегда останавливается. Я задавался вопросом, существует ли кто-либо...
вопрос задан: 21 July 2016 16:29
3
ответа
Действительно минимальная шепелявость
Каков минимальный набор примитивов, требуемых таким образом, что язык полон по Тьюрингу и вариант шепелявости? Походит на автомобиль, CDR и некоторое управление потоком, и что-то для REPL достаточно. Это быть хорошим, если...
вопрос задан: 28 April 2010 17:07
3
ответа
Как мог Куайн в моем взгляде языка программирования?
Я создал полный Тьюрингом язык программирования (уже доказанный), таким образом, должно быть возможно записать Куайну для него, правильно? Но все quines, которые я знаю, хранят свой исходный код в строке и затем...
вопрос задан: 11 April 2010 19:32
3
ответа
Действительно ли возможно создать Куайна на каждом полном Тьюрингом языке?
Я просто хотел знать, на ли 100% возможно, если мой язык полон Тьюрингом, для записи программы в нем, которая распечатывает себя (конечно, не использование функции чтения файла) Поэтому если язык просто...
вопрос задан: 2 April 2010 17:10
2
ответа
Действительно ли CSS полон по Тьюрингу?
CSS не, поскольку я знаю, полный по Тьюрингу. Но мои знания CSS очень ограничены. Действительно ли CSS полон по Тьюрингу? Любой существующий проект или комитеты, рассматривая функции языка, которые могли бы...
вопрос задан: 16 July 2017 09:24
2
ответа
Почему стратегия оценки вызова по значению не полна по Тьюрингу?
Я читаю статью о различных стратегиях оценки (я связал статью в Wiki, но я читаю другой не на английском языке). И это говорит это, в отличие от этого, стратегиям вызова по имени и вызова по необходимости...
вопрос задан: 23 May 2017 11:45
2
ответа
Кортеж реляционное исчисление
Является безопасный кортеж реляционным исчислением Тьюринг полный язык?
вопрос задан: 5 December 2016 12:30
2
ответа
Действительно ли препроцессор C99 полон по Тьюрингу?
После обнаружения возможностей препроцессора Повышения я задавался вопросом: действительно ли препроцессор C99 полон по Тьюрингу? В противном случае, в чем это испытывает недостаток для не квалификации?
вопрос задан: 25 February 2016 20:09
2
ответа
Ищу языки, не являющиеся полными по Тьюрингу
Я немного знаю о том, что такое машина Тьюринга и полный по Тьюрингу язык, но, чтобы лучше понять, может ли кто-нибудь привести примеры языков что не является полным по Тьюрингу? (может быть, даже машины ...
вопрос задан: 14 April 2015 06:33
2
ответа
What does it mean for a language to be statically typed?
My understanding is that it means that one can potentially write a program to formally prove that a program written in a statically typed language will be free of a certain (small) subset of defects. ...
вопрос задан: 6 October 2010 12:07
2
ответа
Каковы практические ограничения полный язык Тьюринга, такой как Coq?
Поскольку существуют полные языки, отличные от тьюринговых, и, учитывая, что я не изучал Comp Sci в университете, может ли кто-нибудь объяснить что-то, что не может сделать неполный по Тьюрингу язык (такой как Coq)? Или ...
вопрос задан: 16 August 2010 10:57
2
ответа
Действительно ли make-файлы полны по Тьюрингу?
В последнее время на работе, я делал некоторый перевод от Make-файлов до альтернативной системы сборки. Я видел, что некоторые довольно волосатые Делают код в некоторых местах с помощью функциональной карты, фильтра и foreach...
вопрос задан: 13 August 2010 21:58
2
ответа
Язык может быть полным по Тьюрингу без поддержки массивов?
Если язык имеет управляющие структуры и переменные, но никакая поддержка массивов, списков, доступа к памяти и выделения, и т.д., это может быть полно по Тьюрингу? Возможно, если не было никакого предела на сумму...
вопрос задан: 7 September 2009 16:08
1
ответ
Какое свойство системы типов Scala делает ее полной по Тьюрингу? [Закрыто]
Scala использует тип -система, основанная на Системе F ω, которую обычно называют строго нормализующей. Сильная нормализация подразумевает нетьюринговую полноту. Тем не менее, система типов Scala - это система типов Тьюринга -...
вопрос задан: 13 December 2011 23:36
0
ответов
Является ли Стата Тьюринг-полной?
I недавно занимались статистической работой со Stata, и мне это не очень понравилось. Мне не кажется, что это "правильный" язык программирования: в частности, я не думаю, что есть способ ...
вопрос задан: 31 May 2018 10:55
0
ответов
Завершена ли компиляция C #4.0 -во времени?
Существует хорошо -известный факт, что шаблоны C++ являются -полными по Тьюрингу, а CSS — полными -по Тьюрингу (! )и что разрешение перегрузки C #равно NP -жесткому (даже без дженериков ). Но есть ли C #4.0 (с co/...
вопрос задан: 23 May 2017 12:31
0
ответов
Критерии определения того, является ли это языком программирования
Каковы критерии или основные функции, необходимые для определения того, является ли X или Y (или нет) языком программирования? Я прочитал (Считается ли HTML языком программирования ?, Тьюринг завершен, и ...
вопрос задан: 23 May 2017 11:53