义一个单一的、严格更小的语言类；尽管在两个类中所有语言都是适度上下文有关的并且两个类都支持某种跨序列依赖，Laura Kallmeyer 相信这两个类都不能穷尽适度上下文有关语言的完整集合。大量的上述的类可以用线索自动机来解析，而更小的类可以用嵌入下推自动机来解析。