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

Я планую викладати зимовий курс на різну кількість тем, одна з яких буде компіляторами. Тепер я зіткнувся з цією проблемою, роздумуючи над завданнями, які даватимуть протягом кварталу, але він натрапив на мене, щоб я міг використати його як приклад. public class DeadCode { public static void main(String[] args) { return; …

32 computability  proof-techniques  compilers 

Коли комп'ютер зберігає змінну, коли програмі потрібно отримати значення змінної, як комп'ютер знає, де шукати в пам'яті значення цієї змінної?

32 compilers  memory-access  variable-binding 

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

32 operating-systems 

Якщо щось просто, то це повинно бути повністю зрозумілим за допомогою кількох слів. Це можна зробити для λ-обчислення: Λ-обчислення - це синтаксична граматика (в основному, структура) з правилом скорочення (що означає, що процедура пошуку / заміни повторно застосовується до кожного виникнення конкретного шаблону, поки такого шаблону не існує). Граматика: Term …

32 functional-programming  type-theory 

Я шукаю допомоги з розумінням алгоритму виявлення циклу Флойда. Я пояснив пояснення у wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Я бачу, як алгоритм виявляє цикл за O (n) час. Однак я не в змозі уявити той факт, що як тільки вказівники черепахи та зайця зустрічаються вперше, початок циклу можна визначити, перемістивши вказівник …

32 algorithms  linked-lists 

Ця 579-розрядна програма в обчисленні Binary Lambda має невідомий статус зупинки: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Тобто невідомо, припиняється чи ні ця програма. Для того, щоб визначити це, ви повинні розв'язати гіпотезу Колатца - або, принаймні, для всіх чисел до 2 ^ 256. У цьому сховищі є …

32 algorithms  computability  kolmogorov-complexity 

Я тільки що завершив перший розділ « Вступ до теорії обчислень » Майкла Сіпсера, який пояснює основи кінцевих автоматів. Він визначає звичайну мову як все, що можна описати обмеженими автоматами. Але я не міг знайти, де він пояснює, чому звичайну мову називають "регулярною"? Яке походження терміна "регулярний" у цьому контексті? …

31 formal-languages  regular-languages  terminology  finite-automata  history 

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

31 computability  lambda-calculus  type-theory 

Скажіть, що і b 1 b 2 … b n - це два рядки однакової довжини. Anagramming з двох рядків є взаємно однозначне відображення р : [ 1 ... п ] → [ 1 ... п ] таке , що я = Ь р ( я ) для кожного I …

31 algorithms  strings  search-algorithms  natural-language-processing 

Скажіть, мені потрібно моделювати такий дискретний розподіл: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Найбільш очевидний спосіб - намалювати випадкових біт і перевірити, чи всі вони дорівнюють (або ). Однак теорія …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

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

31 data-structures  trees 

Чому комп'ютери використовують систему двійкових чисел (0,1)? Чому замість цього вони не використовують термінальну систему числення (0,1,2) або будь-яку іншу систему числення?

31 computer-architecture  binary-arithmetic 

Мені цікаво, чи є хороший приклад для легкої для розуміння проблеми NP-Hard, яка не є NP-Complete і не може бути невирішеною? Наприклад, проблема зупинки - NP-Hard, не NP-Complete, але є невирішеною. Я вважаю, що це означає, що проблема полягає в тому, що рішення для рішення може бути перевірено, але не …

31 complexity-theory  computability  np-hard 

Наприклад, якщо комп'ютер 10111100зберігається на одному конкретному байті оперативної пам'яті, як комп'ютер знає інтерпретувати цей байт як ціле число, символ ASCII або щось інше? Чи зберігаються дані типу в сусідньому байті? (Я не думаю, що це було б так, оскільки це призвело б до використання вдвічі більше місця на один …

31 memory-hardware  memory-access  type-checking 

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

31 algorithms  efficiency  arrays  sorting