【形式语言与自动机】正则表达式题目

正则表达式	含义	示例
$(0+1{)}^{\ast }$	由0和1构成的任意长度的字符串
$(0+1{)}^n$	由0和1构成的长度为n的字符串

题目1: 由0和1构成的字符串中，倒数第3个字符是1的全部串。

题目2：由0和1构成的字符串中，没有连续的0的全部串。

写法一：$1^{\ast }(011^{\ast }{)}^{\ast }(0+\epsilon )$

一个没有连续的0的字符串的结构可以看成是：

1. 中间部分：类似于"011-0111-01-01-0111"
2. 开头部分：可以加上若干个1: “111-0101011101”
3. 结尾部分：可以加上1个0: ”01101011-0"

正则表达式	含义	示例
$011^{\ast }$	$01^{+}$，由一个0和至少一个1组成的字符串	{01, 011, 0111, 01111, …}
$(011^{\ast }{)}^{\ast }$	以0开头且以1结尾的、没有连续的0的字符串	“011-0111-01-01-0111”
$1^{\ast }(011^{\ast }{)}^{\ast }$	（解决“以0开头”）以1结尾的、没有连续的0的字符串	开始位置可以有若干个1: “111-0101011101”；也可以一个1也没有: “0101011101”
$(011^{\ast }{)}^{\ast }(0+\epsilon )$	（解决“以1结尾”）以0开头的、没有连续的0的字符串	可以以0结尾：01101011-0，也可以不以0结尾：01101011
$1^{\ast }(011^{\ast }{)}^{\ast }(0+\epsilon )$	没有连续的0的字符串

写法二：$(0+\epsilon )(11^{\ast }0{)}^{\ast }{1}^{\ast }$

一个没有连续的0的字符串的结构可以看成是：

1. 中间部分：类似于"110-1110-10-110"
2. 开头部分：可以加上1个0: “0-110110111010”
3. 结尾部分：可以加上若干个1: “11010110-11111”

正则表达式	含义	示例
$11^{\ast }0$	$1^{+}0$，由至少一个1和一个0组成的字符串	{10, 110, 1110, 11110, …}
$(11^{\ast }0{)}^{\ast }$	以1开头且以0结尾的、没有连续0的字符串	“110-1110-10-110”
$(0+\epsilon )(11^{\ast }0{)}^{\ast }$	以0结尾的、没有连续0的字符串	“0-101101110”或"101101110"
$(11^{\ast }0{)}^{\ast }{1}^{\ast }$	以1开头的、没有连续0的字符串	“110110110-11111”
$(0+\epsilon )(11^{\ast }0{)}^{\ast }{1}^{\ast }$	没有连续0的字符串

写法三：$(1+01{)}^{\ast }(0+\epsilon )$

一个没有连续的0的字符串的结构可以看成是：

1. 中间部分：类似于"01-1-01-1-1-01-01-01-1-1"（每一个位置可以是01或1）
2. 结尾部分：可以加上一个0

正则表达式	含义	示例
$(1+01{)}^{\ast }$	以1结尾的、没有连续0的字符串	“01-1-01-1-1-01-01-01-1-1”
$(1+01{)}^{\ast }(0+\epsilon )$	没有连续0的字符串

写法四：$(0+\epsilon )(1+10{)}^{\ast }$

一个没有连续的0的字符串的结构可以看成是：

1. 中间部分：类似于"1-10-1-1-10-10-1-10"（每一个位置可以是10或1）
2. 开头部分：可以加上一个0

正则表达式	含义	示例
$(1+10{)}^{\ast }$	以1开头的、没有连续0的字符串	“1-10-1-1-10-10-1-10”
$(0+\epsilon )(1+10{)}^{\ast }$	没有连续0的字符串

题目3

题目中的正则表达式（记为R）$1^{\ast }+1^{\ast }0(11^{\ast }0{)}^{\ast }11^{\ast }$，由两部分组成：

1. $1^{\ast }$：全1串
2. $1^{\ast }0(11^{\ast }0{)}^{\ast }11^{\ast }$：
   

用排除法来选择：

• R一定以1结尾：排除A、C
• 答案B一定以1开头，但是R可以以0开头，排除B

答案选D

题目4

字母表{a, b, c}上的任意长度串：$(a+b+c{)}^{\ast }$

至少包含一个a和至少一个b，有两种情况：

1. 先a后b
2. 先b后a