所有最终状态是否都可以从DFA的起始状态到达?

时间:2014-01-30 17:20:24

标签: dfa computation-theory

假设DFA D 是有效的DFA。这对最终状态从最初状态的可达性意味着什么?我可以假设:

  

$ \ delta ^ *(q_0,w)= f $,其中$ w \ in \ Sigma $和$ f \ in F $

1 个答案:

答案 0 :(得分:1)

不,你不能假设这一点。它与DFA的定义完全一致,因为存在从起始状态无法到达的状态。您可以做的是从DFA开始并将其过滤到只能从开始状态到达的状态,而不更改DFA的语言,但是,如果您认为它会有所帮助。

希望这有帮助!