Вопросы с тегом «context-free»

Вопросы о наборе языков (эквивалентно), описываемых бесконтекстными грамматиками или принимаемыми (недетерминированными) автоматами.

2
Дешифруемость языков грамматик и автоматов
Обратите внимание, что это вопрос, связанный с обучением на курсе CS в университете, это НЕ домашняя работа, и его можно найти здесь под экзаменом осень 2011 года2. Вот два вопроса, на которые я смотрю с прошлого экзамена. Похоже, они связаны, первое: Позволять FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G …

1
Пересечение контекста бесплатно с обычными языками
Говорят, что пересечение языка L, не зависящего от контекста, с обычным языком M всегда является контекстно-свободным. Я понял доказательство создания перекрестного продукта, но до сих пор не понимаю, почему он не контекстный, а не регулярный. Язык, генерируемый таким пересечением, имеет строки, которые принимаются как PDA, так и DFA. Поскольку он …


2
Всегда ли наборы до и после для контекстно-свободных грамматик всегда контекстно-свободны?
Пусть GGG - не зависящая от контекста грамматика. Строка терминалов и нетерминалов из GGG называется быть сентенциальная формой из GGG , если вы можете получить его путем применения постановки GGG нуля или более раз для начального символа SSS . Пусть SF(G)SF⁡(G)\operatorname{SF}(G) множество пропозициональных форм GGG . Пусть α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) …


3
Что вы получите, если добавите параметры в контекстно-свободные грамматики?
Я думал о грамматиках для чувствительных к индендангу языков, и похоже, что грамматики CF сработают, если их объединить с параметрами. В качестве примера рассмотрим этот фрагмент для упрощенной грамматики Python в ANTLR-подобном формате: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one …

5
Чем не двусмысленность отличается от детерминизма?
Я пытаюсь понять, что подразумевается под «детерминистическим» в выражениях, таких как «детерминистическая контекстно-свободная грамматика». (Есть более детерминированные «вещи» в этой области). Я был бы признателен за пример более, чем самое сложное объяснение! Если возможно. Мой основной источник путаницы - неспособность понять, чем это свойство грамматики отличается от (не) двусмысленности. Самое …

1
Существует ли не зависящий от контекста нерегулярный язык
Я знаю, что существуют нерегулярные языки, поэтому является регулярным, но все примеры, которые я могу найти, являются контекстно-зависимыми, но не контекстно-свободными.L∗L∗L^* Если нет ни одного, как вы это докажете?

2
Удаление левой рекурсии в грамматике при сохранении левой ассоциации оператора
У меня проблема с этим упражнением: Пусть G будет следующей неоднозначной грамматикой для λ-исчисления: E → v | λv.E | EE | (E) где E - единственный нетерминальный символ, λv.E представляет абстракцию относительно переменной v в E, а EE представляет приложение. Определите LL (1) грамматику G ′ так, что L …

3
Важность нормальных форм, таких как нормальная форма Хомского, для CFG
Я понимаю, что контекстно-свободные грамматики могут использоваться для представления контекстно-свободных языков. Это может иметь неоднозначность. У нас также есть нормальные формы, такие как нормальная форма Хомского и Грейбаха . Я не мог понять необходимость этого. Почему они важны в теории языков? Все учебники, о которых я говорил, рассказывают об этих …

2
Все ли контекстно-свободные и регулярные языки эффективно разрешимы?
Я наткнулся на этот рисунок, который показывает, что контекстно-свободные и регулярные языки являются (правильными) подмножествами эффективных задач (предположительно ). Я прекрасно понимаю, что эффективные проблемы являются подмножеством всех разрешимых проблем, потому что мы можем их решить, но это может занять очень много времени.PP\mathrm{P} Почему все контекстно-свободные и регулярные языки эффективно …

2
Примеры контекстно-свободных языков с неконтекстно-свободными дополнениями
Контекстно-свободные языки не закрываются при дополнении. В лекциях нам дали тот же аргумент, что и здесь, в Википедии : для A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad B = \{\mathtt a^m \mathtt b^n \mathtt c^n;~m, n ∈ ℕ_0\}, и AAA и BBB …

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

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

1
Предлагая уточнения типов
На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.