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

Нещодавно я читав деякі ідеї та історію першокласної роботи, проведеної різними логіками та математиками щодо обчислюваності. Хоча окремі поняття для мене досить зрозумілі, я намагаюся зрозуміти там взаємозв'язки та абстрактний рівень, на якому вони всі пов'язані. Ми знаємо, що теорема Церкви (а точніше, незалежні докази Ентшейдунгспроблеми Гільберта Алонцо Церкви та …

27 lo.logic  computability  turing-machines 

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

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

Мені відомо, дуже конкретне питання, і я сумніваюся, що на нього відповість кожен, хто вже не знайомий з правилами магії. Перехресне повідомлення на Draw3Cards . Ось вичерпні правила гри Magic: The Gathering . Дивіться це питання для переліку всіх магічних карт. Моє запитання - чи гра Turing завершена? Для отримання …

24 turing-machines  card-games  recreational 

Мені важко викладати поняття обчислювальних функцій. Я намагався розробити ідею, чому такі дослідники, як Гільберт / Акерман / Годель / Тьюрінг / Церква / ... винайшли поняття «обчислюваність». Студенти одразу запитали: "що означає обчислюваність?" і я не можу відповісти, якщо не навчу їх машинам Тьюрінга, а потім відповісти "функція обчислюється, …

22 soft-question  computability  turing-machines  teaching 

Наприклад, в мовах програмування звичайно писати компілятор / інтерпретатор X-in-X, але на загальнішому рівні багато відомих систем Тьюрінга можуть імітувати себе вражаючими способами (наприклад, імітуючи Гра життя Конвея у грі життя Конвея ). Отже, моє запитання: чи система, здатна імітувати себе, достатня для того, щоб довести, що Тюрінг завершений? Це, …

20 computability  automata-theory  turing-machines 

Читаючи кілька останніх тем про квантові обчислення ( тут , тут , і тут ), змусити мене запам'ятати цікаве запитання про потужність якоїсь машини -norm.ℓpℓp\ell_p Для людей, які працюють в теорії складності, що збираються до квантової складності, чудовим вступним текстом є праця Fortnow, посилання якої розмістив Джошуа Грохов тут . …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Я нещодавно мав дискусію про машини Тюрінга, коли мене запитали: "Машина Тьюрінга походить від автоматів чи це навпаки"? Я, звичайно, не знав відповіді, але мені цікаво це дізнатись. Машина Тьюрінга - це, в основному, трохи більш вдосконалена версія Push-Down Automata. З цього я б припустив, що машина Тьюрінга походить від …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Я десь читав, що машина Тьюрінга не може це обчислити, і тому не можна визначити, але чому? Чому комп'ютерно неможливо створити дерево розбору та прийняти рішення? Можливо, я помиляюся, і це можна зробити?

19 computability  turing-machines  context-free 

Проблему рішення CNF-SAT можна описати так: Вхідні дані: булева формула у сполучній нормальній формі.ϕϕ\phi Питання: Чи існує змінне призначення, яке задовольняє ?ϕϕ\phi Я розглядаю декілька різних підходів до вирішення CNF-SAT з недетермінованою двосмуговою машиною Тюрінга . Я вважаю, що існує NTM, який вирішує CNF-SAT в кроках.n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Запитання: Чи …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Як відомо, існує багато аномалій для односмугових машин Тюрінга, коли час : багатосмуговий моделювання ТМ, моделювання більшого алфавіту стрічки з просто { 0 , 1 , b } , час конструктивності, нещільність теорема ієрархії часу, ...о ( н.)2)о(н2)o(n^2){ 0 , 1 , b }{0,1,б}\{0,1,b\} Також є такі результати, як , …

18 cc.complexity-theory  turing-machines 

Нещодавно я натрапив на досить цікавий теоретичний конструкт. Так звана машина Gödel Це загальне вирішення проблем, яке здатне до самооптимізації. Він підходить для реактивних середовищ. Як я розумію, вона може бути реалізована як програма для універсальної машини Тьюрінга, хоча її вимоги виходять далеко за межі апаратних засобів, які є в …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Відмова: Я дуже мало знаю про теорію складності. Вибачте, але насправді немає можливості задати це питання, не будучи (страшенно) лаконічним: Якими мають бути морфізми в категорії "машин Тьюрінга"? Це, очевидно, суб'єктивно і залежить від інтерпретації теорії, тому відповідь на це питання в ідеалі повинна також дати певні докази та міркування, …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Я хочу отримати чітку відповідь на заголовне питання. Чи існує набір правил, які перетворюють будь-яку програму в конфігурацію кінцевих фрагментів на нескінченній дошці, так що якщо чорно-білі грають лише легальні кроки, гра закінчується в обмежений час, якщо програма зупиняється? Правила такі ж, як і звичайні шахи мінус правило 50 переміщення, …

16 computability  turing-machines  board-games  halting-problem  recreational 

Однією з дивовижних речей з інформатики є те, що фізична реалізація в деякому сенсі "не має значення". Люди успішно побудували комп’ютери з декількох різних субстратів - реле, вакуумних труб, дискретних транзисторів і т. Д. Люди скоро можуть досягти успіху створити комп’ютери Тьюрінга з нелінійних оптичних матеріалів, різних біомолекул та кількох …

16 computability  turing-machines  terminology  physics  natural-computing