常规语言

【问题标题】：Regular Languages常规语言
【发布时间】：2016-08-03 08:20:07
【问题描述】：

我遇到过很多论坛，他们说

所代表的语言

L={WW^R|W^R是W的逆，W属于(0,1)^*}

不规则。并且它也已经被抽引理证明了。

但我可以为此编写一个正则表达式，其中我使用与this 链接中给出的相同逻辑。
检查一下：

(0+1)^* 11 (0+1)^* + (0+1)^* 00 (0+1) ^*

逻辑有问题吗？或者我可能想念的东西。在此先感谢:)

【问题讨论】：

标签： regular-language computation-theory

【解决方案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)* 的联合，是包含0s 和1s 的所有字符串并包含目标语言作为适当子集的语言。您的语言包含字符串01100。

请注意，我使用+ 表示联合，并列表示连接，* 表示 Kleene 闭合。

【讨论】：