你尼。 在最优性理论中，关于在特殊和一般约束之间的关系的假设被称为“波你尼约束等级定理”。波你尼式文法还被用于非梵语语言。他的着作是现代形式语言理论(计算语言学)和形式文法的先驱，并且是计算的先驱。波你尼一起使用元规则、变换和递归使得他的文法同现代图灵机一样严格。用来描述现代编程语言的巴科斯-瑙尔范式或 BNF 文法与波你尼文法规则有重大的相似性。波你尼的文法可以被认为是世界上的第一个形式系统，远在十九世纪弗雷格革新和随后的数理逻辑发展之前。为了设计他的文法，波你尼使用了“辅助符号”的方法，在其中指定新