Я хочу закодировать простую машину Тьюринга в правилах карточной игры. Я хотел бы сделать его универсальной машиной Тьюринга, чтобы доказать полноту Тьюринга. До сих пор я создал игровое состояние, которое кодирует машину Тьюринга с 2 состояниями и 3 символами Алекса Смита . Тем не менее, кажется...
Если мы посмотрим на теорему об иерархии DTIME, то получим журнал из-за накладных расходов при моделировании детерминированной машины Тьюринга на универсальной машине: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) У нас нет такого рода накладных расходов на...
Давайте исправим кодирование без Трекинга машин Тьюринга и универсальную машину Тьюринга которая на входе (закодированный как код без префиксов последующим ) выводит все выходные данные на входе x (возможно, оба бегают вечно). Определим колмогоровскую сложность x , K (x) как длину самой короткой...
Я не могу думать ни о какой такой модели, может быть, о какой-то форме типизированного лямбда-исчисления? какой-то элементарный клеточный автомат? Это почти опровергло бы «Принцип вычислительной эквивалентности» Вольфрама: Почти все процессы, которые не являются явно простыми, могут рассматриваться...
Это переформулировка программ грамматики? предыдущий вопрос от Vag и множество предложений от комментаторов. Каким образом грамматика может рассматриваться как спецификация модели вычислений? Если, например, мы берем простую контекстно-свободную грамматику, такую как G ::= '1' -> '0' '+' '1'...
Я ищу наименьший возможный универсальный комбинатор , измеряемый количеством абстракций и приложений, необходимых для указания такого комбинатора в лямбда-исчислении . Примеры универсальных комбинаторов включают в себя: размер 23: λf.f (fS (KKKI)) K размер 18: λf.f (fS (KK)) K размер 14: λf.fKSK...
Существуют ли практические применения для моделей программирования не фон Неймана? Каковы наиболее распространенные языки программирования не фон
Грег Иган в своей художественной литературе «Темные целые» (рассказ о двух вселенных, в которых две разные математики общаются посредством доказательства теорем о непоследовательности в арифметике) утверждает, что можно построить компьютер общего назначения исключительно на существующих...
Существует старая хитрость для записи алгоритма, который, если P = NP, решает SAT за полиномиальное время. По сути, каждый перечисляет все полиномиальные машины времени и многозадачность над ними. Есть ли аналогичная уловка для односторонних функций (или даже односторонних люков)? То есть, можем ли...
Существует несколько различных (возможно, неэквивалентных) понятий универсальности вычислений (см., Например, последние пару страниц http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), и нет единого мнения среди эксперты о том, какие понятия являются наиболее правильными (см.,...
В Бернштейн и Вазираньте в основополагающей работе «Квантовая теория сложности», они показывают , что - мерное унитарное преобразование может быть эффективно аппроксимировать продукт того , что они называют «рядом с тривиальными севооборотами» и «почти тривиальные фазовыми сдвиги».ddd «Почти...
Робин Ганди был учеником Алана Тьюринга . Ганди сделал анализ Аналитического двигателя Бэббиджа (см. «Ганди - Слияние идей в 1936 году», цитируемый в «Херкен, Рольф - Универсальная машина Тьюринга - Обследование за полвека . Springer Verlag») - и сказал, что это сделал (ср. стр. 52–53):...
Давайте исправим кодировку машин Тьюринга и универсальной машины Тьюринга U, которая на входе (T, x) выводит все выходные данные T на входе x (возможно, оба работают вечно). Определим колмогоровскую сложность x, K (x) как длину самой короткой программы p, такой, что U (p) = x. Существует ли N...