巴克斯-诺尔范式（BNF：Backus Naur Form）是由 John Backus 和 Peter Naur 首先引入的用来描述计算机语言语法的符号集。它以递归方式描述语言中的各种成分，凡遵守其规则的程序就可保证语法上的正确性。BNF由于其简洁、明了、科学而被广泛接受，成为描述各种程序设计语言的最常用的工具。