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

    正规式中的基本运算符号有“|”、“·”、“*’，分别称为“或”、“连接”和“闭包”，连接运算符“·”可省略。

    正规式“(1|01)”表示的串是“1”或者“01”，对其进行“*”运算得到的串为空串，或者“1”无限次地连接“1”或“01”，或者“01”无限次地连接“1”或“01”，例如“1”、“01”、“11”、“101”、“011”、“0101”、……。“(1|01)*0”则表示这样的0和1构成的串：以0结尾且0不能连续出现。