Limbaje Formale, Automate şi Compilatoare

More documents

Recommendations

Info

<strong>Automate</strong> finite nedeterministe Exemple LFAC (2014-15) Curs 2 22 / 26
<strong>Automate</strong> finite nedeterministe Extensia lui δ la cuvinte Fie S mulţime de stări. Notăm δ(S, a) = ⋃ q∈Sδ(q, a). Extensia lui δ la cuvinte ˆδ : Q ×Σ ∗ → 2 Q 1 ˆδ(q,ǫ) = {q},∀q ∈ Q; 2 ˆδ(q, ua) = δ(ˆδ(q, u), a), ∀q ∈ Q,∀u ∈ Σ ∗ ,∀a ∈ Σ. LFAC (2014-15) Curs 2 23 / 26
Page 1 and 2: Limbaje Formale, Automate şi Compi
Page 3 and 4: Proprietăţi de închidere pentru
Page 5 and 6: Proprietăţi de închidere pentru
Page 7 and 8: Lema Bar-Hillel Curs 2 1 Proprietă
Page 9 and 10: Lema Bar-Hillel Demonstraţie w = a
Page 11 and 12: Automate finite deterministe Curs 2
Page 13 and 14: Automate finite deterministe Automa
Page 15 and 16: Automate finite deterministe Reprez
Page 17 and 18: Automate finite deterministe Limbaj
Page 19 and 20: Automate finite deterministe Exempl
Page 21 and 22: Automate finite deterministe Exempl
Page 23: Automate finite nedeterministe Auto
Page 27 and 28: Automate finite nedeterministe Limb
Page 29: Automate finite nedeterministe Exem

Limbaje Formale, Automate şi Compilatoare

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?