規制された書き換えは、派生ステップで適用される制作を何らかの形で制御することができる文法システムを研究する形式言語の特定の領域です。このため、規制書き換え理論で研究された文法システムは、「制御された派生文法」とも呼ばれています。そのような文法の中で注目されることができます：