1、在形式语言理论中，____是一个有限字符集，而____是该字母表上的字符串集合。

参考答案：字母表（Alphabet）, 语言（Language）
解析：（书本P8）
字母表是形式语言的基础，它定义了可以使用的符号。

语言则是由这些符号组成的字符串的集合，可以是有限的，也可以是无限的。

1、考虑语言L = {0^n1^n | n ≥ 0}，即包含相同数量的0和1的字符串集合。证明L不是正则语言。

证明：

2、利用泵引理证明语言L={(0^m 1^m)^m | m>=1}不是上下文无关语言
参考解答：