Limbaje Formale, Automate şi Compilatoare
Automate finite deterministe Automate finite Mecanism de recunoaştere (acceptare) pentru limbaje Limbaje de tip 3 Mulţime finită de stări LFAC (2014-15) Curs 2 12 / 26
Automate finite deterministe Automate finite Definiţie 1 Un automat finit determinist este un 5-uplu A = (Q,Σ,δ, q 0 , F), unde: Q şi Σ sunt mulţimi finite, nevide, numite mulţimea stărilor respectiv alfabetul de intrare q 0 ∈ Q este starea iniţială F ⊆ Q este mulţimea stărilor finale δ este o funcţie , δ : Q ×Σ → Q, numită funcţia de tranziţie LFAC (2014-15) Curs 2 13 / 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: Automate finite deterministe Curs 2
- 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 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 />
<strong>Automate</strong> finite<br />
Definiţie 1<br />
Un automat finit determinist este un 5-uplu A = (Q,Σ,δ, q 0 , F), unde:<br />
Q <strong>şi</strong> Σ sunt mulţimi finite, nevide, numite mulţimea stărilor<br />
respectiv alfabetul de intrare<br />
q 0 ∈ Q este starea iniţială<br />
F ⊆ Q este mulţimea stărilor finale<br />
δ este o funcţie , δ : Q ×Σ → Q, numită funcţia de tranziţie<br />
LFAC (2014-15) Curs 2 13 / 26
Change language