BNFのBNFとは何ですか？すなわち、どのようにしてBNFメタ文法を定義するのか？

Question

私はBNFのBNFを定義しようとしています。言い換えれば、私はBNFのメタ文法を定義しようとしています。つまり、BNF文法はそれ自身のインスタンスであり、他のBNF文法を生成することができます。

ヒント/ヒント/スニペットがあれば幸いです。

ありがとうございました！

Answer 1

は、ここに1つです：

bnf = rules ; 
rules = rule ; 
rules = rules rule ; 
rule = lefthandside EQUAL righthandside SEMICOLON ; 
lefthandside = IDENTIFIER ; 
righthandside = ; 
righthandside = righthandside token ; 
token = IDENTIFIER ; 
token = QUOTEDLITERAL ; 

これは葉IDENTIFIER、 下QUOTEDLITERAL、EQUALおよび未定義SEMICOLON、BNFはのlangaugeトークンの上に定義されていることを仮定。

文字の上にBNFを定義できます。ただ、追加：読者の練習として残し

EQUAL = '=' ; 
SEMICOLON = ';' ; 
IDENTIFIER = letter ; 
IDENTIFIER = IDENTIFIER letterordigit ; 
letterordigit = letter ; 
letterordigit = digit ; 
letter = 'A' ; 
... 
letter = 'Z' ; 
digit = '0' ; 
... 
digit = '9' ; 

を：選択追加（|）EBNFのためにこのBNFを作るために、複数のルール、およびクリーネ閉包を、この答えは明らかにブランクの取り扱いには苦労しますが、ブランクが許可されていればどこでも「ブランク」の非終端記号を挿入することで対応できます。基本的に文法を本質的に文字の上に書くBNF仕様システムがあり、そのような暗黙的な空白の非終端記号の挿入が行われます（例：Stratego's "Syntax Definition Formalism"）。

BNF-about-BNFで思いがけないレッスンをしたい場合は、BNF処理システムの "MetaII"という正直なものから1965年までのpaper/do the tutorialを読んでください。このホワイトペーパーでは、BNFでBNFを実行する方法と、10ページすべてに2つのコンパイラを構築する方法について説明します。

（60年代から70年代のコンピュータサイエンスをすべて読んでください。それほど多くはありません。どれだけ良い素材があるかに驚くでしょう）。

Answer 2

<line> ::= '<' <word> '>' '::=' <definition> 
<definition> ::= <word> '|' | '' <definition> | ''