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

У книзі Ендрю У. Аппеля " Сучасне впровадження компілятора в ML" він говорить, що в розділі 17 теорія обчислюваності показує, що завжди можна буде винайти нові оптимізуючі перетворення і перейти до доказу, що повністю оптимізуючий компілятор вирішить проблему зупинки: Програма Q, який не дає виходу і ніколи не зупиняється, може …

20 computability  compilers  program-optimization 

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

20 terminology  computability 

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

20 computability  undecidability 

Існує багато способів визначення Колмогорова-Складності , і зазвичай всі ці визначення вони еквівалентні аж до постійної добавки. Тобто, якщо K1K1K_1 і K2K2K_2 є функціями складності колмогорова (визначеними різними мовами або моделями), то існує константа ccc така, що для кожного рядка xxx , |K1(x)−K2(x)|&lt;c|K1(x)−K2(x)|&lt;c|K_1(x) - K_2(x)| < c . Я вважаю, …

20 computability  kolmogorov-complexity 

Чи потрібно, щоб проблема з важким рівнем NP була обчислюваною? Я не думаю, але я не впевнений.

19 complexity-theory  computability  np-hard 

Нехай . Мені потрібно вирішити, чи F є рішучим чи рекурсивно перелічуваним. Я думаю, що це вирішимо, але я не знаю, як це довести.F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F …

19 computability  undecidability 

Я читав сторінку wikipedia для правила 110 у стільникових автоматиках, і я більш-менш знаю, як вони працюють (набір правил визначає, де намалювати наступний 1 або 0). Я щойно прочитав, що вони Тюрінг завершені, але я навіть не можу зрозуміти, як би ви "програмували" на "правило 110"?

19 computability  automata  turing-completeness  cellular-automata 

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

19 computability  education  intuition 

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

18 computability  undecidability  software-engineering  formal-methods 

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

18 formal-languages  turing-machines  computability  automata 

Чи існує обчислювальна функція f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} така, що: Для всіх t∈N:0≤f(t)&lt;Xт∈N:0≤f(т)&lt;Хt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimт→∞f(т)=Х\lim\limits_{t\rightarrow\infty} f(t) = X Де - незрівнянне дійсне число.XХX Єдине посилання на це запитання, яке я знайшов, - це відповідь на це запитання : /math//a/1052579/168764 , де функція, здається, буде виконуватись, але …

18 computability 

Налаштування: регулярні вирази з зворотними посиланнями одинарна мова (1-символьний алфавіт) Чи можна вирішити наступну проблему в цій настройці: Чи визначає регулярний вираз із зворотними посиланнями, чи визначає він регулярну мову? Наприклад, (aa+)\1визначає звичайну мову, тоді як (aa+)\1+ні. Чи можемо ми вирішити, яка саме справа? Для конкретності, "регулярні вирази з зворотними …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

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

18 computability  memory-management  memory-hardware 

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

18 computability 

Як ви перевіряєте, чи два алгоритми (скажімо, сортування злиття та сортування Naive) повертають однаковий результат для будь-якого вводу, коли безліч безлічі входів? Оновлення: Дякую Бену за опис того, як це неможливо зробити алгоритмічно в загальному випадку. Відповідь Дейва - це великий підсумок як алгоритмічних, так і ручних (з урахуванням людської …

18 computability  formal-methods  software-engineering  software-verification