そのような規則はA→wという形式であり、さらにwに対応する言語に、先頭が'a'の文字列が少なくとも1つ存在する場合に限られることは簡単に分かる。
我们可以轻松的发现到这种规则应该有A→w一类的格式，并且语言中的w应至少有一个字串由a开头。