Definition:Backus-Naur Form/Specification

 A definition of an object language $\mathcal F$ in Backus-Naur form is called a specification of $\mathcal F$.