Backus-Naur form: A meta language used to formally describe the syntax of a language.

• 形式:一种用来从形式上描述一种语言的语法的元语言。