グライバッハ標準形とはなんですか？

A. グライバッハ標準形とは、文脈自由言語の生成規則が、全ての生成規則が次の規則を満たすときに、グライバッハ標準形であるといいます。 生成規則1: 空でない文字列が左側に現れる。 生成規則2: 空でない文字列が右側に現れる。 生成規則3: 空でない文字列が左側に現れる。 生成規則4: 空でない文字列が右側に現れる。 この規則を満たしているとき、生成規則の組み合わせによって、文脈自由言語のすべての文字列を生成することができます。

参考URL:https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%A9%E3%82%A4%E3%83%90%E3%83%83%E3%83%8F%E6%A8%99%E6%BA%96%E5%BD%A2