Limbaje Formale, Automate şi Compilatoare
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 ∈ Σ. Observaţii: ˆδ(q, a) = δ(q, a), ∀q ∈ Q,∀a ∈ Σ ˆδ(q, uv) = ˆδ(ˆδ(q, u), v), ∀q ∈ Q,∀u, v ∈ Σ ∗ . LFAC (2014-15) Curs 2 23 / 26
Automate finite nedeterministe Limbajul acceptat Definiţie 4 Limbajul acceptat (recunoscut) de automatul finit nedeterminist A = (Q,Σ,δ, q 0 , F) este mulţimea : L(A) = {w|w ∈ Σ ∗ ,ˆδ(q 0 , w)∩F ≠ ∅}. Un cuvânt w este recunoscut de un automat A dacă, după citirea în întregime a cuvântului w, automatul (pornind din starea iniţială q 0 ) poate să ajungă într-o stare finală. LFAC (2014-15) Curs 2 24 / 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 and 24: Automate finite nedeterministe Auto
- Page 25: Automate finite nedeterministe Exte
- Page 29: Automate finite nedeterministe Exem
<strong>Automate</strong> finite nedeterministe<br />
Limbajul acceptat<br />
Definiţie 4<br />
Limbajul acceptat (recunoscut) de automatul finit nedeterminist<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 2 24 / 26
Change language