Комп'ютерна наука

Апропоа на пропозицію Рафаеля про перетин двох NPDA : Нехай і A 2 NPDA для без контекстних мов L 1 і L 2 відповідно. Припускаючи, що ми знаємо, що L = L 1 ∩ L 2 без контексту, чи можемо ми (ефективно) побудувати NPDA A для L ?А1A1A_1А2A2A_2L1L1L_1L2L2L_2L = L1∩ …

13 computability  automata  pushdown-automata 

Я читав у Вікіпедії та деякі інші тексти, які Проблема зупинки вирішується [...] для лінійно обмежених автоматів (LBA) [та] детермінованих машин з обмеженою пам'яттю. Але раніше було написано, що проблема зупинки - це не визначена проблема, і тому TM не може її вирішити! Оскільки LBA визначені як тип ТМ, чи …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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

13 machine-learning  statistics 

Припустимо, .P≠NPP≠NPP\neq NP Що ми можемо сказати про межі виконання всіх проблем, повних NP? тобто які є найкруткіші функції для яких ми можемо гарантувати, що оптимальний алгоритм для будь -якої задачі, повного NP, працює в часі принаймні \ omega (L (n) ) і максимум o (U (n)) на вході довжиною …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

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

13 lambda-calculus 

Функціональне програмування має дуже елегантний обчислення Lambda та його варіанти як теорії резервного копіювання. Чи є така річ у ООП? Що таке абстракція для об'єктно-орієнтованої моделі?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Я читав запис Вікіпедії про Комплекс Колмогорова ( завдяки цьому питанню ), де зазначено: Можна показати, що складність Колмогорова будь-якого рядка не може бути більше, ніж на кілька байт більше довжини самої рядка. Навіщо вам коли-небудь потрібно щось більше, ніж сама рядок, щоб описати це?

13 kolmogorov-complexity 

Я шукаю ефективний алгоритм для наступної проблеми або доказ твердості NP. Нехай - множина, а - набір підмножин \ Sigma . Знайдіть послідовність w \ in \ Sigma ^ * найменшої довжини, такою, що для кожного L \ в A є k \ in \ mathbb {N} така, що \ …

13 algorithms  formal-languages  encoding-scheme 

Використовуючи наступний рекурсивний алгоритм Фібоначчі: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Якщо я введіть число 5, щоб знайти fib (5), я знаю, що це виведе 5, але як я вивчити складність цього алгоритму? Як обчислити етапи, що стосуються?

13 algorithms  time-complexity  recursion 

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

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

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

13 context-free  formal-grammars  parsers 

Нехай мова буде регулярною.L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Факторизація - це максимальна пара наборів слів із ( X , Y )LL\mathcal{L}(X,Y)(X,Y)(X,Y) X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , де | .x ∈ X , y ∈ Y }X⋅Y={xyX⋅Y={xyX \cdot Y = \{xyx∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} (X,Y)(X,Y)(X,Y) …

13 algorithms  regular-languages  optimization 

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

13 concurrency  databases 

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

13 compilers  parsing 

Є бункерів, то я й бін містить я кулі. Кулі мають п квіти, є а я кулі кольору я . Нехай m = ∑ n i = 1 a i .nnniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Своп - це взяти кулю з однієї бункера і поміняти кульку з іншої. Ми хочемо мінімальної кількості свопів, …

13 algorithms  complexity-theory  balls-and-bins