首页 / 计算机术语 / Backus normal form
Backus normal form/bækəs ˈnɔːrməl fɔːrm/
巴科斯范式 · 编程语言定义
一种用于描述编程语言语法的符号系统,由约翰·巴科斯提出,广泛应用于编译器设计和语言规范中。

💻 定义

  • 一种形式化语法表示
  • 用于定义编程语言结构
  • 常用于编译器开发

💻 应用场景

  • 编写语言规范文档
  • 设计编译器解析逻辑
  • 验证语法正确性
💡 实例
在设计一个新编程语言时,开发者使用 Backus normal form 来定义变量声明、函数调用等语法规则,确保代码能被正确解析。