finite-automata - 具有非常复杂语言的确定性有限自动机
问题描述
在我们的理论 IT 课程中，我们有一个问题如下：
为语言创建一个确定性有限自动机：L = {1ab3c3 | a ∈ {2,3}*, b ∈ {1,3}* ∧ |b| mod(2) = 1, c ∈ {1,2,3}* ∧ |c| 模（3）= 0}
我尝试了很多不同的方法，比如创建一个简单的 NFA 并尝试将其转换为 DFA，尝试反向找到解决方案等。
我们能想到的最好的事情是确定性的是结尾（3c3），链接在这里：
与其他问题相比，这似乎是一个非常非常困难的问题（每个问题大约需要 2 分钟）。
有什么我忽略的吗？在这种情况下会采取什么方法？