Запитання з тегом «computability»

Давши мову LLL , визначте набір довжини LLL як набір довжин слів у LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Які набори цілих чисел можуть бути набором довжин звичайної мови?

15 formal-languages  computability  regular-languages  finite-automata 

Такі мови, як , повністю скорочуються при скороченні багато-одного. Банально бачити, що у СЕП теж є цілі проблеми. С. Шмітц [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 ) …

14 computability  reductions  turing-completeness  recursion-theory 

Хочу знати, чи вирішується наступна проблема: Примірник: NFA A з n станами Питання: Чи існує якесь просте число p таке, що A приймає деякий рядок довжиною p. Я вважаю, що ця проблема не може бути вирішена, але я не можу її довести. Рішення може легко створити алгоритм, щоб визначити, чи …

14 computability  finite-automata 

Якщо насправді дорівнює N P , як би це покращило наші алгоритми швидше розбивати цілі числа. Іншими словами, яке розуміння дасть нам цей факт у розумінні цілочислової факторизації?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Цікаво , як вийшло , що наступний мову в .RR\mathrm R LМ1= { ⟨ М2⟩∣∣М2 є ТМ і L ( M1) = L ( M2) , та | ⟨ M1⟩ |> | ⟨ M2⟩ |}LМ1={⟨М2⟩|М2 є ТМ, і L(М1)=L(М2), і |⟨М1⟩|>|⟨М2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } …

14 computability  undecidability 

У мене є ці питання зі старого іспиту, який я намагаюся вирішити. Для кожного завдання, вхід є кодування деякої машини Тьюринга .MMM Для цілого числа та трьох наступних задач:c>1c>1c>1 Чи правда, що для кожного вводу , M не передає положення при запуску на ?xxx|x|+c|x|+c|x|+cxxx Чи правда, що для кожного вводу …

14 computability  turing-machines  undecidability 

Я шукав цікаві та прості в заявленні відкриті проблеми в обчислюваності (зрозуміло студентам, які навчаються на першому курсі з обчислюваності), щоб навести приклади відкритих проблем (і, очевидно, я хочу, щоб студенти могли зрозуміти проблему, не вимагаючи занадто багато нових визначення і також бути їм цікавим). Я знайшов цей список, але …

14 computability 

Тим не менш, багато "відомих" невирішених проблем є, як мінімум, нерозбірливими, їх доповнення не можна визначити. Одним із прикладів може бути проблема зупинки та її доповнення. Однак чи може хтось надати мені приклад, в якому і проблема, і її доповнення не можна визначити і не можна вирішити? Я думав про …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Мені цікаво, чи вирішення проблеми вирішення є проблемою, що вирішується. Я не здогадуюсь, але після первинних пошуків я не можу знайти жодної літератури з цієї проблеми.

13 computability  undecidability  decision-problem 

Апропоа на пропозицію Рафаеля про перетин двох NPDA : Нехай і A 2 NPDA для без контекстних мов L 1 і L 2 відповідно. Припускаючи, що ми знаємо, що L = L 1 ∩ L 2 без контексту, чи можемо ми (ефективно) побудувати NPDA A для L ?А1A1A_1А2A2A_2L1L1L_1L2L2L_2L = L1∩ …

13 computability  automata  pushdown-automata 

Функція максимального зсуву бобра, , має відомі значення для . Чи є якась основна, структурна причина, чому немислимо, що ми коли-небудь знаходимо для ? Що так відрізняється від ніж ? Або ? Десь на цьому шляху повинна існувати якась принципова різниця, інакше в принципі була б обчислюваною для всіх , …

13 computability  busy-beaver 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

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

13 computability  asymptotics 

Проблема після кореспонденції (PCP) не може бути вирішена. Обмежена версія PCP є -повне і відзначений варіант PCP (слова одного з двох списків повинні відрізнятися в першому листі) в [1].P S P A C EН ПNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} Чи використовуються ці обмежені версії для доведення деяких складних результатів …

13 complexity-theory  computability  reference-request 

Якщо у нас є будь-яка довільна комп'ютерна програма, яка може змінювати її вказівки, чи можна імітувати цю програму програмою, яка не може змінювати її інструкції? Редагувати: Я новачок у stackexchange, тому не впевнений, чи мені дозволяють задати НОВЕ запитання тут, але ось так: Добре, тому доказ того, що це можливо, …

12 computability  computation-models  turing-completeness  church-turing-thesis