设字母表∑={a,b},构造产生语言{a^nb^n≥0}的文法。(15分

以下是该文法的一种构造方式：

S → ε | aSb

解释：

S 是起始符号，产生空串或者以 a 开头 b 结尾的字符串，其中 a 和 b 数量相等。

举个例子，按照这个文法，可以推导出以下字符串：

S → ε

S → aSb → ab

S → aaSbb → aabb

S → aaaSbbb → aaabbb

……

可以看出，这个文法可以产生任意个 a，后面跟相同个数的 b，符合题目所给的语言。