法的所有规则都是扩张的，就是说在字符串的整个导出过程中，每个终结符和非终结符的字符串比起前面导出的字符串要么同样长度要么多出一个元素。长度 n 的字符串的导出总是精确的 2n-1 步长。Chomsky 范式得名于诺姆·乔姆斯基，他是发明乔姆斯基层级的美国语言学家。
证明.进一步的，因为导出非终结符的所有规则都把一个非终结符变换成两个非终结符，基于 Chomsky 范式的文法上的一个分析树是二叉树，而这个树的高度被限制于最高为这个字符串的长度。由于这些性质，在语言和可计算性