Описание тега context-sensitive-grammar

Контекстно-зависимая грамматика - это тип грамматики, который генерирует именно контекстно-зависимые языки.
1 ответ

Как разобрать контекстно-зависимую грамматику?

CSG похож на CFG, но символ сокращения кратен. Итак, могу ли я просто использовать анализатор CFG для анализа CSG с сокращением производства на несколько терминалов или нетерминалов? подобно 1. S → a bc 2. S → a S B c 3. c B → W B 4. W B → W X 5. W …
1 ответ

Примеры практических контекстно-зависимых структур программирования

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

Хомская иерархия на простом английском

Я пытаюсь найти простое (то есть неформальное) объяснение 4 уровней формальной грамматики (неограниченной, контекстно-зависимой, контекстно-свободной, регулярной), изложенной Хомским. Это был возраст, так как я изучал формальные грамматики, и различ…
1 ответ

Разбор контекстно-зависимого языка

Я читаю ссылку на "Окончательный ANTLR" Теренса Парра, где он говорит: Семантические предикаты являются мощным средством распознавания контекстно-зависимых языковых структур, позволяя информации времени выполнения управлять распознаванием Но примеры…
1 ответ

Контекстно-зависимые и тьюринг-полные формальные языки

Знаете ли вы о каких-либо, которые могут указывать контекстно-зависимую грамматику? Например * указатель символа / разрешение неоднозначности умножения. Я ищу формальный язык, который позволит разрешить такие неясности. Язык, который я ищу, должен б…
1 ответ

Что означает контекст под контекстно-свободной и контекстно-зависимой грамматикой?

Если у меня есть что-то вроде var string = "var";затем после первой двойной кавычки правила меняются, а var не означает то же самое, что и в начале текста. После второй двойной кавычки все возвращается на круги своя. Как это не считается контекстом?…
1 ответ

Формальный метод для семантического анализа в компиляторе

Я знаю, что существует формализм, называемый атрибутной грамматикой, и метод неформализма, называемый синтаксически-ориентированным переводом, но первый неэффективен, а второй трудно автоматизировать. Существует ли другой недавний формализм о семант…
2 ответа

Контекстно-зависимый язык с недетерминированной машиной Тьюринга

Как я могу показать, что язык чувствителен к контексту с недетерминированной машиной Тьюринга? я знаю, что язык, который принимается линейно-связанным автоматом (LBA), является контекстно-зависимым языком. А LBA - это недетерминированная машина Тьюр…
1 ответ

Как typedef-name - проблема идентификатора решена в C?

Недавно я писал парсер для языка, основанного на C. Я использую CUP (Yacc для Java). Я хочу реализовать "Взлом лексера" ( http://eli.thegreenplace.net/2011/05/02/the-context-sensitivity-of-c%E2%80%99s-grammar-revisited/ или https://en.wikipedia.org/…
1 ответ

Контекстно-зависимая грамматика

Я ищу контекстно-зависимую грамматику, которая описывает следующий язык: L = { ww | w ∈ {a,b}*, |w| ≥ 1} <br> У меня есть проблемы с тем фактом, что никакие правила, такие как X -> ε, не допускаются, и поэтому я не могу поместить нетерминал, у…
1 ответ

Правила грамматики бизонов для языка, подобного паскалю

Я пытаюсь создать компилятор для пользовательского языка, похожего на паскаль, используя bison и flex, и в итоге получаю синтаксические ошибки для программ, которые должны быть правильными в соответствии с моей пользовательской грамматикой. Моя поль…
1 ответ

Может кто-нибудь привести простой, но не игрушечный пример контекстно-зависимой грамматики?

Я пытаюсь понять контекстно-зависимые грамматики, и я понимаю, почему такие языки, как {ww | w это строка} {an bn cn | a, b, c являются символами} не являются контекстно-свободными, но я хотел бы знать, является ли язык, подобный нетипизированному л…
1 ответ

Создайте грамматику, используя следующий язык {a^n b^m | n,m = 0,1,2,...,n <= 2m}

Я просто взял свой промежуточный курс, но не смог ответить на этот вопрос. Может кто-нибудь дать пару примеров языка и построить грамматику для языка или хотя бы показать мне, как я это сделаю? Также, как написать грамматику для L: L = {an bm | n, m…
1 ответ

Грамматика, которая генерирует язык а ^ я ^2?

Может ли anybode показать, какие производственные правила необходимы для построения грамматики языка Можно ли это описать грамматикой? РЕДАКТИРОВАТЬ: Это похоже, но вид "более слабой" грамматики, так как вы не делаете полномочия, а умножаете на 2. Э…
1 ответ

Контекстно-зависимая грамматика для этого языка

Язык X = { 0^m такой, что m = 2n+1, где n >= 0} Может кто-нибудь помочь мне найти контекстно-зависимую грамматику для X? Я пытался целую вечность, но я все еще не близко. Что у меня сейчас есть: S -> B0C | 00 B0 -> DD0 | 00 BD -> DD 0C -> 0EE | 00 E…
05 апр '12 в 03:32
1 ответ

Этот контекст грамматики свободен или нет?

G: S ---&gt; aSb S ---&gt; λ Как мне показалось, первое производственное правило не зависит от контекста (потому что левая сторона меньше правой стороны), но для второго производственного правила это не так (потому что длина левой стороны равна прав…
4 ответа

Рекурсивные языки против контекстно-зависимых языков

В иерархии Хомского множество рекурсивных языков не определено. Я знаю, что рекурсивные языки являются подмножеством рекурсивно перечислимых языков и что все рекурсивные языки разрешимы. Что меня интересует, так это то, как рекурсивные языки сравнив…
1 ответ

Контекстно-зависимая генерация в прологе

Я заинтересован в создании элементов контекстно-зависимого языка, описанного Хомским, как описано в Классификации грамматик Хомского в разделе "Грамматика типа 1". (По сути, похоже на стандартную грамматику без контекста, но допускает использование …
19 ответов

Является ли C++ контекстно-зависимым или контекстно-зависимым?

Я часто слышу заявления о том, что C++ является контекстно-зависимым языком. Возьмите следующий пример: a b(c); Это определение переменной или объявление функции? Это зависит от значения символа c, Если c переменная, то a b(c); определяет переменную…
1 ответ

Что это за грамматика? Контекстно-зависимый или контекстно-зависимый

Я изучаю Формальные Языки и Теорию автоматов, и у меня есть вопрос о проблеме в книге, на которую нет ответа. вопрос в том: Является ли этот язык контекстным, регулярным или контекстно-зависимым? L = {an wwR bn| w является (a + b) *, wR является обр…