Limbaje Formale, Automate şi Compilatoare
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<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 />
LFAC (2014-15) Curs 3 9 / 30