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 />
<strong>Automate</strong> finite nedeterministe<br />
Definiţie 3<br />
Un automat finit nedeterminist este un 5-uplu A = (Q,Σ,δ, q 0 , F),<br />
unde:<br />
Q, Σ, q 0 <strong>şi</strong> F sunt definite ca în cazul automatelor finite<br />
deterministe<br />
δ este o funcţie , δ : Q ×Σ → 2 Q , numită funcţia de tranziţie<br />
Observaţie:<br />
A este automat determinist, dacă<br />
|δ(q, a)| = 1,∀q ∈ Q,∀a ∈ Σ<br />
LFAC (2014-15) Curs 2 21 / 26