Automation 识别语言{ϵ；，a，b}的DFA

我如何证明存在无限多个DFA，每个DFA都识别语言{ϵ，a，b}。

这取决于如何计算DFA。很明显，该语言有一个DFA，您可以随时向自动机添加一个无法访问的状态。但是，通常情况下，这些细微的差异都会被忽略，并且使用有限的语言，只有有限数量的不同DFA。使用无限语言时，过渡图中会有循环，可以一次又一次地展开，这会产生更显著的差异。另一种说法是，对于给定的有限语言，您不能证明存在无限多个不同的DFA