如何建立一个只接受一定数量0的字符串的确定性有限状态机？

Question

如何制作一个只接受一定数量0的字符串的确定性有限状态机？例如，一台只接受00000（5个零，而不是4或6个零）的机器

Answer 1

由于自动机的状态代表其唯一的内存，因此无法构建小于n + 1个状态的DFA来计算n个连续的零。你需要数到5（从0开始），例如接受'00000'，这意味着6个州：