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

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

10 computability  turing-machines  formal-grammars 

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

10 computability  neural-networks 

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

10 computability  turing-machines  intuition 

Чи потрібно, щоб був нескінченним, щоб бути невизначеним?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я маю на увазі, що якщо ми виберемо мову буде обмеженою кінцевою версією , тобто , ( ), з . Чи можливо бути невід’ємною мовою? L′L′L' | L ′ | ≤ N N ∈ N L ′ ⊂ L L ′L⊆Σ∗L⊆Σ∗L\subseteq …

10 formal-languages  computability  undecidability 

Нехай A і B - мови з A ⊆ B, а B - впізнаваним Тьюрінга. Чи може A не бути впізнаваним Тьюрінга? Якщо так, чи є приклад?

10 computability 

Гаразд, ось питання з минулого тесту в моєму класі Теорія обчислень: Непридатний стан у ТМ - це стан, який ніколи не вводиться в жодному вхідному рядку. Нехай Доведіть, що можна визначити.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in …

10 computability  undecidability  formal-methods  turing-machines 

Чи "теорема Райса для обчислюваних дійсних даних" - тобто жодна нетривіальна властивість числа, представленого заданим обчислювальним реальним, не може бути вирішена - правда? Чи відповідає це якимось прямим способом зв’язності дійсних дій?

10 computability  real-numbers  computable-analysis 

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

9 computability  turing-machines  undecidability  halting-problem 

Одне твердження теореми Райса наведено на сторінці 35 "Комп'ютерна складність: сучасний підхід" (Арора-Барак): Часткова функція від {0,1}∗{0,1}∗\{0,1\}^* до {0,1}∗{0,1}∗\{0,1\}^*це функція, яка не обов'язково визначається на всіх її входах. Ми говоримо, що ТМMMM обчислює часткову функцію fff якщо для кожного xxx на якому fff визначено, M(x)=f(x)M(x)=f(x)M(x) = f(x) і для кожного …

9 computability  turing-machines  undecidability  rice-theorem 

Я намагаюся знайти доказ для наступного: Для будь-якої мови AAA , існує мова BBB такі , що A≤TBA≤TBA \le_{\mathrm{T}} B , але B ≰TA≰TA\nleq_{\mathrm{T}} A . Я думав дозволити BBB бути ATMATMA_{\mathrm{TM}} , але я розумію, що не всі мови Тюрінг зводяться до ATMATMA_{\mathrm{TM}} , тому A≤TBA≤TBA \le _T B …

9 computability  reductions  undecidability 

У мене виникло питання про проблему зупинки, і я не зміг знайти хорошої відповіді в Інтернеті, цікавившись, чи хтось може допомогти. Чи можливо, що проблема зупинки вирішується для будь-якого ТМ на будь-якому вході, якщо вхід не є самою TM? В основному: Halts(TM, I) IF TM == I: Undecidable, return a …

9 computability  undecidability  halting-problem 

Сьогодні на обід я підняв це питання разом із колегами, і на моє здивування, аргумент Джеффа Е. про те, що проблема вирішується, не переконав їх ( ось тісно пов'язаний пост про математичний потік). Вирішення проблеми, яке простіше пояснити ("це P = NP?"), Також вирішується: або так, ні, і одна з …

9 computability  undecidability 

Для того, щоб довести, що 3-х забарвлення можна вирішити, чи достатньо сказати: Кожен вузол у графі має 3 можливі кольори Тому ми можемо перерахувати всі можливості, а потім перевірити, чи не два ребра з'єднують вузли одного кольору3н3н3^n Чи це доводить, що 3-х забарвлення можна вирішити? Або мені потрібно створити машину …

9 computability  turing-machines  colorings 

Припустимо, у мене є дві функції і і мені цікаво визначити, чи єFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Припустимо, що мої функції складаються з елементарних функцій (многочленів, експоненціалів, журналів і тригонометричних функцій), але не, скажімо, з ряду Тейлора. Чи вирішується ця проблема? Якщо ні, то це напіввідкладно? (Я запитую, тому що …

9 computability  undecidability  mathematical-analysis  computer-algebra 

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

9 computability  computation-models