参考答案：D

解析：

[分析]： 本题考查正规表达式基础知识。

正规式S=(a|ba)^*对应的正规集为{ε，a，aa，ba，aaa，aba，baa，aaaa，baba， aaba，baaa，abaa，…}，其中的每个字符串中b不能连续出现。