例えば、同じ個数のaとbを含む文字列から成る言語は文脈自由言語ではあるが、正規言語ではない。
这个语法事实可以用a／b这一符号来代表，但是，其中的a、b都不是简单项而是复杂项，它们分别从属于一定的系统之下。