标签: dfa computation-theory
假设DFA D 是有效的DFA。这对最终状态从最初状态的可达性意味着什么?我可以假设:
$ \ delta ^ *(q_0,w)= f $,其中$ w \ in \ Sigma $和$ f \ in F $
答案 0 :(得分:1)
不,你不能假设这一点。它与DFA的定义完全一致,因为存在从起始状态无法到达的状态。您可以做的是从DFA开始并将其过滤到只能从开始状态到达的状态,而不更改DFA的语言,但是,如果您认为它会有所帮助。
希望这有帮助!