Limbaje Formale, Automate şi Compilatoare
Automate finite nedeterministe Exemple LFAC (2014-15) Curs 2 22 / 26
Automate 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
<strong>Automate</strong> finite nedeterministe<br />
Extensia lui δ la cuvinte<br />
Fie S mulţime de stări. Notăm δ(S, a) = ⋃ q∈Sδ(q, a).<br />
Extensia lui δ la cuvinte ˆδ : Q ×Σ ∗ → 2 Q<br />
1 ˆδ(q,ǫ) = {q},∀q ∈ Q;<br />
2 ˆδ(q, ua) = δ(ˆδ(q, u), a), ∀q ∈ Q,∀u ∈ Σ ∗ ,∀a ∈ Σ.<br />
LFAC (2014-15) Curs 2 23 / 26