Backus-Naur Form is a type of meta-syntax*, which can be used as abstract context free grammar**. From such a metasyntax other syntax can be derived from — for example social languages like english or computer languages like Pyhton.
Meta-syntax with <Non-terminals> => replacements => Syntax with <terminals>
- * “A metasyntax describes the allowable structure and composition of phrases and sentences of a metalanguage, which is used to describe either a natural language or a computer programming language. Some of the widely used formal metalanguages for computer languages are Backus–Naur form (BNF), extended Backus–Naur form (EBNF), Wirth syntax notation (WSN), and augmented Backus–Naur form (ABNF).”
- ** “In formal language theory, a context-free grammar (CFG) is a certain type of formal grammar: a set of production rules that describe all possible strings in a given formal language. Production rules are simple replacements.”