编译原理龙书习题 3.3.5 c 和 3.3.5 h 的解题答案与思路

Exercise 3.3.5 : Write regular definitions for the following languages:

c) Comments, consisting of a string surrounded by /* and */, without an
intervening */, unless it is inside double-quotes (“”)
h) All strings of a’s and b’s that do not contain the substring abb

c 题意：注释就是由 /* 和 */ 包围着的字符串，而且它们之间没有 */，除非被双引号包裹着
解题思路：

1.首先头尾很容易确定是 /* 和 */，而且 * 和 / 均为需要转义的字符，中间部分我先用()*代替，可得 \/\*()*\*\/
2.然后开始思考中间的部分，首先把双引号考虑进去,双引号内无论是什么内容都不用管 所以是 ".*"
3.然后开始考虑双引号以外的部分
这部分主要的特征是：
不能再有 " 和 * 的出现，除非 * 后面跟着的不是 / 
也就是 [^*"]* 和 \*+[^/] 
上面三部分或起来，得到 ".*"|[^*"]*|\*+[^/] 
最后把它放入1中的括号里面，即可得到答案：\/\*(".*"|[^*"]*|\*+[^/])*\*\/

d题意：不含有 abb 的只由 a 和 b 组成的字符串
易得答案为 b*(a+b?)*

标签：abb,题意,双引号,龙书,解题,3.3,答案,习题
来源： https://blog.csdn.net/hyhlsy/article/details/120255948