簡(jiǎn)化DFA-對(duì)于一確定型自動(dòng)機(jī)M=(K,Σ,Δ,s, F)，設(shè)p,q ∈K,若對(duì)于任一字符串w,由p沿w可達(dá)某終點(diǎn)當(dāng)且僅當(dāng)由q沿w可達(dá)某終點(diǎn),則說p,q等價(jià)，記為p≡q。而且，≡的一個(gè)等價(jià)類恰好就是狀態(tài)數(shù)最少的確定型自動(dòng)機(jī)的一個(gè)狀態(tài)
標(biāo)簽：
DFA
自動(dòng)機(jī)
上傳時(shí)間：
2013-12-23
上傳用戶：yzhl1988
