Limbaje Formale, Automate şi Compilatoare
Automate finite deterministe Limbajul acceptat Extensia lui δ la cuvinte ˆδ : Q ×Σ ∗ → 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 16 / 26
Automate finite deterministe Limbajul acceptat Definiţie 2 Limbajul acceptat (recunoscut) de automatul 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 ) ajunge într-o stare finală. ˆδ(q, a) = δ(q, a),∀q ∈ Q,∀a ∈ Σ. Din acest motiv, ˆδ va fi notată de asemenea cu δ. Două automate A şi A ′ sunt echivalente, dacă L(A) = L(A ′ ) LFAC (2014-15) Curs 2 17 / 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: Automate finite deterministe Reprez
- 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 and 26: Automate finite nedeterministe Exte
- Page 27 and 28: Automate finite nedeterministe Limb
- Page 29: Automate finite nedeterministe Exem
<strong>Automate</strong> finite deterministe<br />
Limbajul acceptat<br />
Definiţie 2<br />
Limbajul acceptat (recunoscut) de automatul A = (Q,δ,Σ, q 0 , F) este<br />
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 ) ajunge într-o stare finală.<br />
ˆδ(q, a) = δ(q, a),∀q ∈ Q,∀a ∈ Σ. Din acest motiv, ˆδ va fi notată de<br />
asemenea cu δ.<br />
Două automate A <strong>şi</strong> A ′ sunt echivalente, dacă L(A) = L(A ′ )<br />
LFAC (2014-15) Curs 2 17 / 26