如何构造满足n mod 5=0（n为1的个数）的NFA/eNFA？

• 状态数量：NFA对状态数量没有硬性限制，只要能准确识别目标语言即可——既可以用最少状态实现，也能根据逻辑拆分新增状态，核心是状态迁移逻辑要完全匹配语言规则。
• 终态设置：终态必须是所有能代表“字符串匹配完成”的状态，只要输入字符串满足语言要求时最终停留的状态，都要设为终态，不能遗漏符合条件的状态，也不能错误将无关状态设为终态。
• 跳转回q0的合理性：完全允许跳转回初始状态q0，这在处理重复模式的语言时非常常见（比如匹配任意多组"ab"的场景，完成一组匹配后跳回q0继续匹配下一组）。是否需要新增状态，取决于语言规则：如果跳转回q0就能满足逻辑需求，无需新增；如果现有状态无法区分不同的匹配阶段，才需要新增状态细化逻辑。

另外给你两个NFA正确性验证思路：

1. 选取目标语言的典型用例（符合规则的、不符合规则的），手动走一遍NFA的迁移路径，查看是否能正确进入终态或停留在非终态。
2. 对比NFA的迁移逻辑和语言的正则表达式定义（如有），确认每个状态对应的正则片段是否匹配。

内容的提问来源于stack exchange，提问作者Pepe Coco