首页 /
编程术语 /
Backus Naur form (BNF)
Backus Naur form (BNF)/bækəs nɔːr fɔːrm/
巴科斯-诺尔范式 · 语法描述工具
一种用于描述编程语言和形式语言语法的符号系统，由约翰·巴科斯和彼得·诺尔提出，广泛应用于编译器设计和语言规范中。
📝 定义
- 一种描述语言结构的符号系统
- 常用于编程语言的语法定义
- 使用规则和符号表示语法规则
🎯 应用场景
- 编写编译器时定义语言结构
- 设计新的编程语言
- 验证程序语法是否正确
💡 实例
比如我们想定义一个简单的算术表达式语法，可以用 BNF 写成：
expression ::= term | expression '+' term | expression '-' term