_16中的语言，可等效于某些正则语言。因此，每一个上下文无关语言都可等效于某些正则语言。
重要性.帕里克定理表明，有些上下文无关语言可能只有歧义语法。这样的语言称为"固有歧义语言"。从形式文法的角度看，这意味着某些有歧义的上下文无关文法无法转换为明确的上下文无关文法。