Backus-Naur Form

计算机科学中用于描述编程语言语法的元语法记法，由John Backus和Peter Naur在20世纪50年代末提出，通过产生式规则精确无歧义地刻画语言的合法结构。