巴科斯范式(Backus - Naur Form,简称BNF)是一种形式化的语法表示方法,主要用于描述编程语言、标记语言等形式语言的语法规则。
- 符号表示
- 非终结符(Non - terminal Symbols):通常用尖括号“< >”包围的名称来表示,如<表达式>、<语句>等。这些非终结符代表语法中的抽象结构,它们可以进一步由其他非终结符或终结符来定义。例如,在描述一个简单的编程语言语法时,<程序>是一个非终结符,它可能由一系列的<语句>组成。
- 终结符(Terminal Symbols):是语言中实际出现的符号,如字母、数字、...