Can you summarize the following document?
        
  進一步的,因為匯出非終結符的所有規則都把一個非終結符變換成兩個非終結符,基於 Chomsky 正規化的文法上的一個分析樹是二叉樹,而這個樹的高度被限制於最高為這個字串的長度。  由於這些性質,在語言和可計算性領域中很多證明採用了 Chomsky 正規化。這些性質還產生了基於 Chomsky 正規化的文法的各種有效演算法;例如,判定給定字串是否可以被使用 Chomsky 正規化的給定文法生成的 CYK演算法。

  某些來源以稍微不同的方式來定義 Chomsky 正規化:  一個形式文法是 Chomsky 正規化的,當且僅當所有產生規則都有如下形式:  這裡的 "A", "B" 和 "C" 是非終結符,而 α 是終結符。當使用這個定義的時候,"B" 和 "C" 不能是開始符號。  這個定義不同於前面定義的是它排除了文法生成空串 ε 的可能性。接受一個語言 "L" 的任何上下文無關文法都可以有效的變換成接受 "L - {ε}" 的 Chomsky 正規化的文法。後者定義的首要好處是證明通常更簡單,由於在匯出過程中每個步驟都永不減少結果字串的長度。當然它的缺點是在最初文法生成 ε 就需要特殊考慮。
在電腦科學中,一個形式文法是 Chomsky 正規化的,當且僅當所有產生規則都有如下形式: