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

У попередньому запитанні Що таке алгоритм? , Я запитав, чи є "алгоритм", який повертає значення функції на основі масиву попередньо обчислених значень, був алгоритмом. Один з відповідей, який привернув мою увагу, був такий: Факторний приклад потрапляє в іншу модель обчислення, звану нерівномірним обчисленням. Машина Тьюрінга є прикладом єдиної моделі обчислення: …

9 turing-machines  computation-models 

Булева функція - це функція f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}. Булева основа ( ∨ , ∧ )(∨,∧)(\vee,\wedge) Відомо, що Тьюрінг завершений, оскільки дозволяє будь-яку послідовність s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}перевернути або залишити без змін. Те саме можна сказатиX O RXOR\mathrm{XOR} ворота. У цьому …

9 turing-machines  turing-completeness  boolean-algebra 

У коледжі ми вивчали теорію обчислення взагалі та машини Тьюрінга. Один з чудових теоретичних результатів полягає в тому, що ціною потенційно великого алфавіту (символів) можна зменшити кількість станів до лише 2. Я шукав приклади різних машин Тюрінга, і загальним прикладом є матч / шашка "Парентез". По суті, він перевіряє, чи …

9 turing-machines  context-free  parsers 

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

9 computability  turing-machines 

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

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