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 cu ǫ-tranziţii<br />
Automatul determinist echivalent<br />
Teorema 1<br />
Pentru orice automat A cu ǫ - tranziţii există un automat A ′ determinist<br />
echivalent cu A<br />
Dacă A = (Q,Σ,δ, q 0 , F) atunci A ′ = (Q ′ ,Σ,δ ′ , q<br />
0 ′, F′ ) unde:<br />
Q ′ = 2 Q<br />
q<br />
0 ′ = Cl(q 0)<br />
δ ′ (S, a) = Cl(δ(S, a)) S ∈ Q ′ , a ∈ Σ<br />
S ∈ F ′ ⇔ S ∩ F ≠ ∅<br />
Au loc:<br />
δ ′ (q<br />
0 ′, w) = ˆδ(q 0 , w), ∀w ∈ Σ ∗<br />
L(A ′ ) = L(A)<br />
LFAC (2014-15) Curs 3 9 / 30
Change language