Automation 我怎样才能说一种普通的语言？

我们知道，使用泵引理，我们可以很容易地证明语言L={WW|W∈ {a，b}*}不是一种常规语言

然而，语言L1={W1W2 | | W1 |=| W2 |}是一种常规语言。因为我们可以得到如下的DFA，

我的问题是，L={WW | W∈ {a，b}*}也有偶数长度的字符串（|w |=|w |，肯定），我仍然可以有一些类似上面的dfa。为什么它不是一种常规语言

---

谢谢。

您误解了语言

ww

和

DFA

的语言，即L1:

[问题]：

• L={ww | w=w}

  是一种常规语言

  （RL）

  。因为我们可以得到如下所示的

  DFA

  DFA:  L1 ={ w1w2| |w1| = |w2|, where w1 , w2 ∈ {a, b}* } 
  
  --►((even))------a,b---------►(odd)  
        ▲                         |  
        |--------a,b--------------| 
  

[怀疑]

什么是L={ww | where w∈ {a，b}*}是什么

L是偶数长度的字符串，由

a

和

b

组成，其前缀子字符串等于后缀子字符串。

L

的一些示例是

{aa，bb，abab，aaaa，bbbbbb，abababa，ababb，…}

DFA的语言是什么？或者L1={w1w2 | | w1 |=| w2 |，其中w1，w2∈ {a，b}*}

所有偶数长度字符串都由

a

和

b

组成，例如

{ab，ba，aabb，baab，ab，aa，bb，abba，abba，…}

注意：所有偶数长度的字符串都由

a

和

b

组成，它们不在

L

中，例如

{ab，ba，aabb，baab，ab}

，但该字符串在

DFA

的语言中=L1

所以，

L（DFA）=L1！=L

[疑问-1]

L

和

L（DFA）=L1

之间的关系

正如我在笔记中所写的，

L⊆ L（DFA）

所以属于

L

的每个字符串也是DFA语言的元素，并且接受了您

DFA

。（这是你的困惑）

另外，语言

L={ww|w|=|w|}

不是常规语言。我们不能为这种语言绘制

DFA

。两种语言不一样<代码>（L！=L1）

L

比

L（DFA）

L

=

{WW|W}

不是正则的，可以用泵引理证明

---

L

甚至不是上下文无关的语言，而是上下文敏感的语言

我在cs.stackexchange中发布了这个thead，并提供了答案

两种语言的关键区别在于，第一种语言不需要记住它的内容，只需计算长度就足够了，而第二种语言需要分析w和w是否相同

---

谢谢@Ran、@Grijesh和@dema80:-）

在我看来，这个问题属于个人，我会说，因为这看起来不像是你要写博士学位的东西。关于也许在这方面我太势利了@dema80，是的，把这根线放错地方了。抱歉：-）嗨，格里耶什，我真的很感谢你在这条线上花了这么多精力！！：-）正如您提到的，“注意：所有由a和b组成的偶数长度字符串都不是L1中的，例如{ab，ba，aabb，baab，ab}，而是DFA语言中的这个字符串。”我不知道为什么L1不能包含这些字符串，因为W1可能不等于W2，只有W1和W2的长度是相同的。也就是说，如果W1=a，W2=b，那么字符串就是ab∈ L1。形成“偶数”状态--->a--->“奇数”状态--->b--->“偶数”状态。接受