bnf

3зной

1ответ

Использование SMIE Emac для синтаксического анализа языка с опцией; для завершения заявления

Я использую SMIE для анализа языка, который не всегда требует ;, чтобы завершить утверждение. Если конец строки находится за пределами конструкции фигурной скобки ({}, (), []), а последний токен без к

13зной

3ответ

Контекстная грамматика для C

Я работаю над парсером для C. Я пытаюсь найти список всех контекстно-свободных дериваций для C. В идеале это было бы в BNF или аналогичном. Я уверен, что такая вещь есть, но googling вокруг не дал мне

3зной

5ответ

Грамматика для объявления метода в Java

грамматике для объявлений метода в Java что-то вроде следующего: Java method declaration BNF: method_declaration ::= { modifier } type identifier "(" [ parameter_list ] ")" { "[" "]" }

4зной

1ответ

Как вы сравниваете ноль или более токенов в Jison?

Я пишу простой синтаксический анализатор в Jison, позволяя произвольному числу строк новой строки следовать за двоичным оператором в выражении. Это моя грамматика до сих пор: { "operators": [

2зной

2ответ

Какие RFC определяют массивы, передаваемые по HTTP?

Что RFC определяет передающие массивы через HTTP? Большинство платформ веб-приложений позволяют вам предоставлять массив аргументов через GET или POST. Следующий URL-адрес является примером: http://lo

0зной

1ответ

Как я могу удалить некоторые термины при разборе этого BNF?

Я пытаюсь проанализировать логическое выражение, используя библиотеку Happy. Проблема в том, что результат не так хорош, как хотелось бы, когда я ввожу круглые скобки. Я сделал следующую грамматику. Q

1зной

1ответ

Как обозначить семантику этого синтаксиса?

Я пишу спецификацию языка, и мне нужен следующий рудиментарный вопрос. Предположим, что у меня есть (правда надуманный) абстрактный синтаксис: <A> ::= <B> | <C> <B> ::= 1 | 2 | 3 <C> ::= 4 | 5 | 6