尝试构建 DFA

Question

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

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

任何构建自动机的帮助

Answer 1

此处您的语言接受所有以 0100 结尾但不包含 11 的字符串。所以，跟随自动机满足你的语言。

解释：

• 状态 e 是 null 状态。如果自动机连续遇到两个1，它会进入null状态，然后不管什么情况，它都停留在非终止状态。
• 它搜索0100，如果遇到它，它会进入终止状态d。