参考答案：B

解析：

本题考查程序语言方面的基础知识。

在正规式中，符号：表示重复若干次(包括0次)，因此正规式“(a*a)*b*”中的表达式“(a*a)。”不能保证有偶数个a。同理，“(a*(ba*)*)*”和“(a|b)*(aa)*”中对a的个数也没有限制，而在“(ab*a)*”中可以确保a的出现为偶数个。