有几个关于编译原理的题目
为字母表{a, b}上的下列每个语言设计一个文法.
（1）每个a后面至少有一个b的所有串；
（2）a和b的个数相等的所有串。


写出在Σ＝（a，b）上，不是a开头的，但以aa结尾的字符串集合的正规表达式。


唉 编译的题目 怎么都想不出来正确的。。。
有大神能帮忙解决下么？
[解决办法]
1. (b)*(a(b)+)*
2. 不会
3. b[ab]*aa