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

В предисловии к своим очень влиятельным книгам «Автоматы, языки и машины» (тома A, B) Самуэль Эйленберг обещал соблазнительно изложить тома C и D, посвященные «иерархии (называемой рациональной иерархией) нерациональных явлений ... используя рациональные отношения как инструмент для сравнения. Рациональные множества лежат в основе этой иерархии. Двигаясь вверх, вы сталкиваетесь с …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Во многих работах с использованием контекстно-свободных грамматик (CFG) примеры таких грамматик, представленные там, часто допускают простую характеристику языка, который они генерируют. Например: S→aaSbS→aaSbS \to a a S b S→S→S \to генерирует {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b …

25 fl.formal-languages  context-free  context-free-languages 

Практически, для языка, который в конечном итоге может быть скомпилирован / преобразован в инструкции системного уровня, необходимо ли, чтобы это была контекстно-свободная грамматика? пример: все ли языки программирования / написания сценариев являются контекстно-свободными грамматиками? Java основана на CFG, но действительно ли это так, что все языки программирования основаны на CFG? …

23 pl.programming-languages  context-free 

Когда я возился с неканоническим анализом LR, я придумал метод синтаксического анализа (с таблицами бесконечного размера, что делает его несколько непрактичным ), способный анализировать ровно однозначные грамматики за времени, и мне было интересно, возможно ли это сделать лучше:O(n2)O(n2)O(n^2) Можно ли анализировать все однозначные грамматики за линейное время? Я вполне уверен, …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Я ищу языки, которые "вероятно, не являются контекстно-свободными", но мы не можем (не) доказать это, используя известные стандартные методы. Есть недавний опрос на предмет или открытый проблемный раздел от недавней конференции? Вероятно, не так много языков, которые не известны как CF, поэтому, если вы знаете один, вы также можете опубликовать …

21 reference-request  big-list  context-free 

Обозначим через количество слов длины в (возможно, неоднозначном) контекстно-свободном языке.wnwnw_nnnn Что известно о ?wnwnw_n Я уверен, что это много изучалось, но я ничего не мог найти на нем.

20 fl.formal-languages  context-free 

При заданных регулярных выражениях , существуют ли нетривиальные ограничения на размер наименьшей контекстно-свободной грамматики для R 1 ∩ ⋯ ∩ R n ?р1, … , RNR1,…,RnR_1, \dots, R_nр1∩ ⋯ ∩ RNR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Хорошо известно, что проблема эквивалентности неразрешима для общих контекстно-свободных языков. Тем не менее, все доказательства этого факта, о которых я знаю, похоже, включают в себя некоторые неоднозначные контекстно-свободные грамматики. По этой причине я хотел бы спросить, известно ли, остается ли проблема неразрешимой, ограничивая себя однозначными контекстно-свободными языками. То есть, учитывая …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Я где-то читал, что машина Тьюринга не может вычислить это, и поэтому она неразрешима, но почему? Почему для компьютера невозможно вычислить дерево разбора и принять решение? Возможно я ошибаюсь и это можно сделать?

19 computability  turing-machines  context-free 

Существует множество алгоритмов, которые могут анализировать грамматику без контекста за . Используя матричное умножение, можно даже пойти асимптотически быстрее, чем это.O(n3)O(n3)O(n^3) Тем не менее, все алгоритмы для разбора произвольных CFG, которые я знаю, имеют использование пространства в худшем случае (хотя, по общему признанию, я понятия не имею, каково использование пространства …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

В книге Сакаровича по теории автоматов во введении к разделу о рациональных числах в свободной группе написано, что представленный в нем материал закладывает «основу действительно математической теории языков без контекста». Тем не менее, это не указывается явно, так как языки без контекста и автоматные выпадающие программы выходят за рамки книги. …

17 context-free  automata-theory  reference-request 

В курсах автоматов стандартным доказательством является то, что для L=Σ⋆L=Σ⋆L = \Sigma^\star и |Σ|≥2|Σ|≥2|\Sigma| \ge 2 что не является контекстно-свободным языком.S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Это также верно , что для любого конечного , S ( L ) конечна (и , следовательно, КЛЛ). Я предполагаю, что L, являющийся …

16 context-free 

В формальном описании автоматов детерминированного пушинга они разрешают перемещения, когда машина может вставлять или помещать символы в стек без чтения символа из ввода. Если эти перемещения недопустимы, а стек может быть изменен только один раз после каждого чтения символа, равны ли полученные автоматы мощности DPDA?ϵεε\epsilonεε\epsilon Может быть что-то тривиальное, что …

16 automata-theory  context-free 

Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек. С другой стороны, конструкция, которая позволяла нажимать символы на ϵϵ\epsilon переходы, могла бы достичь той же цели. Очевидно, что такие вариации могут быть сформированы, но мне интересно, разрушает …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Фраза перестановки является расширением стандартных (E) определений грамматики без контекста BNF: фраза перестановки содержит произведений (или, что то же самое, нетерминалов) от до . В позиции фразы перестановки мы хотели бы видеть каждое из этих произведений ровно один раз, но нас не интересует порядок этих нетерминалов.{A1,…,An}{A1,…,An}\{ A_1, \dots, A_n \}nnnA1A1A_1AnAnA_n …

16 ds.algorithms  fl.formal-languages  parsing  context-free