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 />
Limbajul acceptat<br />
Definiţie 2<br />
Limbajul acceptat (recunoscut) de automatul cu ǫ-tranziţii<br />
A = (Q,Σ,δ, q 0 , F) este mulţimea :<br />
L(A) = {w|w ∈ Σ ∗ ,ˆδ(q 0 , w)∩F ≠ ∅}.<br />
Un cuvânt w este recunoscut de un automat A dacă, după citirea<br />
în întregime a cuvântului w, automatul (pornind din starea iniţială<br />
q 0 ) poate să ajungă într-o stare finală.<br />
LFAC (2014-15) Curs 3 8 / 30