BNF記法
バッカス・ナウア記法(Backus-Naur form，Backus normal form)
文脈自由文法
を定義するための
メタ言語
？
文法を拡張したものが
ABNF
、
EBNF
と2種類ぐらいある
バッカス・ナウア記法 - Wikipedia
バッカス・ナウア記法(pdf)
code:memo
Expr ::= Term | Expr '+' Term
Term ::= Factor | Term '*' Factor
Factor ::= '(' Expr ')' | 'num'
関連
帰納的型
プッシュダウンオートマトン
メモ
BNF、EBNF、ABNF、まー正規表現だな - 檜山正幸のキマイラ飼育記 (はてなBlog)