Translation of "Backus-Naur-Form" into English

A metalanguage used for defining the syntax of formal languages, both for the developer of the language and for the user. A language is defined by a set of statements, in each of which a language element known as a metavariable, written in angle brackets, is defined in terms of actual symbols (called terminals) and other metavariables (including itself if necessary).