具有非常复杂语言的确定性有限自动机

问题描述

在我们的 IT 理论课程中，我们有一个问题如下：

为该语言创建一个确定性有限自动机： L = {1ab3c3 | a ∈ {2,3}*,b ∈ {1,3}* ∧ |b| mod(2) = 1,c ∈ {1,2,3}* ∧ |c| mod(3) = 0}

我尝试了很多不同的方法，例如创建一个简单的 NFA 并尝试将其转换为 DFA，尝试向后找到解决方案等。

我们能想到的最好的确定性是结尾 (3c3)，链接在这里：

3c3 deterministic image

与其他问题相比，这似乎是一个非常困难的问题（每个问题大约需要 2 分钟）。

有什么我忽略的地方吗？在这种情况下，人们会采取什么方法？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）