Van Wijngaarden 文法
Van Wijngaarden 文法（也称为 W-文法）是一种形式文法，由荷兰计算机科学家 Adriaan van Wijngaarden 在 1960 年代为定义 ALGOL 68 编程语言而开发。它通过引入两级语法（上下文无关的元语法和上下文相关的超语法）来生成无限的语言集合，能够描述那些上下文无关文法无法处理的语言特性，是计算机语言形式化描述的重要工具。
背景速读
范韦恩加登文法是一种由荷兰计算机科学家Adriaan van Wijngaarden在1960年代发明的两级文法（two-level grammar），用于定义ALGOL 68编程语言的语法。其核心创新在于：它用一套"元规则"（metarules）来生成"超规则"（hyperrules），从而能够描述普通上下文无关文法（如BNF）无法表达的语法约束——例如变量必须先声明后使用、类型必须匹配等。这种文法的表达能力介于上下文无关文法和上下文有关文法之间，在编程语言设计史上具有重要地位。然而，由于它极其复杂难读，几乎从未被实际用于工业语言定义，更多是作为理论工具和ALGOL 68规范的历史遗产被后人研究。理解这篇条目需要知道：ALGOL 68是当时最具野心的通用编程语言之一，其语法定义被普遍认为过于超前和艰深。