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

Я починаю читати книгу про обчислювальну складність та машини Тюрінга. Ось цитата: Алгоритм (тобто машина) може бути представлений у вигляді бітового рядка, як тільки ми зважимось на якесь канонічне кодування. Це твердження подано як простий факт, але я не можу його зрозуміти. Наприклад, якщо у мене є алгоритм, який приймає …

17 algorithms  turing-machines  computability  computation-models 

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

17 computability  reference-request  turing-machines  halting-problem 

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

17 computability  computation-models  turing-completeness 

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

17 computability  computation-models 

Хочеться знати, чи можна вирішити наступну проблему і як це з'ясувати. Кожна проблема, яку я бачу, можу сказати "так" чи "ні", тому чи можна вирішити більшість проблем та алгоритмів, за винятком декількох (що надано тут )? Введення: Направлений і кінцевий графік , з і як вершини Питання: Чи існує шлях …

17 algorithms  computability  graph-theory  undecidability 

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

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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

16 computability  turing-machines  undecidability  computation-models 

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

16 computability  undecidability  pushdown-automata 

У цьому питанні ми розглядаємо лише машини Тьюрінга, які зупиняються на всіх входах. Якщо k ∈ N,k∈Nk \in \mathbb{N} то через T kTkT_k позначаємо машину Тюрінга, кодом якої є kkk . Розглянемо наступну функцію s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} In other words, s(x,y)s(x,y)s(x,y) is the code …

16 computability  turing-machines 

Зауважте, це питання, пов’язане з навчанням у курсі CS в університеті, це НЕ домашнє завдання і його можна знайти тут під іспитом осінь 2011 року2. Ось два питання, які я розглядаю з минулого іспиту. Вони, здається, пов'язані першими: Дозволяти FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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

15 computability  automata 

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

15 computability 

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

15 computability  turing-machines  history 

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

15 computability  automata  undecidability 

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

15 computability  semi-decidability