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

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

9 computability  reversible-computing 

Читаючи це питання " Природні проблеми, які не можна визначити, але не закінчуючи Тьюрінга ", на думку мені прийшла наступна мова: Якщо - функція зайнятого бобра (максимально досяжний бал серед усіх зупинених 2-символьних машин n-стану Тюрінга вищеописаного типу при запуску на порожню стрічку), визначте функцію:Σ ( ⋅ )Σ(⋅)\Sigma(\cdot) Б Б …

9 computability  turing-machines 

Ми хочемо плитку m×mm×mm\times m-квадра з використанням двох типів плитки: 1×11×11 \times 1-квадра плитка і 2×22×22 \times 2- плитка-квадрат така, що кожен підстилаючий квадрат покритий без перекриття. Давайте визначимо функціюf(n)f(n)f(n) що дає розмір найбільшого однозначно оброблюваного квадрата з використанням nnn 1×11×11\times 1-квадрати і будь-яку кількість 2×22×22 \times 2-квадрати. Чи можна …

9 computability  combinatorics 

Чому обчислювальні числа (у розумінні Тюрінга) перелічуються? Це повинно бути дуже очевидно, але в даний момент я його просто не бачу.

9 computability  turing-machines  enumeration 

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

9 computability  turing-machines  reductions  simulation 

Я хотів би скористатися вашою допомогою з наступної проблеми: L = { ⟨ М⟩ ∣ L ( M) без контексту }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажіть, що .L ∉ R E∪ Сo R EL∉RE∪CoREL \notin RE \cup CoRE Я знаю, що для доказу достатньо знайти …

9 formal-languages  computability  context-free  turing-machines 

На середину середини існував варіант наступного питання: Для рішучого LLL визначити Pref ( L ) = { x ∣ ∃ y ст х у∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\} Покажи це Попередньо ( L )Pref(L)\text{Pref}(L) не обов'язково вирішувати. Але …

9 computability  undecidability