Информатика

Я ищу контекстно-зависимую грамматику, которая описывает следующий язык: .L = { w w ∣ w ∈ { a , b }*, | ш |≥ 1 }Lзнак равно{весвес|вес∈{a,б}*,|вес|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} У меня проблемы с тем, что никакие правила, такие как не разрешены, и …

9 formal-languages  formal-grammars  context-sensitive 

Я пытаюсь понять, почему быстрая сортировка с использованием раздела Lomuto и фиксированной точки вращения работает хаотично, но в целом плохо, на случайно сгенерированных входах. Я думаю, что, хотя входы генерируются случайным образом, последовательности могут иметь много порядка, но я не уверен, как измерить уровень беспорядка в последовательностях. Я думал об …

9 algorithms  sorting 

Умный 15-летний парень, которого я знаю, интересуется как информатикой, так и генетикой. Я сказал ей, что эти поля составляют отличную комбинацию. Я хотел бы дать ей книгу по биоинформатике или вычислительной геномике. Я ищу забавную книгу, а не учебник. В частности, это должно вдохновлять людей желать изучать эту область, а …

9 education  books  bioinformatics 

Существует ли какой-либо набор правил или методов для преобразования любой контекстно-свободной грамматики в автомат для сжатия? В Интернете я уже нашел несколько слайдов, но не смог их понять. На слайде 10 он говорит о некоторых правилах, кто-нибудь может это объяснить?

9 context-free  formal-grammars  pushdown-automata  simulation 

В главе 1 « Практических основ языков программирования» автор упоминает, что абстрактные синтаксические деревья связаны с сортировками . Интуитивно, сортировки похожи на типы, но я хотел бы знать, есть ли у них точное определение. Я был бы рад, если бы некоторые ссылки были также предоставлены.

9 terminology  programming-languages  semantics 

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

9 turing-machines  context-free  parsers 

Я столкнулся с этой проблемой, связанной с манипулированием языком без контекста. Пусть будет контекстно-свободным языком. Определим L # = { х : х я ∈ L для каждой я = 0 , 1 , 2 , . , , } . Всегда ли L # не зависит от контекста? Я …

9 formal-languages  context-free 

Недавно я задал вопрос по математике SE. Ответа пока нет. Этот вопрос связан с этим вопросом, но с техническими подробностями в отношении информатики. Даны два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) и где набор состояний, входной алфавит и функция перехода и одинаковы, начальные состояния и конечные (принимающие) состояния …

9 formal-languages  reference-request  finite-automata 

SkipList предоставляет те же границы для поиска, что и сбалансированное дерево, с тем преимуществом, что перебалансировка не требуется. Поскольку SkipList создается с использованием случайных бросков монет, эти границы сохраняются только до тех пор, пока структура SkipList достаточно «сбалансирована». В частности, с вероятностью 1 / n c для некоторой константы c …

9 data-structures  search-trees  probabilistic-algorithms 

Кэши ЦП используются путем использования временной и пространственной локальности. Мой вопрос: кто отвечает за управление этими кешами? Является ли эта операционная система идентифицирующей конкретный шаблон доступа и затем управляющей (т.е. хранящей данные в) кэш-памяти, используя низкоуровневые вызовы функций ОС?

9 computer-architecture  cpu-cache 

В видео- чтении для MIT OCW 6.006 в 43:30, Учитывая матрицу размером с столбцами и строками, алгоритм поиска двумерных пиков, в котором пиковое значение представляет собой любое значение, большее или равное соседним соседям, было описано как:м ×nm×Nm \times nм нAAAммmNNn Примечание. Если при описании столбцов через возникает путаница , я …

9 algorithms  algorithm-analysis  asymptotics  matrices 

Дана (двоичная) целочисленная программа вида:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Обратите внимание, что размер не фиксирован ни в одном измерении.AAA Я полагаю, что эту …

9 complexity-theory  np-complete  approximation  integer-programming 

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

9 terminology  knowledge-representation  ontologies 

Мы хотим выложить квадрат m×mm×mm\times m используя два типа плиток: квадрат 1×11×11 \times 1 квадрат 2×22×22 \times 2 , чтобы каждый нижележащий квадрат был покрыт без перекрытия. Определим функцию f(n)f(n)f(n) которая задает размер наибольшего однозначно обрабатываемого квадрата, используя nnn 1×11×11\times 1 -квадрат и любое количество 2×22×22 \times 2 -квадрат. Эта …

9 computability  combinatorics 

Вдохновленный этим вопросом, в котором спрашивающий хочет знать, изменяется ли время выполнения, когда компаратор, используемый в стандартном алгоритме поиска, заменяется честным броском монеты, а также заметной неудачей Microsoft в написании генератора равномерной перестановки, мой вопрос, таким образом, таков: : Существует ли алгоритм сортировки на основе сравнения, который в зависимости от …

9 sorting  randomized-algorithms  permutations