式化上的一些尝试包括 D. J. Weir 开发的线性上下文无关重写系统，Edward P. Stabler 的极小主义者文法，Carl Pollard 的头文法，Mark Steedman 开发的组合范畴文法， Gerald Gazdar 定义的线性附标文法，Aravind Joshi 开发的树-邻接文法。前两个文法类定义同样的语言集合，而余下的定义一个单一的、严格更小的语言类；尽管在两个类中所有语言都是适度上下文有关的并且两个类都支持某种跨序列依赖，Laura Kallmeyer 相信这两个类都不能穷尽