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

У меня есть следующий язык { 0я1J2К∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Я пытаюсь определить, к какому классу языка Хомского он подходит. Я могу видеть, как это можно сделать, используя контекстно-зависимую грамматику, поэтому я знаю, что …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Пусть , L 2 , L 3 , … - бесконечная последовательность контекстно-свободных языков, каждый из которых определяется по общему алфавиту Σ . Пусть L - бесконечное объединение L 1 , L 2 , L 3 , … ; то есть L = L 1 ∪ L 2 ∪ L …

11 formal-languages  context-free  closure-properties 

Насосная лемма для регулярных языков может быть использована для доказательства того, что некоторые языки не являются регулярными, а прокачивающая лемма для контекстно-свободных языков (наряду с леммой Огдена) может быть использована для доказательства того, что некоторые языки не являются контекстно-свободными. Существует ли накачка леммы для детерминированных контекстно-свободных языков? То есть, существует …

11 context-free  proof-techniques  pumping-lemma 

⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Я работаю над тяжелым упражнением в учебнике и просто не могу понять, как поступить. Здесь проблема. Предположим, что у нас есть язык L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 },L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq …

10 formal-languages  automata  context-free 

Есть способ выполнить нечеткий синтаксический анализ (принимает строки даже с опечатками на определенном расстоянии редактирования), с помощью DFA и встроенных автоматов Левенштейна для входного слова. Может ли нечто подобное быть сделано с парсером Earley? Мне трудно понять алгоритм, не говоря уже о том, чтобы ответить на этот вопрос.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

В синтаксическом анализаторе LR (0) каждое состояние состоит из набора элементов LR (0), которые являются продукцией, аннотированной позицией. В синтаксическом анализаторе LR (1) каждое состояние состоит из набора элементов LR (1), которые являются продукцией, аннотированной позицией и символом предпросмотра. Известно, что при наличии состояния в автомате LR (1) конфигурирующий набор, …

10 context-free  parsers  lr-k 

Может кто-то просветить меня, почему парсер рекурсивного спуска с возвратом, который пробует продукцию и (в этом порядке), не распознает язык, образованный грамматикой .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Похоже, он разбирает только слова из языка .{a2n | n≥1}{a2n | n≥1}\{a^{2^n}\ |\ n \ge …

10 context-free  formal-grammars  compilers  parsers 

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

10 formal-languages  context-free  closure-properties  regular-expressions 

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

10 algorithms  formal-grammars  context-free  parsing 

Пусть множество терминального и N множества нетерминальных символов некоторой контекстно-свободная грамматика G .ΣΣ\SigmaNNNGGG Скажем , у меня есть строка такое , что х у ∈ S ( G ) , где х , у ∈ ( Е ∪ N ) * и S ( G ) являются сентенциальные формы G …

10 algorithms  context-free  formal-grammars  compilers 

Напишите для десятичного расширения (без начального ). Пусть и целые числа с . Рассмотрим язык десятичных разложений кратных плюс константа:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Является регулярными? контекстно-свободной?MMM (Контраст с языком графа аффинной функции ) Я думаю, что это хороший вопрос для домашней работы, поэтому …

10 formal-languages  context-free  regular-languages  integers 

Почему (если так) разделитель делает разницу между двумя языками?##\# Позвольте сказать: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Вот доказательство и грамматика, представляющая какLLLCFLCFLCFL И ниже я добавляю доказательство для :L#∉CFLL#∉CFLL_{\#} \notin CFL Действительно ли знак имеет значение? если …

9 formal-languages  context-free  pumping-lemma 

Следующая контекстно-свободная грамматика представляет неоднозначность типа «висящее другое» (представьте, что обозначает, а обозначает, а обозначает какой-то другой вид инструкции или блока): Например, может быть проанализирован как или как (это самое простое / самое короткое неоднозначное слово для этой грамматики).б с Saaaif expr thenбbbelseсcc aacbc(a(acbc))(a(ac)bc)S→ Sб S|а S|сS→aSbS|aS|c \begin{aligned} S &\rightarrow …

9 context-free  formal-grammars  parsers  ambiguity 

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

9 formal-languages  context-free  formal-grammars