度被限制于最高为这个字符串的长度。由于这些性质，在语言和可计算性领域中很多证明采用了 Chomsky 范式。这些性质还产生了基于 Chomsky 范式的文法的各种有效算法；例如，判定给定字符串是否可以被使用 Chomsky 范式的给定文法生成的CYK算法。
可替代的定义.某些来源以稍微不同的方式来定义 Chomsky 范式：一个形式文法是 Chomsky 范式的，当且仅当所有产生规则都有如下形式：这里的 "A", "B" 和 "C" 是非终结符，而 α 是终结符。当使