ebnf

0熱

1答えて

私のプロジェクトの一環として、EBNFをBNFに変換し、DCGを使用してSWI-PrologのBNFをプログラムする必要があります。次のように EBNFは以下のとおりです。 program -> int main () { declarations statements } declarations -> { declaration } declaration -> type identifi

0熱

1答えて

antlrを使用して繰り返し属性を解析する方法は？

私は以下の文法を持っています。 meta : '<' TAG attribute* '>'; attribute : NAME '=' VAL; TAG : [A-Z0-9]+; NAME : [A-Z_-]+; VAL : '"'.*?'"'; 以下の文字列に一致させたいと思います。 <META HTTP-EQUIV="Content-Type" CONTENT="text/

0熱

2答えて

シフト/リダクションの競合の解決

私はPLYを使用して、thisの文法を解析しています。リンクされた仕様で使用されているEBNFのメタグラフを実装しましたが、PLYは複数のシフト/リダクションの競合を報告します。文法： Rule 0 S' -> grammar Rule 1 grammar -> prod_list Rule 2 grammar -> empty Rule 3 prod_list -> prod

2熱

1答えて

EBNFをMegaparsecネストされたsepByで解析する

練習として、私はEBNF/ABNF文法をMegaparsecで解析しようとしています。私は端末やオプション機能のような簡単なものを持っていますが、私は選択肢に苦しんでいます。 S ::= 'hello' ['world'] IDENTIFIER LITERAL | 'test'; そして、このコード：この文法では unexpected '|' expecting "IDENTIFIER",

0熱

1答えて

=> EBNF表記の意味>

EBNF表記では、多くの場合、=>が表示されますが、説明が見つかりません。私はグーグルで、いくつかのPDFとWikipediaを読みましたが、まだ手がかりはありません。 assignmentExpression: (leftHandSideExpression assignmentOperator) => leftHandSideExpression assignmentOpe

1熱

1答えて

BBCodeの拡張BNF

BBCode reference siteがあります。しかし、Backus normal formがBBCodeの存在はありますか？

4熱

1答えて

Common Lisp（HyperSpec）のドキュメントを読んで理解する

Common Lispのツールをより深く理解するために、ドキュメントを読む際に苦労していました。つまり、問題のマクロの使用方法を理解することは困難です。たとえば、this考える： do ({var | (var [init-form [step-form]])}*) (end-test-form result-form*) declaration* {tag | statement}* どのよう

2熱

1答えて

VHDLのエンティティ構文

VHDLのエンティティの構文について混乱します。出典：：私はについて混乱している何Peter J. Ashenden, "The Designers Guide to VHDL", 3rd ed., Morgan Kaufmann, 2008. は、宣言の終わりです。ここ実体が宣言されるべきかEBN formのルールがあります。これによると、エンティティまたはの識別子を最後に含める必要はなく、す

0熱

1答えて

EBNFをBNFに変換する

私はこのEBNFをBNFに変換するのに苦労しています。画像を使用するBNF diagram 私はこれをEBNFに変換して、これをBNFに変換したいと思います。私が持っている EBNF： Number_constant ::= (| "-") digit+ ("." digit+ | ) 私は苦労していますが、一部の図の真ん中で、私は1-9のように定義された数字を持っているので、キーワードとして

-1熱

1答えて

EBNF文法を読む

私はこのEBNF文法を読んで助けが必要でした。私はそれが初めてで、特に最初のことを理解していない、私は2番目のことを理解していますが、最初のもの。ターム:: =プライマリ{（T_STAR | T_SLASH）期間} プライマリ:: = T_ICONST | T_SCONST | T_ID | EBNFでT_LPAREN ExprにT_RPAREN