Информатика

Это вопрос из книги Дракона (я прошу прощения за ошибки перевода, у меня нет англоязычной версии): Какой язык генерируется этой грамматикой? S→ Sб S| Б Sа S∣ ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Я не знаю, что мне здесь делать. Определение в книге …

11 formal-languages  context-free  formal-grammars 

Мне было интересно, так как * сама звезда-свободный язык, есть регулярный язык , который не является звездой свободного языка? Не могли бы вы привести пример?a∗a∗a^* (из википедии ) Лоусон определяет беззвездные языки как: Обычный язык называется свободным от звезд, если он может быть описан с помощью регулярного выражения, составленного из …

11 formal-languages  regular-languages  automata 

В комментарии к Learning F #: Какие книги, использующие другие языки программирования, можно перевести на F # для изучения функциональных концепций? Макарий заявил: Обратите внимание, что подход «CPS» нанес большой вред производительности в SML / NJ. Его модель физической оценки нарушает слишком много предположений, встроенных в аппаратное обеспечение. Если вы …

11 compilers  functional-programming  proof-assistants  continuations 

Например, я знаю, что нерегулярный язык находится в A C 0 . Я хотел бы знать больше примеров, как это.anbnaNбNa^nb^nAC0AС0AC^0

11 complexity-theory  regular-languages  circuits 

Я знаю, что максимальное независимое множество на кубических графах без треугольников является NP-полным. Является ли он еще NP-полным, если нам требуется, чтобы независимый набор имел размер точно ?|V|/2|V|/2|V|/2 В основном, ДА экземпляр задачи о независимом множестве в задаче о кубах без треугольников должен иметь ровно узлов. НЕТ экземпляра имеет независимый …

11 complexity-theory  np-complete 

У меня есть простая проблема создания DFA, который принимает все входные данные, начинающиеся с двойных букв (aa, bb) или заканчивающиеся двойными буквами (aa, bb), учитывая, что является набором алфавита данный язык.Σ = { a , b }Σзнак равно{a,б}\Sigma =\{a, b\} Я попытался решить это окольным путем: Генерация регулярного выражения Делая …

11 automata  finite-automata 

Есть ли алгоритм для решения следующей задачи: При заданной машине Тьюринга которая определяет язык L , существует ли машина Тьюринга M 2, решающая L так , что t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Функции и t 2 являются наихудшим …

11 complexity-theory  computability  undecidability  decision-problem 

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

11 asymptotics  landau-notation 

Циклический сдвиг (также называемый поворот или конъюгации ) из языка определяется как { у х | х у ∈ L } . Согласно википедии (и здесь ), контекстно-свободные языки закрыты для этой операции со ссылками на статьи из Oshiba и Maslov. Есть ли простое доказательство этого факта?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy …

11 formal-languages  context-free  closure-properties 

Скажем, у нас есть 10 людей, каждый из которых со списком любимых книг. Для данного лица X, я хотел бы найти особое подмножество книг иксов понравившихся только X, т.е. нет другого человека, который любит все книги в специальном подмножестве Х. Я думаю, что этого специального подмножества в качестве уникального «отпечатка …

11 algorithms  sets 

Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Мне было поручено создать библиотеку книг по алгоритмам для нашей небольшой компании (около 15 человек). Бюджет более чем 5k, но, конечно, меньше, …

11 algorithms  reference-request  data-structures  books 

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

11 asymptotics  combinatorics  runtime-analysis 

Рассмотрим ориентированный граф , на котором можно динамически добавлять края и сделать некоторые конкретные запросы.граммграммG Пример: непересекающееся-множество лесов Рассмотрим следующий набор запросов: arrow(u, v) equiv(u, v) find(u) первый добавляет стрелку к графу, второй решает, если , последний находит канонического представителя класса эквивалентности , то есть a такого что подразумевает .u …

11 algorithms  graphs  search-algorithms  union-find 

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

11 data-mining  natural-language-processing 

Я пытаюсь воспроизвести синтетические сети (графики), описанные в некоторых статьях. Утверждается, что модель Барабаси-Альберта использовалась для создания «безмасштабных сетей со степенным распределением степеней, пA( k ) ∝ k- λпA(К)αК-λP_A(k) ∝ k^{-λ} ». пAпAP_A - это распределение вероятностей, которое возвращает вероятность узла, имеющего степень ККk . Например, пA( 2 )пA(2)P_A(2) указывает …

11 algorithms  graph-theory  graphs  randomness  sampling