正則語言

Question

我所遇到的在那裏他們指出的語言由

L = {WW ^{- [R}表示許多論壇| W ^{- [R}是W的反向和W屬於（0,1 ）^*}

不是正常的。抽水引理也證明了這一點。

但是我能夠爲此寫一個正則表達式，其中我使用了與this鏈接中給出的相同的邏輯。
檢查：

（0 + 1）^* 11（0 + 1）^* +（0 + 1）^* 00（0 + 1）^*

邏輯中是否有缺陷？或者我可能錯過了一些東西。 感謝提前:)

Answer 1

(0+1) * 11 (0+1) * + (0+1) * 00 (0+1) * + (0+1) *   initial 
= (0+1) * 11 (0+1) * + ((0+1) * 00 (0+1) * + (0+1) *)  union is associative 
= (0+1) * 11 (0+1) * + (0+1) *        L u U = U (U is universe) 
= (0+1) *             L u U = U (U is universe) 

你的正則表達式，其中包含一個聯盟與(0+1)*，是它包含的0 S和1一切都串幷包含目標語言的真子集的語言。除目標語言以外的其他字符串中，您的語言包含字符串01100。

請注意，我正在採取+來表示聯合，並列意味着級聯，並且*意味着Kleene閉包。