编写描述集合的正则表达式

时间:2019-02-20 11:37:48

标签: regular-language automaton

L {w | w包含任意数量的子字符串00和11,其中1出现在w中的任何位置}

我的猜测是,因为1可以在任何地方,所以Σ*001Σ*1Σ*11Σ*应该是正则表达式。有什么想法或更正吗?

1 个答案:

答案 0 :(得分:1)

将语言定义分为几部分:

L := { w | 
  w contains any number of substrings 00 and 11
  w contains one "1"
}

第一部分实际上没有任何意义。 “任何数量的子字符串00和11”不能包含任何子字符串。并不是说字符串必须至少包含其中之一。这等效于Σ*

第二部分说字符串必须在其中的某个位置包含1Σ*1Σ*