自动机中DFA的启动状态



假设必须设计一个DFA,它接受∑={0,1}*上的所有字符串,这些字符串以相同的符号开始和结束(e.g-011010101等)。ε是可接受的字符串吗?这意味着,开始状态是最终状态吗?

这完全取决于意思。人类语言是模糊和不精确的;这就是为什么我们首先发明了像正则表达式这样的形式主义。

如果这是一项练习,我会请给你练习的人澄清。从表面上看,有两种解释似乎是合理的:

  • 空字符串不以不同的字母开头和结尾,因此不应将其排除在外
  • 空字符串的开头和结尾不是同一个字母,因此不应包含它

如果这是一个练习,并且你有原始的措辞,你可以提供一个报价,但如前所述,答案根本不清楚。若做家庭作业,你们总是可以提供两个DFA,每个解释一个,并对歧义进行一些讨论。

如果这只是你编造的一个问题,那么你必须自己回答你的语言中是否需要空字符串。

是。

字符串ε属于{0,1}*,其起始符号和结束符号没有区别。因此,它应该被DFA 接受

最新更新