【正确答案】 C

【答案解析】 本题考查程序语言基础知识。
   正规式a*b*表示的是若干个a后面跟若干个b的字符串；(a|b)*a表示的是以a结尾的所有由a、b构成的字符串；(ab)*表示b在a之后且a、b交替出现的字符串：a(a|b)*表示以字符a开头且仅由字符a、b构成的所有字符串。