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

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

11 automata  finite-automata 

З огляду на два вектори цілих чисел, можливо, неоднакових довжин, як я можу визначити максимальний результат, можливий від накопичення вибору максимального між відповідними парами чисел між двома векторами із додатковими нулями, вставленими у коротший вектор, щоб компенсувати різницю розмірів? Наприклад, розгляньте наступні два вектори як вхідні дані: [8 1 4 …

11 algorithms  optimization 

Це питання з книги Дракона (я вибачаюся за помилки в перекладі, англійської версії в мене немає): Яку мову породжує ця граматика? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Я не знаю, що мені тут робити. Визначення в книзі про мови говорить про це (і …

11 formal-languages  context-free  formal-grammars 

У коментарі до Learning F #: Які книги за допомогою інших мов програмування можна перекласти на F # для вивчення функціональних понять? Макарій заявив: Зауважте, що підхід "CPS" завдав великої шкоди продуктивності в SML / NJ. Його модель фізичної оцінки порушує занадто багато припущень, які вбудовані в апаратне забезпечення. Якщо …

11 compilers  functional-programming  proof-assistants  continuations 

З огляду на завдань , для кожного завдання потрібно час.нnnT i > 0 , T i ∈ NJ1, J2, . . . , JнJ1,J2,...,JnJ_1,J_2,...,J_nТi> 0 , Тi∈ NTi>0,Ti∈NT_i > 0, T_i \in N Кожне завдання повинно бути попередньо оброблене та опрацьоване на одній машині M, яка може обробляти лише 1 …

11 complexity-theory  reference-request  scheduling 

Нехай Чи є машина Тьюрінга R, яка визначає (я не маю на увазі розпізнає) мову ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Здається, що той самий прийом, який було показано, що повинен …

11 turing-machines  computability  undecidability 

Наприклад, я знаю, що нерегулярна мова є в . Я хотів би знати більше таких прикладів.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

У мене є проста проблема створення DFA, який приймає всі введення, починаючи з подвійних літер (aa, bb) або закінчуючи подвійними літерами (aa, bb), заданими є набір алфавітів дана мова.Σ = { a , b }Σ={а,б}\Sigma =\{a, b\} Я намагався вирішити це круговим способом: Утворення регулярного виразу Створення відповідного НФА Використання …

11 automata  finite-automata 

Я знаю, що максимальний незалежний набір у графах без кубічних трикутників є NP-повним. Чи все-таки NP-повний, якщо ми вимагаємо, щоб незалежний набір був розміром саме ?|V|/2|V|/2|V|/2 В основному, YES екземпляр незалежної задачі задачі на кубічні трикутники без задач графіків повинен мати рівно вузлів. Екземпляр NO не має незалежного набору розміром …

11 complexity-theory  np-complete 

Чи існує алгоритм для наступної проблеми: Враховуючи машину Тюрінга яка визначає мову , чи існує машина Тьюрінга вирішує таку, що ? L M 2 L t 2 ( n ) = o ( t 1 ( n ) )M1M1M_1LLLM2M2M_2LLLт2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) …

11 complexity-theory  computability  undecidability  decision-problem 

Як визначається асимптотичний аналіз (великий о, маленький о, великий тета, великий тета тощо) для функцій з кількома змінними? Я знаю, що в статті Вікіпедії є розділ, але він використовує багато математичних позначень, які мені не знайомі. Я також знайшов наступний документ: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Однак документ є дуже довгим і забезпечує повний …

11 asymptotics  landau-notation 

Циклічний зсув (також званий поворотом або кон'югацією ) з мови визначається як . Згідно з вікіпедією (і тут ), в рамках цієї операції без контекстні мови закриваються посилання на документи Ошиби та Маслова. Чи є простий доказ цього факту?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy \in L \} Для звичайних мов закриття обговорюється …

11 formal-languages  context-free  closure-properties 

У мене є рекурсивний алгоритм з часовою складністю, еквівалентним вибору k елементів з n з повторенням, і мені було цікаво, чи можу я отримати більш спрощений вираз big-O. У моєму випадку може бути більше і вони ростуть незалежно.ккkннn Зокрема, я очікував би явного експоненціального вираження. Найкраще, що я міг знайти …

11 asymptotics  combinatorics  runtime-analysis 

Хочете вдосконалити цю посаду? Надайте детальні відповіді на це запитання, включаючи цитати та пояснення, чому ваша відповідь правильна. Відповіді без достатньої кількості деталей можуть бути відредаговані або видалені. Мені було доручено побудувати бібліотеку книг за алгоритмами для нашої невеликої компанії (близько 15 осіб). Бюджет - понад 5 к., Але, звичайно, …

11 algorithms  reference-request  data-structures  books 

З Вікіпедії Пошук інформації - це діяльність щодо отримання інформаційних ресурсів, що відповідають потребі в інформації, із колекції інформаційних ресурсів. Пошуки можуть базуватися на метаданих або на повнотекстовій індексації. З Вікіпедії Витяг інформації (IE) - завдання автоматичного вилучення структурованої інформації з неструктурованих та / або напівструктурованих машиночитаних документів. У більшості …

11 data-mining  natural-language-processing