根据我的教科书，只要L1是正则语言，L1 = A* - L1的补集就是正则语言。
A* 不是还包括上下文无关语言、上下文相关语言和递归可枚举语言吗？ A*-L1 也将包括所有这些，不是吗？那怎么可能有规律呢？
在有限状态机的表示下，我理解为什么补码仍然是常规语言。但是，我无法理解其背后的理论。
另外， A* - L1 = A* 交集补码(L1) 。用补语定义的东西来定义补语不是同义反复吗？我真的不明白这怎么可能有效。
Thanks.
我认为你感到困惑的地方是当你说“不A*还包括上下文无关语言、上下文相关语言和递归可枚举语言？”你很困惑A*，即一组字符串, with Powerset(A*)，即一组语言.
确实如此Powerset(A*) - {L1}是一个包含“上下文无关语言、上下文敏感语言和递归可枚举语言”的集合，但它实际上与定理无关，该定理只是说：给定任何常规语言L（一组字符串），然后是语言A*-L, also 一组字符串，也是一种常规语言。
TL;DR 您的问题中的级别之间存在混淆：字符串集与语言集。任意两部分A* into L and A*-L其中L是正规的还必须有A*-L常规的。A*没有也不可能“包含语言”，因为它是一组字符串。
对于你的第二个问题：
另外， A* - L1 = A* 交集补码(L1) 。用补语定义的东西来定义补语不是同义反复吗？
好问题。我怀疑如果这是作为定义提出的，那只是定义运算符-。据我所知，它没有定义“补函数”。也许“补”已经被定义了，而你的书现在正在尝试定义减法运算符。否则这只是一个定理而不是一个定义。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
