试图建立DFA

Question

我正在尝试构建确定性有限自动机，这是一种形式语言

L = {w|w=Σ*0100} ⋂ {w=!Σ*11Σ*}

任何帮助构建自动机的方法

Answer 1

在这里，您的语言接受以0100结尾但不包含11的所有字符串。所以，下面的自动机满足你的语言。

​

​

解释：

• state e是null状态。如果自动机连续地遇到两个1，它会进入null状态，然后不管发生什么，它都会陷入非终止状态。
• 会搜索0100，如果遇到它，就会进入终止状态
• 。