软件设计师-文法分析-正规式

求解！！百度了半天也没找到可以理解的解析，为啥选B呢，具体的判定过程是啥样的呀(T ^ T)

A,C,D 是排除法， B 的确 是偶数 个a 因为0 也是偶数

关键是要理解 * 表示 0次或者n次