BNF
バッカス・ナウア記法(Backus-Naur form,Backus normal form)
バッカス・ナウア記法 - Wikipedia
バッカス・ナウア記法(pdf)
応用情報 平成29年秋期 問2
関連
帰納的型