Automation DFA的状态图

给出DFA的状态转换图，它可以识别字母表{x，y}上的以下语言

L1

=以x开头且长度为奇数的所有字符串的集合

L3

=以x结尾且长度为偶数的所有字符串的集合

我需要找到

l1ul3

我的答案是：

---

我的答案左边是L1（也许我可以保证它的正确性），我对右边的正确性感到困惑，我的答案是对的还是错的？

你的答案是错的。您可以通过思考DFA不接受的语言中的单词来判断，例如

xx

，这是一个以

x

结尾的偶数长度字符串，因此它是

L3

的一部分。您还缺少

yyyyx

，它应该是

L3

的一部分

您要做的是从epsilon NFA开始，其中开始状态有两个epsilon转换到

L1

和

L3

的开始状态。然后使用NFA-to-DFA算法生成一个接受

l1u-L3

的DFA