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?)*