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

Вказання формальних мов, даючи формальні граматики, є частим завданням: нам потрібні граматики не лише для опису мов, а й для їх розбору, або навіть належної науки . У всіх випадках важливо, щоб граматика під рукою була правильною , тобто генерувала саме потрібні слова. Ми часто можемо сперечатися на високому рівні, …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

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

22 computability  turing-machines  halting-problem 

Враховуючи контекстну граматику G, існує недетермінований автоматичний Pushdown N, який приймає саме ту мову, яку G приймає. (і віза) Також може існувати детермінований Pushdown Automaton D, який точно приймає мову G, яка також приймає. Це залежить від граматики. За яким алгоритмом на виробництвах G можна визначити, чи існує D?

22 automata  context-free  pushdown-automata 

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

22 functional-programming  category-theory 

Нехай - деякий повний, зважений, непрямий графік. Побудуємо другий графік , додаючи ребра по одному від до . Додасть кромки до в цілому.G ′ = ( V , E ′ ) E E ′ Θ ( | V | ) G ′G = ( V, Е)G=(V,E)G=(V,E)Г'= ( V, Е')G′=(V,E′)G'=(V, E')ЕEEЕ'E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' …

22 algorithms  graphs  graph-theory  shortest-path 

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

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

Я розумію теорію байєсівських мереж і мені цікаво, що потрібно для її побудови на практиці. Скажімо для цього прикладу, що у мене є байєсова (спрямована) мережа з 100 дискретних випадкових змінних; кожна змінна може приймати одне до 10 значень. Чи зберігаю я всі вузли в DAG, а для кожного вузла …

22 data-structures  machine-learning 

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

22 formal-languages  automata  computability  undecidability 

У попередньому питанні було визначення збалансованих за вагою дерев та питання щодо червоно-чорних дерев. Це питання - це те саме питання, але для дерев AVL . Питання, враховуючи визначення дерев, збалансованих мкμ\mu як і в іншому питанні, Чи є такий μ > 0μ>0\mu \gt 0 такий, що всі досить великі …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

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

22 algorithms  randomized-algorithms  sorting 

Було багато шумів щодо компіляторів JIT для таких мов, як Java, Ruby та Python. Чим компілятори JIT відрізняються від компіляторів C / C ++, і чому компілятори, написані для Java, Ruby або Python, називаються компіляторами JIT, тоді як компілятори C / C ++ називаються компіляторами?

22 compilers 

Припустимо, що . - клас задач у які не є ні в ні в -hard. Ви можете знайти список проблем передбачуваних бути тут .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}Н ПNP\mathsf{NP}ПP\mathsf{P}Н ПNP\mathsf{NP}N P INPI\mathsf{NPI} Теорема Ладнера говорить нам, що …

22 complexity-theory  np-hard 

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

22 formal-languages  formal-grammars 

Відповідно до цієї сторінки , алгоритм Дейкстри - це лише BFS з чергою пріоритетів. Це справді так просто? Я думаю, НЕ.

22 algorithms  graphs  shortest-path 

Джерело алфавіту: { a , b , c , d, е , ф}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Код алфавіту: { 0 , 1 }{0,1}\{0, 1\} а : 0101a:0101a\colon 0101 б : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 г: 000d:000d\colon 000 е : 11e:11e\colon 11 f: 100f:100f\colon 100 Я вважав, …

21 encoding-scheme