些性质还产生了基于 Chomsky 范式的文法的各种有效算法；例如，判定给定字符串是否可以被使用 Chomsky 范式的给定文法生成的 CYK算法。
可替代的定义.某些来源以稍微不同的方式来定义 Chomsky 范式：一个形式文法是 Chomsky 范式的，当且仅当所有产生规则都有如下形式：这里的 "A", "B" 和 "C" 是非终结符，而 α 是终结符。当使用这个定义的时候，"B" 和 "C" 不能是开始符号。这个定义不同于前面定义的是它排除了文法生成空串 ε 的可