BNF
バッカス・ナウア記法(Backus-Naur form，Backus normal form)
文脈自由文法
文法を拡張したものが
ABNF
バッカス・ナウア記法 - Wikipedia
バッカス・ナウア記法(pdf)
関連
帰納的型
プッシュダウンオートマトン