Вопросы с тегом «universal-computation»

Я хочу закодировать простую машину Тьюринга в правилах карточной игры. Я хотел бы сделать его универсальной машиной Тьюринга, чтобы доказать полноту Тьюринга. До сих пор я создал игровое состояние, которое кодирует машину Тьюринга с 2 состояниями и 3 символами Алекса Смита . Тем не менее, кажется (по общему признанию, основанному …

31 computability  turing-machines  universal-computation 

Если мы посмотрим на теорему об иерархии DTIME, то получим журнал из-за накладных расходов при моделировании детерминированной машины Тьюринга на универсальной машине: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) У нас нет такого рода накладных расходов на NTIME из DSPACE. Основное обоснование исходит из деталей доказательства, учитывая разницу между симуляторами. Мой вопрос заключается …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Давайте исправим кодирование без Трекинга машин Тьюринга и универсальную машину Тьюринга которая на входе (закодированный как код без префиксов последующим ) выводит все выходные данные на входе x (возможно, оба бегают вечно). Определим колмогоровскую сложность x , K (x) как длину самой короткой программы p такой, что U (p) = …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Я не могу думать ни о какой такой модели, может быть, о какой-то форме типизированного лямбда-исчисления? какой-то элементарный клеточный автомат? Это почти опровергло бы «Принцип вычислительной эквивалентности» Вольфрама: Почти все процессы, которые не являются явно простыми, могут рассматриваться как вычисления эквивалентной сложности

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Это переформулировка программ грамматики? предыдущий вопрос от Vag и множество предложений от комментаторов. Каким образом грамматика может рассматриваться как спецификация модели вычислений? Если, например, мы берем простую контекстно-свободную грамматику, такую ​​как G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' -> …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Я ищу наименьший возможный универсальный комбинатор , измеряемый количеством абстракций и приложений, необходимых для указания такого комбинатора в лямбда-исчислении . Примеры универсальных комбинаторов включают в себя: размер 23: λf.f (fS (KKKI)) K размер 18: λf.f (fS (KK)) K размер 14: λf.fKSK размер 12: λf.fS (λxyz.x) размер 11: λf.fSK где S …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Существуют ли практические применения для моделей программирования не фон Неймана? Каковы наиболее распространенные языки программирования не фон Неймана?

16 universal-computation  logic-programming 

Грег Иган в своей художественной литературе «Темные целые» (рассказ о двух вселенных, в которых две разные математики общаются посредством доказательства теорем о непоследовательности в арифметике) утверждает, что можно построить компьютер общего назначения исключительно на существующих интернет-маршрутизаторах, используя только его основные функциональные возможности коммутации пакетов (и, если быть точным, исправление контрольной …

14 computability  universal-computation 

Существует старая хитрость для записи алгоритма, который, если P = NP, решает SAT за полиномиальное время. По сути, каждый перечисляет все полиномиальные машины времени и многозадачность над ними. Есть ли аналогичная уловка для односторонних функций (или даже односторонних люков)? То есть, можем ли мы записать функцию, которая, если существуют односторонние …

13 universal-computation  one-way-function 

Робин Ганди был учеником Алана Тьюринга . Ганди сделал анализ Аналитического двигателя Бэббиджа (см. «Ганди - Слияние идей в 1936 году», цитируемый в «Херкен, Рольф - Универсальная машина Тьюринга - Обследование за полвека . Springer Verlag») - и сказал, что это сделал (ср. стр. 52–53): Арифметические функции +, -, ×, …

10 turing-machines  universal-computation  charles-babbage 

В Бернштейн и Вазираньте в основополагающей работе «Квантовая теория сложности», они показывают , что - мерное унитарное преобразование может быть эффективно аппроксимировать продукт того , что они называют «рядом с тривиальными севооборотами» и «почти тривиальные фазовыми сдвиги».ddd «Почти тривиальные вращения» представляют собой одномерные матрицы которые действуют как единое целое во …

10 quantum-computing  linear-algebra  universal-computation 

Существует несколько различных (возможно, неэквивалентных) понятий универсальности вычислений (см., Например, последние пару страниц http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), и нет единого мнения среди эксперты о том, какие понятия являются наиболее правильными (см., например, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Я пытаюсь что-то сказать о конкретной модели биомолекулярных вычислений. Я хотел бы доказать, что он «более универсален» или …

10 universal-computation 

Давайте исправим кодировку машин Тьюринга и универсальной машины Тьюринга U, которая на входе (T, x) выводит все выходные данные T на входе x (возможно, оба работают вечно). Определим колмогоровскую сложность x, K (x) как длину самой короткой программы p, такой, что U (p) = x. Существует ли N такое, что …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines