问计算理论
EN

Stack Overflow用户

提问于 2019-07-14 04:26:36

回答 1查看 27关注 0票数 1

我对计算理论非常陌生，我只是想弄清楚一个问题。下面的陈述是真的吗？L(M) = L( M1 )和L( M2 )，其中M1和M2是∩。

我在想当L(M1) = {}和L(M2)≠{}时的情况。我得到了L(M) = L(M1)∩L(M2) = {}。然而，我不确定L(M)是否可以同时接受L(M1)和L(M2)。我记得每种语言都包含一个空集。

发布于 2019-07-15 20:38:43

两个集合的交集是恰好包含两个集合中的元素的集合。正如您正确注意到的，空集与非空集的交集就是空集。也就是说，如果其中一个集合(或两个集合)为空，则交集也必须为空。为什么？因为空集合中根本没有元素，所以不能同时存在两个集合中的任何元素。

两个集合的交集始终是交集中每个集合的子集。如果第一个集合的所有元素都属于第二个集合，则一个集合是另一个集合的子集。如果第一个集合是空的，那么第一个集合的“所有”元素都属于第二个集合是微不足道的(或者说是空洞的)；没有元素可以作为反例。因此，空集是每个集的子集，包括它自己。

两种语言交集的DFA不能同时接受两种语言。如果您希望DFA接受任何一种初始语言的字符串，而不是同时接受这两种语言的字符串，那么您要查找的操作是并集，而不是交集。该符号与交叉点相同，只是上下颠倒，就像一个大字母U。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/57022592

复制

相似问题

问计算理论EN