Запитання з тегом «universal-computation»

Я хочу закодувати просту машину Тюрінга в правилах карткової гри. Я хотів би зробити його універсальною машиною Тьюрінга, щоб довести повноту Тьюрінга. Поки що я створив ігровий стан, який кодує двошарову, 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 

Зафіксуємо кодування без машинної префіксації машин Тьюрінга та універсальної машини Тьюрінга яка на вході (кодується як код без префіксу а потім ) видає будь-які виходи на вхід (можливо обидва бігають вічно). Визначте складність Колмогорова , як довжину найкоротшої програми такою, що .UUU(T,x)(T,x)(T,x)TTTxxxTTTxxxxxxK(x)K(x)K(x)pppU(p)=xU(p)=xU(p)=x Чи є машина Тьюрінга така, що для кожного …

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

Я не можу придумати жодної такої моделі, можливо, якась форма набраного лямбда-числення? якийсь елементарний стільниковий автомат? Це майже спростує "Принцип обчислювальної еквівалентності" Вольфрама: Майже всі процеси, які не є очевидно простими, можна розглядати як обчислення еквівалентної складності

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

Це переформулювання програми граматики? попередній запитував Ваг і з багатьма пропозиціями від коментаторів. Яким чином граматика може розглядатися як зазначена модель обчислення? Якщо, наприклад, ми візьмемо просту без контексту граматику, таку як 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 року», цитовану у «Геркена, Рольфа - Універсальна машина Тюрінга - опитування півстоліття . Спрингер Верлаг») - і сказав, що це робиться (пор. С. 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-O жовтня/012148.html ). Я намагаюся сказати щось про конкретну модель біомолекулярних обчислень. Я хотів би стверджувати, що це "більш універсально" або "більш …

10 universal-computation 

Зафіксуємо кодування машин Тьюрінга та універсальної машини Тьюрінга, U, що на вході (T, x) видає будь-які виходи T на вході x (можливо, обидва працюють вічно). Визначте складність Колмогорова x, K (x) як довжину найкоротшої програми, p, таку, що U (p) = x. Чи існує N такий, що для всіх n> …

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