Algorithm 展示了一种算法，该算法在给定任何正则语言L的情况下确定L=L*

我正在研究成员资格算法，我正在研究这个特殊的问题，它说：

展示一个算法，给定任何正则语言L，该算法确定L是否=L*

所以，我的第一个想法是，我们有L*，它是L的Kleene星，为了确定L=L*，我们不能说因为L是正则的，我们知道L*的定义是，正则语言族在星闭包下是封闭的。 因此，L始终等于L*

我觉得肯定还有很多，我可能还缺少一些东西。任何帮助都将不胜感激。再次感谢

因为L是正则的，我们知道L*的定义是，正则语言族在星闭包下是封闭的。因此，L始终等于L*

不，RegularL->RegularL*，但这并不意味着L==L*。仅仅因为两种语言都是规则语言并不意味着它们是相同的规则语言。例如，a*和b*都是常规语言，但这并不意味着它们是同一种语言

L！=L*将是语言L=a*b*，因此L*=a*b**。字符串abab是L*的一部分，但不是L的一部分

就算法而言，让我提醒您，规则语言的概念是一种可以被DFA解析的语言——对于任何给定的DFA，都有一个DFA的最佳简化

因为L是正则的，我们知道L*的定义是，正则语言族在星闭包下是封闭的。因此，L始终等于L*

不，RegularL->RegularL*，但这并不意味着L==L*。仅仅因为两种语言都是规则语言并不意味着它们是相同的规则语言。例如，a*和b*都是常规语言，但这并不意味着它们是同一种语言

L！=L*将是语言L=a*b*，因此L*=a*b**。字符串abab是L*的一部分，但不是L的一部分

---

就算法而言，让我提醒你，正则语言的概念是一种可以被DFA解析的语言——对于任何给定的DFA，该DFA有一个单一的最佳简化。

你所说的含义是错误的。克莱恩星下的紧密性意味着，如果L是正则的，那么L*又是正则的。

---

检查L=L*的一种可能性是计算两者的最小自动机，然后检查等价性。

您所述的含义是错误的。克莱恩星下的紧密性意味着，如果L是正则的，那么L*又是正则的。

---

检查L=L*的一种可能性是计算两者的最小自动机，然后检查等价性。

谢谢，这为我澄清了这一点。我错误地认为L=L*。谢谢你，这为我澄清了一切。我错误地认为L=L*。