Запитання з тегом «turing-completeness»

6
Чи є мінімальні критерії для мови програмування завершеною?
Чи існує набір мов програмування на мові програмування для того, щоб він вважався Тюрінг завершеним? З того, що я можу сказати з вікіпедії , мова повинна підтримувати рекурсію, або, здавалося б, повинна бути здатна працювати без зупинки. Це все є для цього?
9
Чому деякі мови програмування повні, але їм не вистачає здібностей інших мов?
Я натрапив на дивну проблему, коли писав інтерпретатор, який (повинен) підключати до зовнішніх програм / функцій: Функції в "C" і "C ++" не можуть підключити різні функції , наприклад, я не можу зробити функцію, яка викликає "printf" з точно такими ж аргументами, які він отримав, і замість цього повинен викликати …
9
Чи є насправді С-Тьюрінг повним?
Я намагався пояснити комусь, що C є Тьюрінгом, і зрозумів, що я насправді не знаю, чи справді це технічно Тюрінг-завершений. (З як у абстрактній семантиці, а не як у реальній реалізації.) Наскільки я можу сказати, "очевидний" відповідь (приблизно: він може адресувати довільний об'єм пам'яті, тому він може імітувати машину оперативної …
5
Що означає бути Тьюрінгом повним?
Я бачу, що більшість визначень того, що означає бути Тюрінгом, є тавтологічними до певної міри. Наприклад, якщо ви Google "що означає" Тюрінг повний ", ви отримуєте: Комп'ютер є Тьюрінгом повним, якщо він може вирішити будь-яку проблему, яку машина Тьюрінга може ... Хоча дуже чітко визначено, чи є різні системи Тьюрінга …
5
Чи можуть регулярні мови бути Тюрінгом завершеними?
Я читав про Йоту та Джота і вважав цей розділ заплутаним: На відміну від Iota, де синтаксичне дерево для рядка може розгалужуватися або зліва, або справа, синтаксис Jot рівномірно ліво-розгалужений. Як результат, Iota суворо без контексту, але Jot є звичайною мовою. Я розумію, що і Йота, і Джот Тюрінг завершені. …
7
Чи всі мови цілей взаємозамінні
Зауважте, хоча я знаю, як програмувати, я досить новачок в теорії CS. Відповідно до цієї відповіді Тюрінг повноти - це абстрактне поняття обчислюваності. Якщо мова Тюрінга є повною, вона може робити будь-які обчислення, які може зробити будь-яка інша мова Тюрінга. І будь-яку програму, написану на будь-якій мові Тьюрінга, можна переписати …
1
Чи достатньо циклу "до часу" для цілісності Тьюрінга?
Я знаю, що в імперативних мовах програмування цикл time-do є достатнім як конструкція потоку управління, щоб зробити мову Turing-повною (що стосується потоку управління - звичайно, нам також потрібна необмежена пам'ять і певні оператори ...) . Суть мого питання полягає в тому: чи цикл do-while має таку ж обчислювальну потужність, що …
5
Чому функціональні мови Тьюрінга завершені?
Можливо, моє обмежене розуміння теми є неправильним, але це те, що я розумію поки що: Функціональне програмування засноване на обчисленні лямбда, сформульованому Церквою Алонцо. Імперативне програмування базується на моделі машини Тьюрінга, зробленої Аланом Тьюрінгом, студентом Церкви. Обчислення лямбда настільки ж потужне і здатне, як і машина Тюрінга, тобто вони є …
2
Як завершено правило 110 Тьюрінга?
Я читав сторінку wikipedia для правила 110 у стільникових автоматиках, і я більш-менш знаю, як вони працюють (набір правил визначає, де намалювати наступний 1 або 0). Я щойно прочитав, що вони Тюрінг завершені, але я навіть не можу зрозуміти, як би ви "програмували" на "правило 110"?
4
Що потрібно для універсальних аналогових обчислень?
Які операції потрібно виконати, щоб зробити будь-які довільні аналогові обчислення ? Чи вистачить складання, віднімання, множення та ділення? Також хтось точно знає, які проблеми можна відстежити за допомогою аналогових обчислень, а не з цифровими?
2
Що робить PROLOG Turing повним?
Я знаю, що це можна довести, що PROLOG є Тюрінг-завершеним, створивши програму, яка імітує машину Тьюрінга на зразок цього: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, …
2
З'єднання між воротами NAND та повнотою Тюрінга
Я знаю, що ворота NAND можуть використовуватися для створення схем, що реалізують кожну таблицю істинності, а сучасні комп'ютери складаються з воріт NAND. Який теоретичний зв’язок між воротами NAND та повнотою Тюрінга? Мені здається, що схеми воріт NAND ближче до кінцевих автоматів, ніж машини Тьюрінга. Моя інтуїція полягає в тому, що …
1
Чи існує повна проблема для класу Тюрінг рішучих проблем?
Такі мови, як , повністю скорочуються при скороченні багато-одного. Банально бачити, що у СЕП теж є цілі проблеми. С. Шмітц [1] розглядає деякі класи між ELEM та REC . Вони представляють повні проблеми для цих класів при спеціально створених скороченнях.HALTTMHALTTМ\text{HALT}_{TM}RE-completeПовторне завершення\textsf{RE-complete}co-REспів-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Чи існують повні проблеми для (він же REC ) …
2
Чи надають функції вищого порядку більше функціонального програмування?
Я задавав подібне запитання на cstheory.SE . Відповідно до цієї відповіді на Stackoverflow існує алгоритм, який на не ледачому чистому функціональному мові програмування має складність , тоді як той самий алгоритм в імперативному програмуванні - Ω ( n ) . Додавання лінивості до мови FP зробило б алгоритм Ω ( …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.