Limbaje Formale, Automate şi Compilatoare
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Automate</strong> finite nedeterministe<br />
Determinism = Nedeterminism<br />
Teorema 1<br />
Pentru orice automat nedeterminist A, există unul determinist A ′<br />
echivalent.<br />
Dacă A = (Q,Σ,δ, q 0 , F) atunci A ′ = (2 Q ,Σ,δ ′ , Q 0 , F ′ ) unde:<br />
Q 0 = {q 0 }<br />
F ′ = {S|S ⊆ Q, S ∩ F ≠ ∅}<br />
δ ′ (S, a) = ⋃ s∈Sδ(s, a) (= δ(S, a)), ∀S ∈ 2Q<br />
Pentru aplicaţii se construiesc doar stările accesibile din starea<br />
iniţială<br />
LFAC (2014-15) Curs 2 25 / 26
Change language