请求验证两类简单问题的有限自动机示意图及解释正确性

1. 语言{w ∈ Σ∗ | w包含子串1010}（5状态方案） #

• 状态对应子串1010的匹配流程，匹配中断时需回退到对应前缀的状态
• 接受状态可由0或1结尾
  

2. 语言{w ∈ Σ∗ | w恰好包含两个0，或至少包含两个1}（6状态方案） #

• 起始于预状态
• 分为两条路径：第一条对应恰好两个0的情况，该路径无0的循环；第二条对应至少两个1的情况，可通过循环接受任意多后续的1
• E代表ε（空转移）

疑问：我需要在状态C和D上添加0的循环吗？ #

内容的提问来源于stack exchange，提问作者cool cat